C++對數組的引用執行個體分析_C 語言

C++中所謂數組引用，即指向數組的引用；
如：

int  a[10] ;  int  (&b)[10] = a ;

如果寫成：

int  a[10] ;int* &b = a ;

系統將會報錯： cannot convert from 'int [10]' to 'int *&'。
　　
或許你會說在數組名不就是指向這個數組的一個指標嗎？題中a是int*類型的，b是指向int*的引用，按理應該是正確的啊，為什麼會報錯呢？這是因為編譯器對指向數組的引用檢查更加嚴格，需要檢查數組的維數，在這裡a被理解成指向10個int數組的指標int [10]，對於引用也需要相應的參考型別int (&)[10]，即指向10個int數組的指標的引用。

c和c++中有一個“數組降價”問題。如下所示：

#include <iostream>void test( char arr[100] ){   std::cout << sizeof(arr) << std::endl ; // 輸出 4}int main(){  char arr[100] = { 0 };  std::cout << sizeof(arr) << std::endl; // 輸出 100　  test( arr );  return 0 ;}

這段代碼的輸出是：
100
4

對於同樣的arr,一個輸出100，另一個輸出4。是因為void test( char arr[100] )中的arr被降價了。
void test( char arr[100] ) 中的arr被降階處理了，
void test( char arr[100] ) 等同於void test( char arr[] )， 也等同於void test( char* const arr ) 如果你原意，它甚至等同於void test( char arr[10] )

編譯器對數組的維數不作檢查。也就是說：

void test( char arr[100] ){   std::cout << sizeof(arr) << std::endl;}

被降成

void test( char* const arr ){   std::cout << sizeof(arr) << std::endl; // 既然是char*，當然輸出4}

這樣，即然不檢查數組的大小，對於需要保證數組大小的程式就會帶來問題。如何解決這個問題呢？可以用c++中的對數組的引用。

看下面這段代碼：

......void test( const char (&arr)[100] ){   std::cout << sizeof(arr) << std::endl ; // 輸出 100}......  char arr[100] = { 0 };  std::cout << sizeof(arr) << std::endl; // 輸出 100　  test( arr );......

這樣test就能接受100個char的數組，且只能接受大小為100的char數組。

如果：

char　arr[20] = {0};test( arr ) ;

就會報錯

在C++中，對數組的引用可以直接傳遞數組名，因為數組的大小的資訊已在形參裡提供了。但是這樣一來我們只能固定數組的大小來用這個函數了。用模板加數組的引用可以解決這個問題，看如下代碼：

template <int sz>void test(char (&arr)[sz]){  for (　int i = 0; i < sz; i++　)......}char a[2] = { 0 }, b[15] = { 0 };test(a);　　//oktest(b);　　//ok......

這樣解決了數組長度可變的問題，但也引入了新的問題：

（１）當有多個不同的test調用時，會產生多份test代碼。而傳統的函數調用只有一份代，也調用的次數無關。
（２）由於這些代碼都是在編譯階段產生的，它需要知道引用數組的大小。所以這樣寫的函數顯然不能用指標變數作為函數的參數，因此不能用這個函數處理動態分配的記憶體地區，這樣的地區的大小是在運行時確定的。