C++23

• 明示的なthisオブジェクトパラメータ^{[ 5 ]}
• if consteval^{[ 6 ]}
• 多次元添え字演算子^{[ 7 ]} ; この演算子は任意の数のパラメータで定義でき (可変引数でも可)、代わりに定義できます。a[i,j,k]=x;a[i][j][k]=x;
• 静的呼び出し演算子と添え字演算子、および静的ラムダ^{[ 8 ] [ 9 ]}
• 暗黙的な移動を簡略化する^{[ 10 ]}
• auto(x)およびauto{x}^{[ 11 ]}
• 新しいプリプロセッサディレクティブ:
  • #elifdefおよび#elifndef^{[ 12 ]}
  • #warning^{[ 13 ]}
• 範囲ベースの for ループで一部の一時変数の寿命を延長する^{[ 14 ]}
• 新しい標準属性^{[ 15 ]}[[assume(expression)]]
• 継承されたコンストラクタからのクラステンプレート引数推論^{[ 16 ]}
• 複合文の末尾のラベル^{[ 17 ]}
• 初期化文におけるエイリアス宣言^{[ 18 ]}
• 対応する符号付き型のリテラル接尾辞size_t: zu (例: 0zu, 15zu) ^{[ 19 ]}
• リテラルを含む拡張浮動小数点型（条件付きでサポート）^{[ 20 ]}
• ()空ラムダ式からのオプション^{[ 21 ]}
• ラムダ式の属性^{[ 22 ]}
• constexpr変更点:
  • 関数内の非リテラル変数、ラベル、およびgotos ^{[ 23 ]}constexpr
  • 関数内の定数式で使用可能な変数staticを許可する^{[ 24 ]}thread_localconstexpr
  • constexpr関数は、戻り値の型とパラメータの型がリテラル型である必要はありません。
  • constexprコア定数式の要件を満たす呼び出しがない関数を記述することが可能になった^{[ 25 ]}
• bool文脈変換をinstatic_assertと^{[ 26 ]}に絞り込むif constexpr
• 行の接合前に空白をトリミングする^{[ 27 ]}
• 宣言順序レイアウトを義務付ける^{[ 28 ]}
• 区切りエスケープシーケンス^{[ 29 ]}
• 名前付きユニバーサル文字エスケープ^{[ 30 ]}
• テキストエンコーディングの変更点:
  • ポータブルなソースファイルエンコーディングとしてのUTF-8のサポート^{[ 31 ]}
  • 一貫した文字リテラルエンコーディング^{[ 32 ]}
  • 文字セットとエンコーディング^{[ 33 ]}
• 「for」などの一部のキーワードに新しい意味が追加されましたthis。^{[ 34 ]}

• Unicode標準附属書31を使用したC++識別子構文^{[ 106 ]}
• 重複属性を許可する^{[ 107 ]}
• ラムダの末尾の戻り値の型のスコープを変更する^{[ 108 ]}
• 比較演算子のオーバーロードによる破壊的変更を減らす^{[ 109 ]}
• 揮発性化合物の割り当てを軽視しない^{[ 110 ] [ 111 ]}
• ^{[ 112 ]}の互換性と移植性を修正するchar8_t
• wchar_t既存の慣行に合わせて要件を緩和する^{[ 113 ]}
• this定数式に起源不明のポインタや参照を許可する^{[ 114 ]}
• 即時エスカレーション機能の導入により、即時機能へと昇格した^{[ 115 ]}
• static_assert(false)インスタンス化されていないテンプレートコンテキストでの使用を許可する

• 範囲ライブラリの変更点：
  • 条件付き借用範囲^{[ 116 ]}
  • 入力範囲アダプタの修理とstd::counted_iterator^{[ 117 ]}
  • ^{[ 118 ]}の制約を緩和するstd::ranges::join_view
  • 名前が変更さstd::ranges::split_viewれstd::ranges::lazy_split_view、新しいsplit_view^{[ 119 ]}
  • std::default_initializable概念から制約を削除しましたstd::ranges::view^{[ 120 ]}
  • 所有権と新規表示std::ranges::owning_view^{[ 121 ]}
  • 修正済みstd::ranges::istream_view^{[ 122 ]}
• テキスト書式ライブラリの変更点：
  • std::basic_format_string^{[ 123 ]}
  • コンパイル時のフォーマット文字列チェック
  • ^{[ 124 ]}のバイナリコードサイズを削減するstd::format_to
  • Chronoフォーマッタにおけるロケール処理の修正^{[ 125 ]}
  • 幅推定の改善^{[ 126 ]}とフィル文字許容値の改善std::format^{[ 127 ]}
  • フォーマット引数での転送参照の使用により、非constフォーマット可能な型を許可する^{[ 128 ]}
• 完全constexprstd::variantにstd::optional^{[ 129 ]}
• ^{[ 130 ]}std::variantから派生したサポート型std::visit

削除された機能:

• ガベージ コレクションのサポートと(厳密な) ポインタの安全性^{[ 131 ]} (つまり、緩和されたポインタの安全性のみに頼る必要がある^{[ 132 ]} )。この最小限のガベージ コレクションのサポート (およびそれに必要なポインタの安全性) は C++11 に追加されましたが、これまでどのコンパイラもサポートしたことがなかったため、C++23 でサポートが削除されました。^{[ 133 ]}しかし、これは多くの GC 実装が使用されていないという意味ではなく、Boehm GC (デバッグ モードのときにリーク検出にのみ使用することもできます) のように、C++ で引き続き使用されており、このような GC は他の言語で使用するために C++ で実装されることがよくあります。
• 混合ワイド文字列リテラル連結。^{[ 134 ]}
• エンコード不可能なワイド文字リテラルと複数文字のワイド文字リテラル。^{[ 135 ]}

非推奨の機能：

• std::aligned_storageおよびstd::aligned_union^{[ 136 ]}
• std::numeric_limits::has_denorm^{[ 137 ]}

非推奨となった機能を元に戻しました。

• 添え字式でのコンマ演算子の使用は非推奨ではなくなりましたが、オーバーロード可能なn進数をサポートするように意味論が変更されましたoperator[]。
• Cヘッダー（<*.h>C言語との互換性を確保するための対応するヘッダー）

2020年11月9日の仮想WG21会議の後、以下の項目が追加され、非公式投票で承認されました。^{[ 147 ]}

• のリテラル接尾辞と対応する符号付き型std::size_t
• とのメンバ関数containsで、文字列に指定された部分文字列または文字が含まれているかどうかをチェックします。std::basic_stringstd::basic_string_view
• Boost.Stacktraceをベースにしたスタックトレースライブラリ（）<stacktrace>
• 性格特性std::is_scoped_enum
• C言語のアトミック操作との相互運用性のためのヘッダー<stdatomic.h>

2021年2月22日の仮想WG21会議の後、非公式投票で承認された以下の機能が追加されました。^{[ 148 ]}

• ラムダ式()から不要な空のパラメータリストを削除します。
• 入力範囲アダプタの修理とcounted_iterator。
• の要件を緩和する。^{[ 149 ]}time_point::clock
• std::visitから派生したクラスの場合。std::variant
• ロックは施錠可能なものをロックします。^{[ 150 ]}
• 条件付き借用範囲。
• std::to_underlying。

2021年6月の2021年夏のISO C++標準全体会議の仮想会議の後、新しい機能と欠陥報告が非公式投票で承認されました: ^{[ 151 ]}

• （ ）の場合、コンステバル。ifconsteval
• 文脈変換を絞り込むbool。
• 重複する属性を許可する。
• std::span-ベースの文字列ストリーム（）。<spanstream>
• std::out_ptr()そして。std::inout_ptr()
• constexpr、、および の場合。std::optionalstd::variantstd::type_info::operator==
• イテレータは、（スタック）と（キュー）のコンストラクタをペアにします。std::stackstd::queue
• 範囲ライブラリにいくつかの変更点があります。
  • 一般化されておりstarts_with、ends_with任意の範囲に対応します。
  • split_viewに名前が変更されlazy_split_view、新しいsplit_view。
  • の制約を緩和しますjoin_view。
  • default_initializable概念から制約を取り除くview。
  • 範囲コンストラクタ。std::basic_string_view
• 建設を禁止する。std::basic_stringstd::basic_string_viewnullptr
• std::invoke_r。
• の改良。std::format
• の転送コンストラクタにデフォルト引数を追加します。std::pair

2021年10月の2021年秋のISO C++標準全体会議の仮想会議の後、新しい機能と欠陥報告が非公式投票で承認されました: ^{[ 152 ]}

• 関数内の非リテラル変数、ラベル、およびgoto文はconstexpr、コンパイル時に評価するには依然として形式が正しくありません。
• 明示的なthisオブジェクトパラメータ。
• 文字セットとエンコーディングの変更。
• 新しいプリプロセッサ:#elifdefおよび。両方のディレクティブはC23 (C 言語アップデート) およびGCC 12#elifndefに追加されました。^{[ 153 ]}
• 初期化文でのエイリアス宣言を許可する。
• 多次元添え字演算子のオーバーロード（例：）。arr[1,2]
• 言語での劣化コピー:または。auto(x)auto{x}
• テキスト書式ライブラリの変更点：
  • Chronoフォーマッターにおけるロケール処理の不具合を修正しました。
  • フォーマット引数で転送参照を使用して、-like 型を許可します。std::generator
• と同等の型エイリアスの追加。^{[ 154 ]}std::pmr::stacktracestd::basic_stacktrace<std::pmr::polymorphic_allocator>
• 範囲ライブラリの変更点：
  • ビューの定義をより洗練させたもの。
  • 関数テンプレートをエイリアステンプレート、およびカスタマイズポイントオブジェクトに置き換えます。std::ranges::istream_viewstd::ranges::istream_viewstd::ranges::wistream_viewstd::views::istream
  • zipレンジアダプタファミリー：
    • zip_view
    • zip_transform_view
    • adjacent_view（そして、と同等である）std::views::pairwisestd::views::adjacent<2>
    • adjacent_transform_view（そして、と同等である）std::views::pairwise_transformstd::views::adjacent_transform<2>
• std::move_only_function。
• のモナド操作。std::optional
• メンバー関数テンプレート。std::basic_string::resize_and_overwrite
• ポインターを印刷しますvolatile（）。volatileT*
• std::byteswap。
• 連想コンテナのための異種消去オーバーロード。
• およびのあらゆる特殊化は、容易に複製可能である。std::spanstd::basic_string_view
• 条件付きnoexcept仕様を追加する。^{[ 155 ]}std::exchange
• 整数型クラスの仕様と使用法の改訂。^{[ 156 ]}
• C ヘッダーの明確化。「ヘッダーは、有効な C++ であることだけが求められるコードでは役に立ちません。したがって、C ヘッダーは、C++ 標準ライブラリによって完全にサポートされ、非推奨ではない部分として提供されるべきですが、多言語相互運用コードではないコードでの使用は推奨されません。[…] この提案により、C ヘッダーはもはや非推奨ではなくなり、将来削除されるという正式な脅威はなくなります。純粋な C++ コードで C ヘッダーを使用することを事実上推奨しないという方針は、規範的な推奨しないという方針として明示的に示されました。」^{[ 157 ]}

2022年2月7日の仮想WG21会議の後、非公式投票で承認された以下の機能が追加されました。^{[ 158 ]}

• ラムダ式の関数呼び出し演算子に許可される属性
• std::expected
• constexprとcmath​cstdlib
• 到達不能なコードをマークする機能
• ranges::to
• 一時オブジェクトへの参照バインディングを検出する型特性
• 作るstd::unique_ptrconstexpr
• ユーザー定義範囲アダプタのパイプサポート
• ranges::iota、そしてranges::shift_leftranges::shift_right
• views::join_with
• ウィンドウ範囲アダプター：およびviews::chunkviews::slide
• views::chunk_by

2022年7月25日の仮想WG21会議の後、非公式投票で承認された以下の機能と不具合報告が追加されました。^{[ 159 ]}

• 式における等号の書き換えを、破壊的変更の度合いを低くした。
• volatile変数へのビット単位の代入に対する非推奨措置を元に戻しました。
• プリプロセッサディレクティブを追加しました#warning。
• エンコードできないワイド文字リテラルと複数文字のワイド文字リテラルを削除しました。
• 複合文の末尾にラベルを表示できるようにしました。
• 8進数、16進数、および汎用文字名に対して、中括弧で囲まれたエスケープシーケンスを追加しました。
• 関数はconstexpr定数式であってはならない。
• C++20から一部の暗黙的なムーブ規則を簡略化し、右辺値参照を返す際に暗黙的なムーブを許可しました。
• Unicode文字を名前で指定する方法を追加します。たとえば、U'\N{LATINCAPITALLETTERAWITHMACRON}'// Equivalent to U'\u0100'
• 許可され、ラムダ式になります。operator()static
• 定数式の中に、出所不明のthisポインタや参照が含まれることを許容した。
• 実装が、3 つの標準浮動小数点型に加えて、拡張浮動小数点型を定義できるようにしました。ヘッダーファイル、対応するリテラル接尾辞、またはを介し​​てアクセスできるこれらの拡張型に対して、型エイリアスstd::float16_t、std::float32_t、std::float64_t、を追加しました。また、浮動小数点数を引数として取るさまざまな標準ライブラリ関数にオーバーロードを追加しました。std::float128_tstd::bfloat16_t<stdfloat>f16f32f64f128bf16F16F32F64F128BF16
• コンパイラが指定された式を真とみなして最適化できるようにする属性を追加しました。[[assume(expression)]]
• UTF-8ソースファイルのサポートを必須とし、ソースファイルの移植性の高いエンコーディングを提供するようにした。
• 配列とcharをUTF-8文字列リテラルで初期化することを許可しました。unsignedchar
• wchar_t拡張文字セットのすべての文字をエンコードできるという要件を削除し、事実上、ワイド文字列リテラルにUTF-16を使用できるようにしました。
• std::mdspanに類似した多次元配列ビューを追加しましたstd::span。
• flat_mapそして、flat_set標準ライブラリに追加されました。
• 標準出力に書式付きテキストを出力するための関数と関数を追加しました。std::printstd::println
• 標準ライブラリをインポートするためにstd、指定されたモジュールを指定します。std.compat
• 排他モードのサポートを追加しましたfstreams。これは、の「x」フラグに相当しますfopen。
• std::format範囲、タプル、その他のコンテナを扱うことができます。
• 追加したstd::forward_like。
• 移動セマンティクスstd::string::substrを使用しました。
• コルーチンジェネレータを実装する機能を追加しました。std::generatorstd::ranges::input_range
• views::cartesian_product、、、、。​​​views::repeatviews::strideviews::as_constviews::as_rvalue
• 新しいアルゴリズムを追加しました：、、および範囲の折りたたみアルゴリズム。ranges::find_lastranges::contains
• std::tuple他のタプル型オブジェクトとの互換性を確保しました。
• 暗黙的なライフタイムを持つ型に対する、明示的なライフタイム管理。
• およびstd::bitsetの統合オーバーロードを作成し、互換性を持たせました。std::to_charsstd::from_charsconstexpr
• 比較概念に対する移動専用型のサポートを追加します。
• 範囲イテレータを、範囲以外のアルゴリズムへの入力として使用する。
• 移動専用タイプに対応できるよう、可動範囲アダプターを緩和しました。

2022年11月7日のハイブリッドWG21会議の後、非公式投票で承認された以下の機能と不具合報告が追加されました。^{[ 160 ]}

• 許可されている。operator[]static
• 定数式で使用可能な変数であれば、関数static内thread_localに変数を出現させることが許可されます。constexpr
• consteval上位に伝播する、つまり、コンパイル時にのみ呼び出すことができる既存のconstexpr関数が、関数になる。consteval
• 範囲ベースのループのfor範囲初期化子に現れる一時変数の有効期間を、forループ全体をカバーするように延長しました。
• 変数への複合代入（ビット単位だけでなく、すべての複合代入）の非推奨化を元に戻しました。volatile
• のモナド関数。std::expected
• ネイティブUnicode APIを使用する場合は、出力を基となるストリームと同期させます。 ^{[ 161 ]}std::print

2023年2月6日～11日の最終ハイブリッドWG21会議の後、非公式投票で承認された以下の機能と不具合報告が追加されました。^{[ 162 ]}

• Unicode標準を参照。^{[ 163 ]}
• 適切なフラット化のためにイテレータをスタッキングする。^{[ 164 ]}
• views::enumerate
• ビューのマルチパラメータコンストラクタを明示的にする
• リラックスできる範囲はほんの少し
• 改善から逃れるstd::format
• std::format幅推定の改善
• std::format文字数制限を満たす
• 書式設定thread::idとstacktrace
• 性格特性std::is_implicit_lifetime
• std::common_reference_tはstd::reference_wrapper参照型であるべきです
• ユーザーによる特殊化を禁止するstd::allocator_traits
• std::pmr::generator
• 軽蔑するstd::numeric_limits::has_denorm
• std::barrierフェーズ完了は保証します