數組指針和數組引用做參數的區別(是否能夠限定數組大小、數組降價) 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