c++ - 如何使用 enable_if<>::type 返回类型制作函数原型(prototype)？

Question

下面我有 3 个原型(prototype)。我希望第一个(注释掉)可以工作，但那是唯一一个 不 工作的(请参阅代码中的注释以了解错误)。更令我惊讶的是，即使两者都存在，以下两项中的任何一项都有效。

/////////////////////////////////////////////////
// Prototypes:
/////////////////////////////////////////////////
//  Causes "ambiguous call to overloaded function" at the call site when when one or both  
//  of the below prototypes is also present. Otherwise causes unresolves external
//template<typename T> void func(); 

//  Okay, can have this one AND/OR the below declaration
template<typename T> typename std::enable_if<std::is_integral<T>::value, void>::type func();

//  Also okay, can have this one AND/OR the above declaration
template<typename T> typename std::enable_if<std::is_integral<T>::value, void>::type func();


int main()
{
    func<int>();
}


/////////////////////////////////////////////////
// Definitions:
/////////////////////////////////////////////////
template<typename T> typename std::enable_if<std::is_integral<T>::value, void>::type func() {}

template<typename T> typename std::enable_if<!std::is_integral<T>::value, void>::type func() {}

哪个是正确的原型(prototype)，为什么第一个不起作用？我正在使用 VS2010 和 VS2012

Answer 1

第一个导致错误，因为它声明了一个不同的函数模板。简而言之，它是不同的，因为所有 enable_if 都是其签名的一部分，而不仅仅是它解析为的最终类型。

您永远不会为第一个模板声明提供定义，这就是为什么如果您不将其他模板声明放入其中，您会收到“ Unresolved external ”错误。

如果你把其他人放进去，现在你有其他人之一加上这个作为候选者，两者都是可行的，而不是有序的。这就是您收到“模糊调用”错误的原因。

正确的方法是声明您定义的内容，即您现在没有注释的内容。