呼叫功能模板没有匹配功能

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<int>(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）

---

有用的背景资料：Overload resolution and arrays: which function should be called?