※ 引述《ac01965159 (leeleo)》之銘言：
: 最近在練習寫程式的時候碰到一些問題，想來請教一下，以下是程式碼：
: https://pastebin.com/pzgHN0bt
: 執行結果：
: https://i.imgur.com/9v2nirr.jpg
: 有兩個問題：
: 1.我的想法是，a為一個儲存a[0]的位置的指標，而a[0]又存放著指向a[0][0]資料的指
: 標，但是照理說，這兩筆資料不是應該存在不同位置的嗎？
: 2.那既然上面都已經輸出了相同的地址，那我把一樣的地址拿去取值，卻得到不一樣的
: 結果，不知道原因為何。
這個誤會有點大, 不過只要補足幾個觀念就可以:
1. C/C++ 沒有多維陣列, 但是有陣列的陣列
2. 陣列可以轉型成指標 (array to pointer conversion), 反
過來則不行. 例如: array of T 可以轉型成 pointer to T.
3. 對指標或陣列 x 使用 operator[] 作下標 (subscripting)
運算得到的是 *((x) + (i)) (i 為整數型別)
考慮以下定義:
int ai[10]; // array of 10 int
int aai[20][10]; // array of 20 array of 10 int
int aaai[30][20][10]; // array of 30 array of 20 array of 10 int
用陣列的陣列去抽絲剝繭就可以釐清各種敘述的型別 (反而用
多維陣列去理解會卡關), 以你的程式碼而言, 雖然 std::cout 印
出的値一樣, 但是敘述型別卻很不同:
┌───┬─────┐
│ 敘述 │ 型別 │
├───┼─────┤
│ a │int[2][2] │
├───┼─────┤
│ a[0] │ int[2] │
└───┴─────┘
對於型別不同的兩個敘述, 不管得到的指標値是否相同, 它的意義
本質上就不一樣. 可以用下面的程式碼觀察看看:
cout << (a + 1) << endl;
cout << (a[0] + 1) << endl;
對陣列的操作和指標基本上類似, 不管是下標還是用 operator+ 作
運算, 都需要先知道每個元素所占的空間大小:
int x[2];
int y[3][4];
assert(
reinterpret_cast<char*>(&x[1])
== reinterpret_cast<char*>(x)
+ 1 * sizeof(int)
);
assert(
reinterpret_cast<char*>(&y[2][0])
== reinterpret_cast<char*>(y)
+ 2 * sizeof(int[4])
+ 0 * sizeof(int)
);
另外留個小問題給原PO思考:
給定兩個 int 物件 a 和 b, 已知敘述: &a + 1 == &b 為真,
試問敘述: *(&a + 1) == *(&b) 是否也為真?
有時候我們探討指標的時候, 不只要考慮它的型別, 同時也要考慮
我們是透過什麼途徑來取得這個指標, 因為指標代表的不僅僅只是
記憶體的位址.