12

如果您重载一个函数，然后使用与其中一个重载完全匹配的参数调用它

int f(int){return 3;}
int f(bool){return 4;}
...        //inside main()
f(1);      //Calls f(int)

编译器在尝试任何隐式转换之前简单地选择这个（完美）匹配。但是我一直在尝试重载函数 tempĺate ，如

template <bool veracity>
int f(){return 1;}

template <int amount>
int f(){return 2;}

...        //inside main()
f<1>();

但编译器一直抱怨对重载的 f() 的调用不明确，说它可能是f<true>()or 或f<1>(). 编译器不应该只选择完美匹配，而不是尝试将1转换为true吗？

我的印象是模板参数的隐式转换实际上比函数参数的隐式转换更具限制性。有没有办法解决这个问题？

4

2 回答 2

8

你提供的参数不是类型，它是一个值，所以规则有点不同——你需要对非类型参数应用规则。对于非类型参数，允许隐式转换。§14.3.2/5：

对用作非类型模板参数的每个表达式执行以下转换。如果非类型模板参数不能转换为相应模板参数的类型，则该程序格式错误。

— 对于整数或枚举类型的非类型模板参数，应用转换后的常量表达式 (5.19) 中允许的转换。

在 C++03 中，措辞略有不同，但效果基本相同（也 §14.3.2/5）：

— 对于整型或枚举类型的非类型模板参数，应用整型提升（4.5）和整型转换（4.7）。

无论哪种方式，由于1既是 anint又可以隐式转换为 a bool，所以您的调用是模棱两可的。

于 2012-04-05T15:44:32.743 回答
5

由于这不是编译器错误，而是语言功能（请参阅此答案），因此您必须找到解决方法。

要么你必须重命名你的函数，要么你可以使用这个 hack：

template <typename T> struct F;

template<> struct F<bool> {
  template <bool veracity>
  static int f(){return 1;}
};

template<> struct F<int> {
  template <int amount>
  static int f(){return 2;}
};

template <typename T, T value>
int f() { return F<T>::template f<value>(); }

// inside main():
std::cout << f<int,  2>() << '\n'; // prints 2
std::cout << f<bool, 2>() << '\n'; // prints 1
于 2012-04-05T15:52:21.283 回答