Re: [問題] 對陣列名稱取址

[Feis (永遠睡不著 @@)]

※ 引述《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
→ Feis: 天阿, 我有上色強迫症
推 wenyonba: 這樣很清楚啊!我用IDE的時候也會一堆顏色XD
※ 編輯: Feis (140.122.83.198), 05/13/2015 16:33:10
推 johnjohnlin: 清楚推一個～
推 waniac: 推
推 k387259: 推 圖解容易多了
推 chen20: 推～~
推 TobyH4cker: 謝謝老師