模板参数推导失败

Template argument deduction failed

本文关键字：失败 参数      更新时间：2023-10-16

我写了以下代码，模板参数推导失败：

template<int>
struct num {};
template<int m>
void match(num<2*m>) {
}
int main()
{
match(num<2>());
return 0;
}

我凭直觉知道编译器无法推导出正确的m，但我想了解它失败的理论基础。有人能解释一下吗？

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

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

14如果，在具有非类型的函数模板的声明中模板参数，在函数参数列表中的表达式，对应模板参数必须始终显式指定或推导其他地方，因为否则类型推导总是失败模板参数。

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>())推导出什么？

相关文章：