C 語言陣列取址深度解析：a、&a[0]、&a 的類型與指標運算差異

核心結論先行

為什麼 &a 是「指向陣列的指標」？

陣列名 a 在大多數表達式中「退化」為指向首元素的指標 (int *)，但它不是指標變數 (不可修改、無儲存空間)。對一個「非指標」實體取址 (&a)，編譯器視其為「以整個陣列為單一元素」的聚合體，產生指向該聚合體的指標，類型為 int (*)[N]。

類比理解：層級遞增

int i;           // 0 階實體 (單一值)
int *p = &i;     // 1 階指標 (指向 0 階)
int **pp = &p;   // 2 階指標 (指向 1 階)
int ***ppp = &pp;// 3 階指標 ...

int a[4];        // 可視為「4 個 int 的聚合體」= 1 階聚合
int (*pa)[4] = &a; // 指向該聚合體 = 2 階

實證程式碼

#include 
int main() {
    int a[4] = {1,2,3,4};
    printf("a        = %p\n", (void*)a);
    printf("a+1      = %p  (diff %ld)\n", (void*)(a+1), (char*)(a+1)-(char*)a);
    printf("&a[0]    = %p\n", (void*)&a[0]);
    printf("&a[0]+1  = %p  (diff %ld)\n", (void*)(&a[0]+1), (char*)(&a[0]+1)-(char*)a);
    printf("&a       = %p\n", (void*)&a);
    printf("&a+1     = %p  (diff %ld)\n", (void*)(&a+1), (char*)(&a+1)-(char*)a);
    return 0;
}

典型輸出 (64-bit 系統)

a        = 0x7ffd12345670
a+1      = 0x7ffd12345674  (diff 4)
&a[0]    = 0x7ffd12345670
&a[0]+1  = 0x7ffd12345674  (diff 4)
&a       = 0x7ffd12345670
&a+1     = 0x7ffd12345680  (diff 16)  ← 關鍵：跨越整個陣列 4*4=16 bytes

實務應用場景

1. 函數參數傳遞整個陣列：

   
   void process_matrix(int (*matrix)[4], int rows);  // 保留列數資訊
   int a[3][4];
   process_matrix(a, 3);  // a 類型自動轉為 int (*)[4]
   

2. sizeof 運算元：sizeof(a) 給出整個陣列大小 (16)，而非指標大小。
3. 字串字面值：char *p = "abc"; 中 "abc" 類型為 char[4]，&"abc" 為 char (*)[4]。

常見誤區

1. 上一篇文章： Linux C 語言實現 ping (ICMPv4 Echo Request) 完整原始碼解析
2. 下一篇文章： 經典算法題「加油站最小花費」C語言完整解法：貪心策略與遞歸實現

關於C語言

C 語言統一內存管理入口：封裝 malloc/free 實現 new 風格分配與自動錯誤處理

動機：簡化 malloc 錯誤檢查樣板代碼 標準模式繁瑣：

C語言函數設計原則：參數傳遞、效率優化與內聯代碼權衡

通用函數設計原則 避免全域變數，採用參數傳遞 通用函數：可

C語言快速入門（四）：深入理解陣列與字串操作

C語言快速入門（四）：深入理解陣列與字串操作 經過前三篇文章

深度解析C語言：結構體模擬OOP、指針內存模型、I/O體系與格式化黑技巧

深度解析C語言：結構體模擬OOP、指針內存模型、I/O體系與