c++对数组的引用
所謂數組引用,即指向數組的引用;
如??? int?? a[10] ;???
??? int?? (&b)[10] = a ;
如果寫成 int?? a[10] ;
????????????? int* &b = a ;
將會報錯: cannot convert from 'int [10]' to 'int *&'。
或許你會說在數組名不就是指向這個數組的一個指針嗎?題中a是int*類型的,b是指向int*的引用,按理應該是正確的啊,為什么會報錯呢?這是因為編譯器對指向數組的引用檢查更加嚴格,需要檢查數組的維數,在這里a被理解成指向10個int數組的指針int [10],對于引用也需要相應的引用類型int (&)[10],即指向10個int數組的指針的引用。 c和c++中有一個“數組降價”問題。 #include <iostream> void test( char arr[100] )
{
???? std::cout << sizeof(arr) << std::endl ; // 輸出 4
} int main()
{
??? char arr[100] = { 0 };
??? std::cout << sizeof(arr) << std::endl; // 輸出 100
??? test( arr );
??? return 0 ;
} 這段代碼的輸出是100
??????????????????????????? 4
????? 對于同樣的arr,一個輸出100,另一個輸出4。是因為void test( char arr[100] )中的arr被降價了。 void test( char arr[100] ) 中的arr被降階處理了,
?????? void test( char arr[100] ) 等同于void test( char arr[] ), 也等同于
void test( char* const arr ) 如果你原意,它甚至等同于
void test( char arr[10] )
編譯器對數組的維數不作檢查。 也就是說
void test( char arr[100] )
{
???? std::cout << sizeof(arr) << std::endl;
}
被降成
void test( char* const arr )
{?????? std::cout << sizeof(arr) << std::endl; // 既然是char*,當然輸出4
}???? 這樣,即然不檢查數組的大小,對于需要保證數組大小的程序就會帶來問題。如何解決這個問題呢?可以用c++中的對數組的引用。
看下面這段代碼: ...... void test( const char (&arr)[100] )
{
???? std::cout << sizeof(arr) << std::endl ; // 輸出 100
} ......
??? char arr[100] = { 0 };
??? std::cout << sizeof(arr) << std::endl; // 輸出 100
??? test( arr );
...... 這樣test就能接受100個char的數組,且只能接受大小為100的char數組 如果
char arr[20] = {0};
?????? test( arr ) ;
就會報錯 在C++ 中,對數組的引用可以直接傳遞數組名,因為數組的大小的信息已在形參里提供了。但是這樣一來我們只能固定數組的大小來用這個函數了。用模板加數組的引用可以解決這個問題,看如下代碼: template <int sz>
void test(char (&arr)[sz])
{
??? for ( int i = 0; i < sz; i++ )
????????? ......
}
char a[2] = { 0 },
char b[15] = { 0 };
test(a); //ok
test(b); //ok...... 這樣解決了數組長度可變的問題,但也引入了新的問題: (1)當有多個不同的test調用時,會產生多份test代碼。而傳統的函數調用只有一份代,也調用的次數無關。
(2)由于這些代碼都是在編譯階段生成的,它需要知道引用數組的大小。所以這樣寫的函數顯然不能用指針變量作為函數的參數,因此不能用這個函數處理動態分配的內存區域,這樣的區域的大小是在運行時確定的。
如??? int?? a[10] ;???
??? int?? (&b)[10] = a ;
如果寫成 int?? a[10] ;
????????????? int* &b = a ;
將會報錯: cannot convert from 'int [10]' to 'int *&'。
或許你會說在數組名不就是指向這個數組的一個指針嗎?題中a是int*類型的,b是指向int*的引用,按理應該是正確的啊,為什么會報錯呢?這是因為編譯器對指向數組的引用檢查更加嚴格,需要檢查數組的維數,在這里a被理解成指向10個int數組的指針int [10],對于引用也需要相應的引用類型int (&)[10],即指向10個int數組的指針的引用。 c和c++中有一個“數組降價”問題。 #include <iostream> void test( char arr[100] )
{
???? std::cout << sizeof(arr) << std::endl ; // 輸出 4
} int main()
{
??? char arr[100] = { 0 };
??? std::cout << sizeof(arr) << std::endl; // 輸出 100
??? test( arr );
??? return 0 ;
} 這段代碼的輸出是100
??????????????????????????? 4
????? 對于同樣的arr,一個輸出100,另一個輸出4。是因為void test( char arr[100] )中的arr被降價了。 void test( char arr[100] ) 中的arr被降階處理了,
?????? void test( char arr[100] ) 等同于void test( char arr[] ), 也等同于
void test( char* const arr ) 如果你原意,它甚至等同于
void test( char arr[10] )
編譯器對數組的維數不作檢查。 也就是說
void test( char arr[100] )
{
???? std::cout << sizeof(arr) << std::endl;
}
被降成
void test( char* const arr )
{?????? std::cout << sizeof(arr) << std::endl; // 既然是char*,當然輸出4
}???? 這樣,即然不檢查數組的大小,對于需要保證數組大小的程序就會帶來問題。如何解決這個問題呢?可以用c++中的對數組的引用。
看下面這段代碼: ...... void test( const char (&arr)[100] )
{
???? std::cout << sizeof(arr) << std::endl ; // 輸出 100
} ......
??? char arr[100] = { 0 };
??? std::cout << sizeof(arr) << std::endl; // 輸出 100
??? test( arr );
...... 這樣test就能接受100個char的數組,且只能接受大小為100的char數組 如果
char arr[20] = {0};
?????? test( arr ) ;
就會報錯 在C++ 中,對數組的引用可以直接傳遞數組名,因為數組的大小的信息已在形參里提供了。但是這樣一來我們只能固定數組的大小來用這個函數了。用模板加數組的引用可以解決這個問題,看如下代碼: template <int sz>
void test(char (&arr)[sz])
{
??? for ( int i = 0; i < sz; i++ )
????????? ......
}
char a[2] = { 0 },
char b[15] = { 0 };
test(a); //ok
test(b); //ok...... 這樣解決了數組長度可變的問題,但也引入了新的問題: (1)當有多個不同的test調用時,會產生多份test代碼。而傳統的函數調用只有一份代,也調用的次數無關。
(2)由于這些代碼都是在編譯階段生成的,它需要知道引用數組的大小。所以這樣寫的函數顯然不能用指針變量作為函數的參數,因此不能用這個函數處理動態分配的內存區域,這樣的區域的大小是在運行時確定的。
總結
- 上一篇: MySQL安装错误: unknown o
- 下一篇: s3c2440移植MQTT