template<class T>
void func1(T &, T &)
{
}
template<class TT>
void func2(TT, TT)
{
}
int main()
{
int a[10], b[10], c[20];
func1(a, b); //OK, 數組引用
func1(b, c); //ERROR，形參爲引用時， 數組不能轉換爲指針，
//b,c類型（數組長度）不匹配，參考C++ Primer P538
func2(a, b); //OK,作爲數組指針
func2(b, c); //OK,作爲數組指針
return 0;
}
1 .在C++中可以定義數組的引用，用以解決C中無法解決的“數組降價”問題，我們先來看看什麼是“數組降價”，先看如下代碼：
void Test( char array[20] )
{
cout << sizeof(array) << endl; // 輸出 4
}
char array[20] = { 0 };
cout << sizeof(array) << endl; // 輸出 20Test( array );
我們看到，對於同樣的數組array，一個輸出4，另一個輸出20.這是因爲void Test（ char array[20] ） 中的array被降階處理了，void Test（ char array[20] ） 等同於 void Test（ char array[] ） 也等同於void Test（ char* const array ） 如果你原意，它甚至等同於void Test（ char array[999] ）
也就是說
void Test( char array[20] )
{
cout << sizeof(array) << endl;
}
被降成
void Test( char* const array )
{
cout << sizeof(array) << endl; // 既然是char*，當然輸出4
}
這樣以來，我們在函數聲明中的數組大小限制是無效的，聲明 void Test（ char array[20] ） 並不能保證一定會接收到一個大小20的數組，即任何 char[] 都會被降價爲 char* ，這樣就增加了程序出錯的可能性。要解決這樣一個問題，我們可以用C++的數組引用作爲參數，看以下代碼：
void Test( char (&array)[20] )//是不是很像 char *p[20] 和 char (*p)[20] 的區別？
{
cout << sizeof(array) << endl;
}
char array[20] = { 0 };
cout << sizeof(array) << endl;
Test( array );
這樣 Test 函數就只能接收大小爲 20 的 char[]，看如下代碼：
char array1[10] = { 0 };
char array2[20] = { 0 };
Test(array1);//Error：實參不是大小爲 10 的 char[]
Test(array2);//OK