數(shù)組有兩個特殊的性質(zhì),影響我們定義和使用作用在數(shù)組上的函數(shù):一是不能復(fù)制數(shù)組。二是使用數(shù)組名字時,數(shù)組會自動轉(zhuǎn)換為指向其第一個元素的指針。因為數(shù)組不能復(fù)制,所以無法編寫使用數(shù)組類型形參的函數(shù)。因為數(shù)組會被初始化為指針,所以處理數(shù)組的函數(shù)通常通過操作指向數(shù)組中的元素的指針來處理數(shù)組。
示例:
//形式1
void printValues(const int ia[10]) //雖然形參指定了數(shù)組的大小,但編譯時不會檢查實參數(shù)組大小,因為編譯器只檢查形參是否是指針,并且指針類型和數(shù)組元素的類型是否匹配。
{
for(size_t i=0;i!=10;i++)
{
cout<<ia[i]<<endl;
}
}
//形式2
void printValues2(const int ia[],int size)
{
for(size_t i=0;i!=size;i++)
{
cout<<ia[i]<<endl;
}
}
int main(void)
{
int i[10]={1,2,3,4,5,6,7,8,9,0};
printValues(i); //i作為printValues的實參,在這里為數(shù)組i的首地址,或者說他轉(zhuǎn)換為成一個指針
printValues2(i,10);
}
數(shù)組形參可以定義為引用或非引用類型。大部分情況下,數(shù)組以普通的非引用類型傳遞,此時數(shù)組會悄悄的轉(zhuǎn)換為指針。一般來說,非引用類型的形參會初始化為其相應(yīng)實參的副本。但是在傳遞數(shù)組時,實參是指向數(shù)組第一個元素的指針,形參復(fù)制的是這個指針的值,而不是數(shù)組元素本身。函數(shù)操作的也是指針的副本,因此不會修改實參指針的值。然而,函數(shù)可通過該指針修改它所指向的數(shù)組元素的值。
以上代碼可以使用指針表示,效果等同:
void printValues3(const int *ia,int size)
{
for(size_t i=0;i!=size;i++,ia++)
{
cout<<*ia<<endl;
}
}
示例2(通過引用傳遞數(shù)組):
void printValues4(int (&arr)[10]) //這種情況下,數(shù)組大小成為形參和實參的一部分。編譯器會檢查數(shù)組大小是否匹配。 int (&arr)[10] 中的小括號是必須的。
{
for(size_t i=0;i!=10;i++)
{
cout<<arr[i]<<endl;
}
}
int main(void)
{
printValues4(i);
}
和其他類型一樣,數(shù)組形參可聲明為數(shù)組的引用。如果形參是數(shù)組的引用,編譯器不會將數(shù)組實參轉(zhuǎn)化為指針,而是傳遞數(shù)組的引用本身。