(原創) array和pointer一樣嗎? (C/C++) (C)
由於array可以自動轉成pointer，所以很多人誤以為array就是pointer，如以下程式...
1
#include <iostream>
2
3using namespace std;
4
5
int main() {
6
int ia[] = {0, 1, 2};
7
int *p = ia;
8
9 int *eof_ia = ia + sizeof(ia) / sizeof(int);
10
11 while(p < eof_ia) {
12 cout << *p++ << endl;
13
}
14
}
#include <iostream>2
3
using namespace std;4
5
int main() {
6
int ia[] = {0, 1, 2};
7
int *p = ia;8
9
int *eof_ia = ia + sizeof(ia) / sizeof(int);10
11
while(p < eof_ia) {12
cout << *p++ << endl;13
}14
}
第七行，int *p = ia;若以數學角度，p和ia是相等的，而p是pointer，ia是array，所以推得pointer就是array，但C/C++並非如此，這個=是assignment的意思，也就是將array ia assign給pointer p，經過自動轉型後，將array ia第一個element的address assign給pointer p，這也是為什麼Pascal語系的assignment使用:=而非=，就是為了要跟數學區別，以免誤解。
再做一個實驗，假如array就是pointer，理論上以下的程式將可compile成功並且執行。
1#include <iostream>
2
3using namespace std;
4
5int main() {
6 int ia[] = {0, 1, 2};
7
8 int *eof_ia = ia + sizeof(ia) / sizeof(int);
9
10 while(ia < eof_ia) {
11 cout << *ia++ << endl;
12 }
13}
#include <iostream>2
3
using namespace std;4
5
int main() {6
int ia[] = {0, 1, 2};7
8
int *eof_ia = ia + sizeof(ia) / sizeof(int);9
10
while(ia < eof_ia) {11
cout << *ia++ << endl;12
}13
}
compiler在11行不能過，可見pointer的取值方式並不適用於array，必須改成array專屬的subscripting方式才能取值。
1#include <iostream>
2
3using namespace std;
4
5int main() {
6 int ia[] = {0, 1, 2};
7
8 int ia_size = sizeof(ia) / sizeof(int);
9
10 int i = 0;
11 while(i < ia_size) {
12 cout << ia[i++] << endl;
13 }
14}
#include <iostream>2
3
using namespace std;4
5
int main() {6
int ia[] = {0, 1, 2};7
8
int ia_size = sizeof(ia) / sizeof(int);9
10
int i = 0;11
while(i < ia_size) {12
cout << ia[i++] << endl;13
}14
}
Conclusion
array並非pointer，但array可以自動轉型成pointer，這也是array傳進function後變成pointer的理論基礎。
See Also
(原創) 當array傳至function時，是pass by value還是pass by address? (C/C++) (C)
