深入理解 C/C++ 編譯時期斷言：從原理到實戰

什麼是編譯時期斷言？

編譯時期斷言是一種讓編譯器在編譯階段檢查條件是否成立的技術。若條件為假，編譯器會直接報錯，從而將潛在錯誤提前暴露，避免其流入運行時期。這在大型專案（如 WebKit、Chromium）中極為常見，是提升代碼健壯性的關鍵手段。

C++11 標準化支持：static_assert

C++11 引入了關鍵字 static_assert，語法為 static_assert(常量表達式, 錯誤訊息)。它不僅簡潔，還能自定義錯誤提示，大大提升了可讀性。例如：

static_assert(sizeof(int) == 4, "int 必須為 4 位元組");

預 C++11 時代的手動實現

在不支持 C++11 的環境中，開發者需自行構造非法代碼以觸發編譯錯誤。最經典的技巧是利用「負數組長度」：

#define COMPILE_ASSERT(exp, name) typedef int dummy##name[(exp) ? 1 : -1]

當 exp 為假時，陣列長度變為 -1，編譯器會報「陣列大小為負」錯誤。這利用了 C 標準禁止變長陣列（VLA）且大小必須為正的規定。

WebKit 中的 COMPILE_ASSERT 實戰

WebKit 根據編譯器能力分級降級：

• 支援 C11 _Static_assert → 直接使用（兼容純 C 代碼）
• 支援 C++11 static_assert → 使用
• 否則 → 退回負數組長度技巧

這種「特性檢測 + 降級策略」是跨平台庫的典型模式。

核心難點：條件必須為編譯期常量

實現斷言本身不難，難點在於構造編譯期可計算的條件。WebKit 大量使用 sizeof 比較類型大小，以及靜態常量比較，因為這些值在編譯期確定。例如：

COMPILE_ASSERT(sizeof(MyStruct) == 16, MyStruct_size_check);

最佳實踐建議

1. 優先使用 static_assert（C++11/C11 以上）。
2. 舊專案可封裝宏，內部按編譯器特性自動選擇實現。
3. 斷言條件盡量簡單、語義清晰，錯誤訊息要具體可操作。
4. 大量使用於類型大小、對齊、枚舉值範圍、模板參數約束等場景。

編譯時期斷言是「零成本」的安全網，善用它能讓無數潛在 Bug 在敲下編譯鍵的瞬間現形，是現代 C/C++ 開發不可或缺的利器。