C++ の特別な意味を持つ識別子: post (C++26 以降)

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++言語

全般
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件実行文
if	switch
繰り返し文 (ループ)
for 範囲for文 (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ式
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 要求するようになった (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