contract_assert 語句 (C++26 起)

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 語言

通用主題
預處理器 註釋	關鍵詞 轉義序列
流程控制
條件執行語句
if	switch
迭代語句（迴圈）
for 範圍-for (C++11)	while do-while
跳轉語句
continue - break	goto - return
函式
函式宣告
Lambda 函式表示式
inline 說明符
動態異常規範 (直到 C++17*)
noexcept 說明符 (C++11)
異常
throw 表示式 try 塊	catch 處理程式
名稱空間
名稱空間宣告	命名空間別名
型別
基本型別 列舉型別 函式型別	類/結構體型別 聯合型別
說明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
儲存期說明符
初始化
預設初始化 值初始化 零初始化 複製初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表示式
值類別 求值順序	運算子 運算子優先順序
替代表示
字面量
布林 - 整型 - 浮點型
字元 - 字串 - nullptr (C++11)
使用者定義 (C++11)
工具
屬性 (C++11)
型別
typedef 宣告
類型別名宣告 (C++11)
型別轉換
隱式轉換 static_cast const_cast	顯式轉換 dynamic_cast reinterpret_cast
記憶體分配
new 表示式	delete 表示式
類
類宣告 建構函式 this 指標	訪問說明符 friend 說明符
類特有的函式屬性
虛擬函式 override 說明符 (C++11)   final 說明符 (C++11)	explicit (C++11) static
特殊成員函式
預設建構函式 複製建構函式 移動建構函式 (C++11)	複製賦值 移動賦值 (C++11) 解構函式
模板
類模板 函式模板	模板特化 引數包 (C++11)
雜項
內聯彙編	C++ 歷史

 

語句

標籤

標號 : 語句

表示式語句

表示式 ;

複合語句

{ 語句... }

選擇語句

if

switch

迭代語句

while

do while

for

範圍 for (C++11)

跳轉語句

break

continue

return

goto

斷言

contract_assert (C++26)

宣告語句

宣告 ;

Try 塊

try 塊

事務記憶體

synchronized, atomic_commit 等 (TM TS)

 

contract_assert 語句是一個契約斷言，可以出現在函式或 lambda 主體中以驗證內部條件。它確保在執行期間條件成立，如果在除錯構建中條件評估為 false 或評估透過異常退出，則會觸發違規（例如終止），在釋出構建中可以出於效能考慮而忽略它。

語法

contract_assert attr (可選) ( predicate ) ;

屬性	-	任意數量的屬性
謂詞	-	應評估為 true 的布林表示式

關鍵詞

contract_assert

注意

功能測試宏	值	標準	特性
__cpp_contracts	202502L	(C++26)	契約

示例

contract_assert 確保向量的範數是正的，並且是正常或次正常的。

template <std::floating_point T>
constexpr auto normalize(std::array<T, 3> vector) noexcept
    pre(/* is_normalizable(vector) */)
    post(/* vector: is_normalized(vector) */)
{
    auto& [x, y, z]{vector};
    const auto norm{std::hypot(x, y, z)};
 
    // debug check for normalization safety
    contract_assert(std::isfinite(norm) && norm > T(0));
 
    x /= norm, y /= norm, z /= norm;
 
    return vector;
}

參考資料

• C++26 標準 (ISO/IEC 14882:2026)

• 8.(7+c ) 斷言語句 [stmt.contract.assert]

另請參閱

assert	如果使用者指定條件不為 true，則中止程式。在釋出版本中可能會停用。 (函式宏)
契約斷言 (C++26)	指定在執行期間某些點必須滿足的屬性
static_assert 宣告 (C++11)	執行編譯時斷言檢查
函式契約說明符 (C++26)	指定前置條件 (pre) 和後置條件 (post)
[[assume(expression)]] (C++23)	指定 expression 在給定點將始終評估為 true (屬性說明符)