您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> 關於C

C語言經典錯誤：if語句後多餘分號導致的邏輯缺陷

編輯：關於C

錯誤現場還原

在內存管理模塊開發中，一個看似正常的if判斷卻導致釋放邏輯異常執行。經排查發現，罪魁禍首是if條件後誤加了一個分號：

if ((ULong)memblock == (ULong)(pMemInfo[i].addr));  // 這裡的分號導致if語句空執行
{
    fprintf(pf, "nAllSize = %u\n", pMemInfo[count-1].nSizeAll);
    pMemInfo[count-1].nSizeAll -= pMemInfo[i].nSize;
    break;
}

錯誤機制分析

C語言語法規定，if (condition); 等價於 if (condition) { /* 空語句 */ }。因此後面的大塊代碼脫離了if控制，成為無條件執行的普通語句塊，導致每次循環都執行釋放操作，破壞內存管理邏輯。

預防最佳實踐

強制配對法：養成if...else成對編寫習慣，即使else為空也要寫出：

if ((ULong)memblock == (ULong)(pMemInfo[i].addr)) {
    fprintf(pf, "nAllSize = %u\n", pMemInfo[count-1].nSizeAll);
    pMemInfo[count-1].nSizeAll -= pMemInfo[i].nSize;
    break;
} else {
    // 刻意留空，編譯器會檢測語法錯誤
}

這樣一旦誤加分號，else將無法匹配對應的if，編譯器直接報錯，在編譯期攔截錯誤。