C 語言數組越界不報錯？解析未定義行為與必現崩潰示例

C 標準規定數組越界屬於**未定義行為 (UB)**：編譯器不保證報錯，運行時可能正常、數據悄悄損壞、延遲崩潰、甚至看起來正確。這是 C 語言「信任程序員」設計哲學的體現。

為什麼有時不報錯？

• 越界寫入落在同一棧幀內其他變量區域，覆蓋局部變量/保存的幀指針/返回地址
• 釋放構建 (Release) 移除邊界檢查，調試構建 (Debug) 某些編譯器 (MSVC `/RTCs`) 會插入運行時檢查
• 訪問合法映射的內存頁，硬件無頁錯誤中斷

必現崩潰示例：無限越界寫入

#include 
#include 

int main() {
    int a[10];
    int i = 0;
    while (1) {
        a[i++] = i;  // 持續向高地址寫入
        // 終將覆蓋棧守護頁或關鍵控制數據，觸發段錯誤/棧溢出
    }
    return 0;
}

運行結果：`Segmentation fault (core dumped)` 或 `Stack overflow`，通常在幾萬次循環後發生。

更隱蔽的災難：覆蓋返回地址

void victim() {
    char buf[8];
    // 攻擊者構造輸入覆蓋 buf 後的返回地址
    gets(buf);  // 危險函數，無長度檢查
    // 返回時跳轉到攻擊者指定地址 → 代碼執行漏洞
}

int main() {
    victim();
    return 0;
}

防範最佳實踐

「不報錯」不代表「沒事」。數組越界是 C/C++ 最大安全隱患來源，務必用工具鏈 + 規範雙重防線。