C++ 具有特殊含義的識別符號： post （自 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++ 歷史

 

關鍵詞

alignas （C++11） alignof （C++11） 和 and_eq asm auto (*) bitand bitor bool break case catch char char8_t （C++20） char16_t （C++11） char32_t （C++11） class compl concept （C++20） const consteval （C++20） constexpr （C++11） constinit （C++20） const_cast continue contract_assert （C++26）   co_await （C++20） co_return （C++20） co_yield （C++20） decltype （C++11） default	delete do double dynamic_cast else enum explicit export extern false float for friend goto if inline int long mutable namespace new noexcept （C++11）   not not_eq nullptr （C++11） operator or or_eq private protected public	register reinterpret_cast requires （C++20） return short signed sizeof (*) static static_assert （C++11） static_cast struct switch template this thread_local （C++11） throw true try typedef typeid typename union unsigned using virtual void volatile wchar_t while xor xor_eq
具有特殊含義的識別符號
final （C++11） import （C++20） module （C++20）	override （C++11） post （C++26） pre （C++26）	replaceable_if_eligible （C++26） trivially_relocatable_if_eligible （C++26）

 

用法

函式契約說明符：作為函式後置條件

注意

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

另請參閱

• pre, contract_assert