Linux 系統下 assert 函式完整使用指南：編譯控制、最佳實務與常見陷阱

Linux 下使用 assert 與 Windows Visual Studio 環境截然不同：必須在編譯命令加入 -DNDEBUG 才會在發布版移除斷言，否則運行時可能因斷言失敗中斷程式。本文詳細說明用法、編譯控制與五大注意事項。

基本原型與行為

#include 
void assert(int expression);

• 計算 expression，若為假 (0) → 向 stderr 列印錯誤訊息（含檔案、行號、運算式） → 呼叫 abort() 終止程式。
• 僅在 未定義 NDEBUG 宏時 生效（預設 Debug 建置）。

範例程式 badptr.c

#include 
#include 
#include 

int main(void) {
    FILE *fp = fopen("test.txt", "w");
    assert(fp);                 // 成功，不會觸發
    fclose(fp);

    fp = fopen("noexitfile.txt", "r"); // 檔案不存在，fopen 回傳 NULL
    assert(fp);                 // 觸發斷言失敗
    fclose(fp);                 // 永不執行
    return 0;
}

編譯與執行

$ gcc badptr.c
$ ./a.out
a.out: badptr.c:14: main: Assertion `fp' failed.
Aborted

發布版移除斷言

在 #include 之前 定義 NDEBUG：

#include 
#define NDEBUG
#include 
/* 之後的 assert 皆會被預處理器移除 */

五大使用守則

1. 函數入口驗證參數合法性： 每個 assert 只檢查單一條件，失敗時易定位問題。
   assert(nNewSize >= 0); assert(nNewSize <= MAX_BUFFER_SIZE);
2. 避免在斷言中執行有副作用的運算： assert(i++ < 100) 錯誤，因 Release 版不執行 i++ 導致邏輯錯誤。應寫成 assert(i < 100); i++;。
3. 斷言與後續程式碼空一行： 形成邏輯與視覺區隔。
4. 斷言不可替代錯誤處理： 使用者輸入、網路狀態等外部條件必須用 if 判斷並優雅處理，assert 僅防禦內部邏輯錯誤。
5. 效能考量： 密集迴路中避免過度使用，以免 Debug 版效能大幅下降。

掌握 -DNDEBUG 控制與上述守則，即能在 Linux 專案中安全、高效地運用 assert 輔助除錯。