c++ - 模板参数推导失败

Question

我编写了以下模板参数推导失败的代码:

template<int>
struct num {};

template<int m>
void match(num<2*m>) {
}

int main()
{
  match(num<2>());
  return 0;
}

我凭直觉知道编译器无法推断出正确的 m，但我想了解其失败原因的理论基础。谁能解释一下？

Answer 1

好吧，您基本上是在要求编译器求解方程 2 * m == 2为您确定模板参数 m对于 match .编译器不会在模板参数推导过程中求解方程式，无论它们多么简单和明确。

14.8.2.4/14 (C++03)、14.8.2.5/16 (C++11) 中的语言规范涵盖了您的情况并有类似的示例

14 If, in the declaration of a function template with a non-type template-parameter, the non-type template-parameter is used in an expression in the function parameter-list, the corresponding template-argument must always be explicitly specified or deduced elsewhere because type deduction would otherwise always fail for such a template-argument.

template<int i> class A { /* ... */ };
template<short s> void g(A<s+1>);

void k() {
  A<1> a;
  g(a); //error: deduction fails for expression s+1
  g<0>(a); //OK
}

至于为什么这样做...我认为很明显，在一般情况下，求解数学方程式的问题太复杂了。它还可能导致模棱两可的解决方案或不属于预期域的解决方案。例如，对于 match(num<3>())，您希望编译器推断出什么？ ？