如何使用 enable_if<>：：type 返回类型对函数进行原型设计？

How do you prototype a function with an enable_if<>::type return type?

本文关键字：函数 原型 返回类型 lt enable if 何使用 gt type      更新时间：2023-10-16

下面我有3个原型。我原以为第一个（注释掉）会起作用，但这是唯一不起作用的（错误请参阅代码中的注释）。更让我惊讶的是，以下两项中的任何一项都有效，即使两者都在场。

/////////////////////////////////////////////////
// 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() {}

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

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

你从来没有为第一个模板声明提供定义，这就是为什么如果你不把其他的放进去，你会得到一个"未解决的外部"错误

如果你把其他的放进去，现在你有一个其他的加上这个作为候选，两者都是可行的，并且没有顺序。这就是为什么会出现"模糊调用"错误的原因。

正确的方法是声明您定义的，也就是说，准确地声明您现在取消注释的内容。

相关文章：