Re: [問題] 對陣列名稱取址
※ 引述《lalaboom (lalaboom)》之銘言：
: 之前我的認知陣列名稱是一個常數指標，非指標常數喔，
: 1. 請問這個敘述對嗎？
: 現在有陣列 int b[2];
: int a[2][3];
: 2. 請問為什麼 b 跟 &b 兩個address會一樣呢？
: 我可以理解 a, a[0], &a[0][0] 這3個一樣，
: 但是type不同，還是說這個認知也是錯的XD
: 3. 陣列在記憶體裏面除了宣告出來的連續空間，
: 陣列名稱是否會有另外像宣告指標一樣有一個變數空間嗎？
: 關於2之前好像有看到說&b = b 是定義好的 (compiler ? )
: 關於以上問題可能敘述的不是很好，
: 有需要我再補充，
: 懇請各位解惑 ~ 3Q
------------------------ 以下是 C 的分隔線 ----------------------------
我們先回到幼兒班, 當我們宣告定義一個 int a 時，在記憶體中 [註1] 產生下面
這樣子的配置:
┌───┐
│ a │
└───┘
a 代表的就是這一格房間，一般在作為運算元運算時代表的是這一格的值。
那這個房間有多大呢 ? 沒錯，是 sizeof(int)
那取址運算子 (&) 套用在 a 身上會得到甚麼 ? 照規定就是這一格房間的開頭位
元組的位址 :
┌───┐
│ a │
├───┘
&a
故事就結束了。
例如 int b[3] 定義了一個陣列，在記憶體中長這個樣子 :
┌───────────┐
│ b │
└───────────┘
b 代表是陣列，也就是這一整格房間。這格房間有多大呢 ? sizeof(int[3])
那這一格房間裡面有甚麼呢 ?
所以如果我們把 b 再看細一點:
┌───┬───┬───┐
│ b[0] │ b[1] │ b[2] │
└───┴───┴───┘
沒錯, 當然就是 b[0], b[1], b[2] 這三格小房間。
那 &b 代表的位址是哪裡呢 ? 阿, 剛剛不是才說過 &a 嗎，當然就是這格房間的
開頭:
┌───────────┐
│ b │
├───────────┘
&b
同理，如果我們看細一點:
┌───┬───┬───┐
│ b[0] │ b[1] │ b[2] │
├───├───├───┤
&b[0] &b[1] &b[2] &b[3] (註2)
很顯然地, 我們眼睛直直的看就可以發現 &b 跟 &b[0] 代表的是同一個位址，只
是他們的型態是不同的喔。
那剩下的問題就是 b 作為運算元運算的時候是代表甚麼 ? a + 1 你會知道是把 a
裡面的值加上 1，那如果把 b + 1 之類的有甚麼意義 ?
照 C99 標準:
除了作為 sizeof 或 & 運算子的運算元，或者是用來初始化陣列的字串字面常
數外，一個型態為 "以某型態為元素的陣列" 的運算式會被轉為型態為 "指向某
型態的指標"，且該指標會指向該陣列的第一個元素。
講白話就是 b 如果不拿來做 sizeof(b) 或 &b，那 b 就會被轉成 &b[0]
所以 b + 1 就會變成 &b[0] + 1，而如果你知道指標運算的話就會發現
&b[0] + 1 等於 &b[1]，依此類推。
所以 &b 跟 &b[0] 會一樣是本來配置的結果的，而 b 作為一般運算元時也會轉為
&b[0]
最後的大團圓結局:
b
┌───┬───┬───┐
│ b[0] │ b[1] │ b[2] │
├───├───├───┤
&b[0] &b[1] &b[2] &b[3]
b b+1 b+2 b+3 <--- (註3)
&b
註1: 這裡說的記憶體是指 C 語言內部的抽象機器, 跟物理上的記憶體不必要相關。
註2: &b[3] 是合法的, 即使 b 陣列只有 3 個元素
註3: 當 b 不是用來做為 sizeof(b) 或 &b 時，會被轉為 &b[0]
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.122.83.198
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1431504257.A.1CA.html
→
05/13 16:20, , 1F
05/13 16:20, 1F
推
05/13 16:25, , 2F
05/13 16:25, 2F
※ 編輯: Feis (140.122.83.198), 05/13/2015 16:33:10
推
05/13 21:11, , 3F
05/13 21:11, 3F
推
05/13 21:17, , 4F
05/13 21:17, 4F
推
05/14 02:50, , 5F
05/14 02:50, 5F
推
05/14 08:28, , 6F
05/14 08:28, 6F
推
05/14 08:47, , 7F
05/14 08:47, 7F
討論串 (同標題文章)