C++數組參數應用方式探討（轉）

對于經驗豐富的編程人員來說，C++編程語言應該是他們經常使用于程序開發的一種實用性語言。那么，在C++中，C++數組參數永遠不會按值傳遞。它是傳遞第一個元素（準確地說是第0個）的指針。

例如，如下聲明：

void?putValues(int[10]);?

被編譯器視為：

void?putValues(int*);?

C++數組參數的長度與參數聲明無關。因此，下列三個聲明是等價的：

void?putValues(int*); ?
void?putValues(int[]); ?
void?putValues(int[10]);?

因為數組被傳遞為指針，所以這對程序員有兩個含義：

1、在被調函數內對參數數組的改變將被應用到數組實參上而不是本地拷貝上。當用作實參的數組必須保持不變時，程序員需要保留數組的拷貝。函數可以通過把參數類型聲明為const來表明不希望改變數組元素：

void?putValues(const?int[10]);?

2、數組長度不是參數類型的一部分。函數不知道傳遞給它的數組的實際長度，編譯器也不知道，當編譯器對實參類型進行參數類型檢查時，并不檢查數組的長度。
例如：

void?putValues(int[10]);?//視為int* ?
int?main() ?
{ ?
int?i,?j[2]; ?
putValues(&i);?//ok:&i是int*;?潛在的運行錯誤 ?
putValues(j);?//ok:j被轉換成第0個元素的指針 ?
//?實參類型為int*:潛在的運行錯誤 ?
return?0; ?
}?

參數的類型檢查只能保證putValues()的再次調用都提供了int*型的實參。類型檢查不能檢驗實參是一個10元素的數組。

習慣上，C風格字符串是字符的數組，它用一個空字符編碼作為結尾。但是所有其他類型，包括希望處理內含字符的字符數組，必須以某種方式在向函數傳遞實參時使其知道它的長度。一種常見的機制是提供一個含有C++數組參數的長度的額外參數。例如：

void?putValues(int[],?int?size); ?
int?main() ?
{ ?
int?i,j[2]; ?
putValues(&i,?1); ?
putValues(j,?2); ?
return?0; ?
}?

另外一種機制是將參數聲明為數組的引用。當參數是一個數組類型的引用時，數組長度成為參數和類型的一部分，編譯器檢查數組實參的長度與在函數參數類型中指定的長度是否匹配。

//?參數為10個int的數組 ?
//?parameter?is?a?reference?to?an?array?of?10?ints ?
void?putValues(int?(&arr)[10]); ?
int?main() ?
{ ?
int?i,?j[2]; ?
int?a[10]; ?
putValues(i);?//?錯誤：實參不是10個int的數組 ?
putValues(j);?//?錯誤：實參不是10個int的數組 ?
putValues(a);?//?正確 ?
return?0; ?
}?

因為C++數組參數的長度現在是參數類型的一部分，所以putValues()的這個版本只接受10個int的數組。這限制了可以作為實參被傳遞給putValues()的數組的種類。但是，它也使函數的實現更加簡單。