C語言把0塞進數組索引，47年后全球程序員還在買單

全球超過1200萬開發者每天寫下的第一行循環代碼，大概率是for(i = 0; i < n; i++)。這個0不是習慣，是一筆1972年簽下的技術債務——丹尼斯·里奇在設計C語言時，把數組索引釘死在內存偏移量的起點，此后所有語言想進主流，都得先向這個0低頭。

內存地址的「零號房間」

C語言的數組本質是連續內存塊。假設數組起始于地址0x1000，那么索引0直接對應0x1000，索引1對應0x1001，以此類推。索引即偏移量，偏移量為0時無需任何計算——這是硬件層面的偷懶，卻成了軟件層面的標準。

如果強行從1開始，每次訪問數組都需要多做一次減法：實際地址 = 基地址 + (索引-1) × 元素大小。在1970年代的PDP-11機器上，這條額外指令意味著可測量的性能損耗。里奇選擇了讓機器舒服，讓人類適應。

這個選擇的影響遠超C語言本身。Java、Python、JavaScript、C++、C#、Go、Rust——幾乎所有主流語言都繼承了這一傳統。Stack Overflow 2023年調查顯示，零基索引語言占據開發者使用量的89%。

字符串數組的「身份焦慮」

一個常被忽略的細節：C語言中字符串本質是字符數組，以空字符\0結尾。這意味著"hello"占用6字節，有效字符索引0-4，索引5藏著那個看不見的終止符。

這種設計迫使字符串操作函數（如strcpy、strlen）必須遍歷到索引n才能確定結束位置。零基索引與空終止符的組合，構成了C字符串的安全隱患溫床——緩沖區溢出漏洞的CVE記錄超過2000條，根源多在于此。

后來的語言試圖修正。Pascal允許自定義數組下界，Ada支持任意整數范圍，Lua甚至默認從1開始。但這些「人性化」設計在生態競爭中落敗。原因很現實：當C語言主導了操作系統、編譯器、嵌入式固件，新語言若想調用現有代碼，零基索引是最便宜的互通成本。

數學與循環的「共謀」

零基索引意外契合了數學中的半開區間約定：[0, n)包含n個元素，上界恰好等于元素個數。這簡化了區間分割——取前k個元素是[0, k)，剩余是[k, n)，無需加減1的腦力消耗。

Python的設計者吉多·范羅蘇姆曾解釋這一選擇：「半開區間讓切片操作變得優雅。`a[:n]`就是前n個元素，不需要記任何例外。」這種優雅在數據處理場景中被反復驗證——NumPy數組切片、Pandas行列選取，底層都依賴零基索引的數學一致性。

但代價轉移給了初學者。每年計算機系新生都要經歷「第0個元素」的認知重構，數組長度與最大索引的差1關系成為經典踩坑點。教育研究者估算，這一概念平均消耗初學者4-6小時的調試時間——乘以全球年度新增開發者數量，是一筆龐大的認知稅。

硬件變遷后的「路徑依賴」

具有諷刺意味的是，當初支撐零基索引的性能理由已不復存在。現代CPU的流水線架構、分支預測和緩存機制，使得一次減法運算的代價可以忽略不計。2021年MIT一項實驗顯示，在x86-64處理器上，一基索引與零基索引的數組訪問性能差異低于0.3%——在測量噪聲范圍內。

但標準一旦確立，修改成本呈指數級增長。Linux內核代碼量超過3000萬行，Windows估計超過5000萬行，全部假設零基索引。任何試圖顛覆的嘗試，都會面臨與整個軟件生態的斷裂風險。

唯一顯著的例外是MATLAB，堅守一基索引近40年，因其數值計算領域的封閉生態而得以存活。但在通用編程領域，零基索引的壟斷地位從未動搖。

2024年，新一代語言Zig和Mojo相繼發布，兩者都選擇了零基索引。不是出于技術必要性，而是對人力資源市場的務實考量——降低開發者的上下文切換成本，比追求理論完美更重要。

這引出一個未被充分討論的問題：如果里奇當年選擇從1開始，今天的編程教育會減少多少挫敗感？還是說，那個額外的減法運算會在某個關鍵系統中累積成災難性的性能瓶頸？歷史沒有對照實驗，只有已成定局的47年。