Question

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

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>()或f<1>()。编译器不应该只选择完美匹配，而不是尝试将 1 转换为 true 吗？

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

Answer 1

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

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

- 对于整数或枚举类型的非类型模板参数，将应用转换常量表达式（5.19）中允许的转换。

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

- 对于积分或枚举类型的非类型模板参数，应用积分促销（4.5）和积分转换（4.7）。

无论哪种方式，由于1既是int又可以隐式转换为bool，因此您的通话不明确。

Answer 2

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

您必须重命名您的功能，或者您可以使用此黑客：

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

隐式转换模板参数的规则

2 个答案: