我們知道，用模板的時候可以為他提供兩種類型的模板形參：一種是類型模板形參，一種是非類型模板形參。例如如下聲明：
template<class T>void foo(T t); //用的類型模板形參
template<class T,int n>void foo(T t); //用了類型模板形參，同時還用到了非類型模板形參int 兩者的區(qū)別是：對應(yīng)類型模板形參，編譯器會根據(jù)實參（對應(yīng)模板函數(shù)）或者用戶指定類型來實例化對應(yīng)的模板函數(shù)或類型。而非類型模板形參主要是用來在模板函數(shù)調(diào)用時指定該形參的值。
非類型模板形參最常用的是用來自動獲取數(shù)組的維數(shù)。比如，我們給某個函數(shù)傳遞一個數(shù)組，并在函數(shù)內(nèi)部打印這個數(shù)組的值，如果沒有模板，我們的做法就可能是如下這樣：
void print(int r[],int N)
{
for (int i=0;i<N;++i)
{
cout<<r[i]<<",";
}
cout<<endl;
}
因為我們需要知道數(shù)組的維數(shù)，所以必須要求用戶傳遞第二個參數(shù)作為維數(shù)傳入。
但是，如果是用非類型模板參數(shù)，又該如何用呢？
我們?nèi)绻o出如下的方案，并不能完全達(dá)到我們的目的：
template<class T,int N>
void print(T r[N])
{
for (int i=0;i<N;++i)
{
cout<<r[i]<<",";
}
cout<<endl;
}
因為如果這樣調(diào)用：
int main(){
int ss[] = {1,2,3,4,5,6,7,8,9};
print(ss); //或者print<int>(ss);
return 0;
}
編譯器會抱怨說：“void print(T [N])”: 未能從“int [9]”為“int [N]”推導(dǎo) 模板 參數(shù)”。也就是我們還是得指定N：print<int,9>(ss)才行。如果是這樣，那豈不還不如將維數(shù)放到函數(shù)的參數(shù)里面了。是不是？
其實，這完全不能怪編譯器或者模板，因為只要這樣寫就完全可以了：
template<class T,int N>
void print(T (&r)[N])
{
for (int i=0;i<N;++i)
{
cout<<r[i]<<",";
}
cout<<endl;
}
我們就可以直接調(diào)用:
print(ss); //或者print<int>(ss);
就可以了。這是為什么呢？
其實原理是很簡單的，如果我們直接將數(shù)組名傳給一個函數(shù)，數(shù)組將退化為一個指針，所以編譯器自然也就無法用指針來推導(dǎo)維數(shù)了。但是我們強(qiáng)調(diào)傳的是引用的話，編譯器就明確知道這是一個數(shù)組，所以就去推導(dǎo)維數(shù)。我們可以給上面的程序加一句打印語句來測試：
template<class T,int N>
void print(T (&r)[N])
{
cout<<sizeof(r)<<endl;
for (int i=0;i<N;++i)
{
cout<<r[i]<<",";
}
cout<<endl;
}
template<class T,int N>
void print1(T r[N])
{
cout<<sizeof(r)<<endl;
for (int i=0;i<N;++i)
{
cout<<r[i]<<",";
}
cout<<endl;
}
int main()
{
int ss[] = {1,2,3,4,5,6,7,8,9};
print(ss);
print1<int,9>(ss);
return 0;
} 運行結(jié)果如下：
36
1,2,3,4,5,6,7,8,9,
4
1,2,3,4,5,6,7,8,9,
很明顯可以看出，傳引用的方式他知道是一個數(shù)組，所以sizeof是按數(shù)組的方式計算的4*9=36.而第二種方式盡管我告訴他維數(shù)了，并且打印出結(jié)果了，但是絲毫沒有改變編譯器將print1的參數(shù)T r[N]視為一個指針的事實，所以sizeof的值為4.
好了，總結(jié)一下就是：
如果希望用非類型模板形參的方式取數(shù)組的維數(shù)時，請記住用數(shù)組引用的方式作為形參！