C語言斷言與靜態斷言詳解：assert 與 static_assert 使用指南

斷言的基本概念

斷言是一種**調試輔助機制**，在程式運行時檢查「必須為真」的條件。若條件不成立，程式終止並輸出錯誤訊息（檔案名、行號、條件表達式），幫助開發者快速定位邏輯錯誤。

標準運行時斷言：assert

使用方式

#include 

void func(int *ptr) {
    assert(ptr != NULL);  // 斷言指標非空
    // ...
}

編譯控制：NDEBUG 宏

• **Debug 版本**：未定義 NDEBUG，assert 生效。
• **Release 版本**：定義 NDEBUG（如 -DNDEBUG 或 #define NDEBUG），assert 被預處理器移除，**零開銷**。

#ifndef NDEBUG
    assert(condition);
#endif

適用場景與禁忌

核心原則：斷言用於發現**程式 bug**，不用於處理**運行時錯誤**。

靜態斷言：static_assert (C11 / C++11)

語法

static_assert(constant-expression, string-literal);

• 在**編譯期**計算常量表達式，若為 0 則編譯失敗，輸出字串字面值作為錯誤訊息。
• 不產生任何運行時代碼，零開銷。

典型用途

// 確保結構體大小符合協議要求
static_assert(sizeof(ProtocolHeader) == 24, "ProtocolHeader size mismatch");

// 確保枚舉值連續
static_assert(ERROR_MAX - ERROR_MIN + 1 == ERROR_COUNT, "Error code gap detected");

// 確保類型寬度
static_assert(sizeof(int) >= 4, "int must be at least 32-bit");

C 語言實現編譯期斷言（C11 前）

利用「陣列大小為負則編譯錯誤」特性：

#define STATIC_ASSERT(cond, msg) \
    typedef char static_assert_failed_##msg[(cond) ? 1 : -1]

// 使用範例
STATIC_ASSERT(sizeof(int) == 4, int_must_be_32bit);

文章提供的巨集技巧：

#define JOIN(X, Y) JOIN_AGAIN(X, Y)
#define JOIN_AGAIN(X, Y) X##Y

#define STATIC_ASSERT(e) \
    typedef char JOIN(assert_failed_at_line_, __LINE__)[(e) ? 1 : -1]

• __LINE__ 確保每次展開產生唯一類型名稱，避免重複定義錯誤。
• 若 e 為 0，陣列大小為 -1 → 編譯錯誤。

總結對比

最佳實踐建議

1. **大量使用 static_assert** 驗證類型大小、對齊、枚舉範圍、編譯期常數關係。
2. **關鍵內部不變式** 用 assert 保護（指標非空、索引越界、鎖狀態）。
3. **公開 API 參數檢查** 改用錯誤碼返回或例外，不要用 assert。
4. 嵌入式/伺服器專案：考慮自定義斷言宏，失敗時記錄日誌並進入安全模式，而非直接 abort()。