C語言經典坑：數組越界導致「Stack around variable corrupted」深度剖析

C語言經典坑：數組越界導致「Stack around variable corrupted」深度剖析

現象：運行時拋出 Run-Time Check Failure #2 - Stack around the variable '******' was corrupted.

罪魁禍首代碼

int intArray[30];
for (i = 1; i <= 30; i++) {  // 下標 1~30，共 31 次！
    intArray[i] = (rand() % 900) + 100;
}

intArray[30] 合法下標為 0~29，i=30 寫入越界，破壞棧上相鄰變量（如循環計數器、幀指針），觸發 MSVC 的 /RTC 檢測。

兩種修復方案

避坑清單

• 循環邊界：左閉右開 [0, n) 刻入肌肉記憶。
• 開啟編譯器檢查：/RTC (MSVC)、-fsanitize=address (GCC/Clang)。
• 靜態分析：Cppcheck、Clang Static Analyzer、Coverity。
• 代碼規範：MISRA C、CERT C 建議使用 size_t 索引、避免魔術數字。