没有匹配的函数来调用函数模板

Question

template<class T, T i> void f(int[10][i]) { };

int main() {
   int a[10][30];
   f(a);
}

为什么f(a)失败？

http://ideone.com/Rkc1Z

Answer 1

f(a) 失败，因为无法从非类型参数的类型推导出模板类型参数。在这种情况下，编译器无法推断模板参数 T 的类型。

尝试将其称为 f(a);

Answer 2

试试这个：

template<class T, T i> void f(T[10][i]) { }; // note the 'T'

int main() {
   int a[10][30];
   f(a);
}

..这使得编译器能够推断出 T 的类型，这在您的示例中是完全不可能的（因为根本没有使用 T）。

http://ideone.com/gyQqI

Answer 3

template< std::size_t N > void f(int (&arr)[10][N])
{
}

int main() {
   int a[10][30];
   f(a);
}

这个有效（http://codepad.org/iXeqanLJ）

---

有用的背景工具：重载解析和数组：应该调用哪个函数？