C 語言陣列存取等價性：a[i] ≡ i[a] ≡ *(a+i) 核心原理與實證

標準定義

C 標準 (C99 §6.5.2.1) 明確定義：

a[b] ≡ *(a + b)

因此：

a[5]   ≡ *(a + 5)
5[a]   ≡ *(5 + a)
*(a+5) ≡ *(5+a)  // 加法交換律

記憶體模型解釋

• a：陣列首元素位址 (指標常量)
• a + i：位址偏移 i * sizeof(*a) bytes
• *(a + i)：解參考存取該位址資料
• 加法交換律使 a+i ≡ i+a，故 a[i] ≡ i[a]

實證程式碼

#include 

int main() {
    int a[10] = {9, 2, 3, 4, 7, 6, 5, 8, 1, 10};
    
    printf("a[5]     = %d\n", a[5]);      // 6
    printf("*(a+5)   = %d\n", *(a+5));    // 6
    printf("*(5+a)   = %d\n", *(5+a));    // 6
    printf("5[a]     = %d\n", 5[a]);      // 6
    
    // 進階驗證：指標變數同樣適用
    int *p = a;
    printf("p[3]     = %d\n", p[3]);      // 4
    printf("3[p]     = %d\n", 3[p]);      // 4
    
    return 0;
}

執行結果

實務意義與濫用警示

延伸：指標算術完整規則

int a[10];
int *p = a;

p + 1    // 位址 + sizeof(int) → 指向 a[1]
p - 1    // 位址 - sizeof(int) → 未定義 (超出陣列前)
&a[3]    // ≡ a + 3 ≡ p + 3
a + 10   // 指向陣列尾後一個位置 (合法但不可解參考)
a + 11   // 未定義行為

結語

a[i] ≡ i[a] 是 C 語言指標算術與下標運算子定義的直接推論，展現了陣列下標操作本質上是指標偏移加解參考的語法糖。雖然語法上合法，但工程實務中嚴禁濫用。理解此等價性有助於深度掌握指標本質、陣列退化規則、緩衝區溢位原理，是從「會用 C」進階到「懂 C」的關鍵里程碑。

1. 上一篇文章： C 語言字串比較函數實作與指標陣列 vs 陣列指標深度解析
2. 下一篇文章： C語言演算法：蛇形填數矩陣生成

C 語言入門

無窮級數求 e^x 近似值 C++ 實作

數學原理 泰勒級數展開： e^x = 1 + x + x^2

C 語言函數指標陣列：Linux 核心 socket 結構體中的實戰應用分析

發現：結構體成員即函數指標 Linux 核心 struct

C語言快速排序算法代碼逐行深度分析：分區邏輯與遞歸結構

標準快速排序實現 void sort(int a[], in

C 語言資料壓縮實作：簡單字串壓縮與哈夫曼編碼

一、簡單字串壓縮（RLE 變體） 壓縮規則 僅壓縮連續重複