※ 引述《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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1431504257.A.1CA.html ※ 編輯: Feis (140.122.83.198), 05/13/2015 16:33:10