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