C語言二維數組指針算術：&a[1]+1 與 a[1]+1 地址差異圖解

二維數組`int a[3][4]`中，`&a[1]+1`與`a[1]+1`輸出地址不同，本質是**指針類型決定步長**。本文通過內存佈局圖解徹底釐清。

數組定義與內存佈局

int a[3][4] = {  // 3行4列，行優先連續存儲
    {0, 1, 2, 3},   // 第0行：a[0][0]..a[0][3]
    {10,11,12,13},  // 第1行：a[1][0]..a[1][3]
    {20,21,22,23}   // 第2行：a[2][0]..a[2][3]
};
// 假設首地址 a = 0x1000，int 4字節

關鍵表達式解析

圖解內存與指針步長

地址:   0x1000  0x1004  0x1008  0x100C  |  0x1010  0x1014  0x1018  0x101C  |  0x1020 ...
值:      0       1       2       3      |    10      11      12      13      |    20 ...
        └─────── a[0] (int[4]) ────────┘  └─────── a[1] (int[4]) ────────┘  └── a[2]...

a           → 0x1000 (int(*)[4]) 步長 = sizeof(int[4]) = 16字節
a[1]        → 0x1010 (int*)       步長 = sizeof(int)    = 4字節
&a[1]       → 0x1010 (int(*)[4])  步長 = sizeof(int[4]) = 16字節

書上定義：「&a[i]指向行，a[i]指向列」解讀

• `&a[i]`：類型`int(*)[N]`，**指向第i行整體**（一維數組），步長為**一行大小**。
• `a[i]`：退化為`int*`，**指向第i行首元素**（列方向），步長為**一個元素大小**。
• 「指向行」= 以行為單位跳轉；「指向列」= 以列（元素）為單位跳轉。

通用規律：一維數組類比

將二維數組視為**一維數組的數組**：

// 一維數組
int arr[3];
arr      → 首元素地址 (int*)   步長 = sizeof(int)
&arr     → 整個數組地址 (int(*)[3]) 步長 = sizeof(arr) = 3*sizeof(int)

// 二維數組同理，把「一維數組元素」換成「行（一維數組）」
int a[3][4];
a        → 第0行地址 (int(*)[4])  步長 = sizeof(int[4])
&a       → 整個二維數組地址 (int(*)[3][4]) 步長 = sizeof(a)
a[1]     → 第1行首元素 (int*)     步長 = sizeof(int)
&a[1]    → 第1行整體 (int(*)[4])  步長 = sizeof(int[4])

核心口訣：指針類型定步長，解引用降維度，數組名退化指向首元素，取址保持數組類型。