C 標準庫參考指南：assert.h 斷言機制詳解 (assert、NDEBUG、調試與發布模式)

assert.h 核心功能

<assert.h> 提供運行期斷言機制：檢查條件，失敗時輸出診斷信息並終止程序。僅用於調試，發布版通過宏禁用。

核心宏：assert(expression)

#include <assert.h>

void func(int *ptr) {
    assert(ptr != NULL);  // 條件為假(0)時觸發
    *ptr = 42;
}

觸發時行為

• 向 stderr 輸出：Assertion failed: expression, file filename, line line_number
• 調用 abort() 異常終止程序 (生成 core dump)
• 不返回、不拋出異常、不執行清理代碼

NDEBUG 宏：控制斷言啟用/禁用

• 定義 NDEBUG (#define NDEBUG 或編譯旗標 -DNDEBUG) → assert 展開為空操作 ((void)0)
• 未定義 → assert 正常檢查
• 標準構建約定：Debug 版未定義 NDEBUG，Release 版定義 NDEBUG

編譯示例

// debug.c
#include <assert.h>
#include <stdio.h>

int divide(int a, int b) {
    assert(b != 0);  // 除零檢查
    return a / b;
}

int main() {
    printf("%d\n", divide(10, 2));
    printf("%d\n", divide(10, 0));  // 觸發斷言
    return 0;
}

# 調試版編譯 (啟用斷言)
gcc -g -O0 -o debug debug.c
./debug
# 輸出:
# 5
# Assertion failed: b != 0, file debug.c, line 6
# Aborted (core dumped)

# 發布版編譯 (禁用斷言)
gcc -O2 -DNDEBUG -o release debug.c
./release
# 輸出:
# 5
# Floating point exception (core dumped)  -- 實際除零硬件異常

關鍵最佳實踐

1. 斷言檢查「不可能發生」的邏輯錯誤

// 正確：檢查內部不變量
void push(Stack *s, int val) {
    assert(s != NULL);
    assert(s->size < s->capacity);  // 邏輯保證不會滿
    s->data[s->size++] = val;
}

// 錯誤：檢查外部輸入/運行期錯誤
int read_config(const char *file) {
    FILE *fp = fopen(file, "r");
    assert(fp != NULL);  // 文件不存在是正常運行期錯誤，應返回錯誤碼
    // ...
}

2. 斷言條件不可有副作用

// 危險：釋放版條件不執行，導致邏輯缺失
assert(ptr = malloc(100));  // 發布版不分配內存！
assert((fp = fopen("x")) != NULL);  // 發布版不打開文件！

// 正確：副作用分離
void *ptr = malloc(100);
assert(ptr != NULL);
FILE *fp = fopen("x");
assert(fp != NULL);

3. 靜態斷言 (C11) 用於編譯期檢查

#include <assert.h>  // C11 _Static_assert 在 assert.h 中

_Static_assert(sizeof(int) >= 4, "int 至少 32 位");
_Static_assert(CHAR_BIT == 8, "平台字節非 8 位");
_Static_assert(FLT_RADIX == 2, "浮點非二進制");

進階用法：自定義斷言宏

#ifndef NDEBUG
#define MY_ASSERT(cond, fmt, ...) \
    do { \
        if (!(cond)) { \
            fprintf(stderr, "ASSERT: %s:%d: " fmt "\n", __FILE__, __LINE__, ##__VA_ARGS__); \
            abort(); \
        } \
    } while(0)
#else
#define MY_ASSERT(cond, fmt, ...) ((void)0)
#endif

// 使用
MY_ASSERT(index < count, "索引越界: index=%d, count=%d", index, count);

常見誤區與避坑

現代替代與補充

• C++ 契約 (C++26 提案)：[[assert: cond]]、[[pre: cond]]、[[post: cond]]
• sanitizers：-fsanitize=address,undefined 運行期檢測越界、UB
• 單元測試框架：GoogleTest ASSERT_*/EXPECT_*、Unity TEST_ASSERT
• 靜態分析：Clang Static Analyzer、Cppcheck、Coverity 檢測 assert 不能覆蓋的路徑