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