C++數(shù)組參數(shù)應(yīng)用方式探討
對于經(jīng)驗豐富的編程人員來說,C++編程語言應(yīng)該是他們經(jīng)常使用于程序開發(fā)的一種實用性語言。那么,在C++中,C++數(shù)組參數(shù)永遠不會按值傳遞。它是傳遞***個元素(準確地說是第0個)的指針。
例如,如下聲明:
- void putValues(int[10]);
被編譯器視為:
- void putValues(int*);
C++數(shù)組參數(shù)的長度與參數(shù)聲明無關(guān)。因此,下列三個聲明是等價的:
- void putValues(int*);
- void putValues(int[]);
- void putValues(int[10]);
因為數(shù)組被傳遞為指針,所以這對程序員有兩個含義:
1、在被調(diào)函數(shù)內(nèi)對參數(shù)數(shù)組的改變將被應(yīng)用到數(shù)組實參上而不是本地拷貝上。當用作實參的數(shù)組必須保持不變時,程序員需要保留數(shù)組的拷貝。函數(shù)可以通過把參數(shù)類型聲明為const來表明不希望改變數(shù)組元素:
- void putValues(const int[10]);
2、數(shù)組長度不是參數(shù)類型的一部分。函數(shù)不知道傳遞給它的數(shù)組的實際長度,編譯器也不知道,當編譯器對實參類型進行參數(shù)類型檢查時,并不檢查數(shù)組的長度。
例如:
- void putValues(int[10]); //視為int*
- int main()
- {
- int i, j[2];
- putValues(&i); //ok:&i是int*; 潛在的運行錯誤
- putValues(j); //ok:j被轉(zhuǎn)換成第0個元素的指針
- // 實參類型為int*:潛在的運行錯誤
- return 0;
- }
參數(shù)的類型檢查只能保證putValues()的再次調(diào)用都提供了int*型的實參。類型檢查不能檢驗實參是一個10元素的數(shù)組。
習(xí)慣上,C風(fēng)格字符串是字符的數(shù)組,它用一個空字符編碼作為結(jié)尾。但是所有其他類型,包括希望處理內(nèi)含字符的字符數(shù)組,必須以某種方式在向函數(shù)傳遞實參時使其知道它的長度。一種常見的機制是提供一個含有C++數(shù)組參數(shù)的長度的額外參數(shù)。例如:
- void putValues(int[], int size);
- int main()
- {
- int i,j[2];
- putValues(&i, 1);
- putValues(j, 2);
- return 0;
- }
另外一種機制是將參數(shù)聲明為數(shù)組的引用。當參數(shù)是一個數(shù)組類型的引用時,數(shù)組長度成為參數(shù)和類型的一部分,編譯器檢查數(shù)組實參的長度與在函數(shù)參數(shù)類型中指定的長度是否匹配。
- // 參數(shù)為10個int的數(shù)組
- // 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的數(shù)組
- putValues(j); // 錯誤:實參不是10個int的數(shù)組
- putValues(a); // 正確
- return 0;
- }
因為C++數(shù)組參數(shù)的長度現(xiàn)在是參數(shù)類型的一部分,所以putValues()的這個版本只接受10個int的數(shù)組。這限制了可以作為實參被傳遞給putValues()的數(shù)組的種類。但是,它也使函數(shù)的實現(xiàn)更加簡單。
【編輯推薦】