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

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?