C++23

C++標準の現在のリビジョン。

新しい言語機能

• 新規 言語機能テストマクロ
• 明示的オブジェクトパラメータ , 明示的オブジェクトメンバ関数 （別名「 this の推論」）( P0847R7 )
• 多次元添字演算子 （例： v [ 1 , 3 , 7 ] = 42 ; ）( P2128R6 )
• static operator [ ] ( P2589R1 ), static operator ( ) 、およびstaticラムダ ( P1169R4 )
• auto ( x ) および auto { x } ： 言語組み込みのdecay-copy ( P0849R8 )
• 新属性 [[ assume ( expression )]] による仮定 ( P1774R8 )
• ラムダ式 への属性適用 ( P2173R1 )
• オプションの 拡張浮動小数点型 ： std :: float { 16 | 32 | 64 | 128 } _t 、および std:: bfloat16_t ( P1467R9 )
• 新プリプロセッサディレクティブ： #elifdef , #elifndef ( P2334R1 )、および #warning ( P2437R1 )
• リテラル接尾辞 ' Z '/' z ' （ signed ） std:: size_t リテラル用 ( P0330R8 )、例： auto ouz = 0uz ;
• 行継続前の空白文字トリミング ( P2223R2 )
• 簡略化された暗黙的move ( P2266R3 )
• 範囲ベースforループ初期化子内の一時オブジェクトの寿命延長 ( P2718R0 )
• 継承コンストラクタからのCTAD ( P2582R1 )
• 複合文末尾のラベル ( P2324R2 )、例：
  

void f ( int & x )
{
if ( x )
goto END ;
x = 42 ;
END :
}

• 初期化文内でのエイリアス宣言 ( using ) ( P2360R0 )、例:
  

for ( using T = int ; T e : v )
/* ... */

• lambda式における () の省略をより柔軟に ( P1102R2 )
• bool への縮小変換を static_assert および if constexpr で文脈依存変換として許可 ( P1401R5 )
• 非静的クラスデータメンバーの宣言順レイアウトを規定化 ( P1847R4 )
• テキストエンコーディングの変更:
  • 文字セットとエンコーディング ( P2314R4 )
  • 一貫性のある文字リテラルエンコーディング ( P2316R2 )
  • 名前付きユニバーサル文字エスケープ , 例: " \N {CAT FACE}" が "🐱" に対応 ( P2071R2 )
  • 区切り記号付きエスケープシーケンス , 例: "\o{7777}" , "\x{C0DE}" , "\u{CAFE}" ( P2290R3 )
  • ポータブルなソースファイルエンコーディングとしてのUTF-8サポート ( P2295R6 )
• if consteval / if not consteval ( P1938R3 )
• constexpr の変更:
  • constexpr 関数内での非リテラル変数、ラベル、および goto の許可 ( P2242R3 )
  • constexpr 関数内での定数式における static および thread_local 変数の許可 ( P2647R1 )
  • constexpr 関数がリテラル型でない戻り値型とパラメータ型を持つことを許可 ( P2448R2 )
  • コア定数式の要件を満たさない呼び出しを持つ constexpr 関数の扱い ( P2448R2 )

新規ライブラリ機能

• New ライブラリ機能テストマクロ

新規モジュール

• std および std.compat ( P2465R3 )

新規ヘッダー

• <expected>
• <flat_map>
• <flat_set>
• <generator>
• <mdspan>
• <print>
• <spanstream>
• <stacktrace>
• <stdfloat>

C互換性ヘッダー：

• <stdatomic.h> ( P0943R6 )

ライブラリ機能

汎用ユーティリティ

• std:: expected : 関数の結果を返す新しい語彙型 ( <expected> ) ( P0323R12 , P2549R1 )
• std:: move_only_function : ムーブのみ可能な呼び出し可能ラッパー ( P0288R9 )
• std:: bind_back : 呼び出しラッパー ( P2387R3 )
• std:: byteswap : バイト順序を反転 ( P1272R4 )
• std:: forward_like ( P2445R1 )
• std:: invoke_r : Callable オブジェクトを呼び出し ( P2136R3 )
• std:: to_underlying : enum の基となる値を取得するユーティリティ関数 ( P1682R3 )
• std:: unreachable : 到達不能コードをマークする関数 ( P0627R6 )
• std:: optional のためのモナド演算 ( transform , or_else , and_then ) ( P0798R8 ) および std:: expected ( P2505R5 )
• std:: tuple が他のタプルライクオブジェクトと互換性を持つ ( P2165R4 )
• std:: pair の転送コンストラクタへのデフォルト引数の追加 ( P2718R0 )
• std:: reference_wrapper のための参照型を生成する std:: basic_common_reference の特殊化 ( P2655R3 )

コルーチンライブラリ

• std:: generator : 同期型 コルーチン レンジジェネレータ ( P2502R2 , P2787R0 )

診断

• Stacktraceライブラリ ( P0881R7 )

アルゴリズム、イテレータ、およびレンジ

• 新たなレンジアダプタ:
  • views:: adjacent および views:: adjacent_transform ( P2321R2 )
  • views:: as_const ( P2278R4 )
  • views:: as_rvalue ( P2446R2 )
  • views:: cartesian_product ( P2374R4 )
  • views:: chunk_by ( P2443R1 )
  • views:: chunk ( P2442R1 )
  • views :: enumerate ( P2164R9 )
  • views:: join_with ( P2441R2 )
  • views:: repeat ( P2474R2 )
  • views:: slide ( P2442R1 )
  • views:: stride ( P1899R3 )
  • views:: zip , views:: zip_transform ( P2321R2 )
• ranges:: range_adaptor_closure : プログラム定義のレンジアダプタクロージャのためのヘルパー ( P2387R3 )
• ranges:: to : 範囲変換関数 ( P1206R7 )
• 新たな制約付き範囲アルゴリズム:
  • ranges:: starts_with および ranges:: ends_with ( P1659R3 )
  • ranges:: contains および ranges:: contains_subrange ( P2302R4 )
  • ranges:: find_last , ranges:: find_last_if , および ranges:: find_last_if_not ( P1223R5 )
  • ranges:: iota , ranges:: shift_left , および ranges:: shift_right : 非制約アルゴリズムの範囲対応版 ( P2440R1 )
  • ranges:: fold_left など: 範囲畳み込みアルゴリズム ( P2322R6 )
• 定数イテレータ、センチネル、および範囲の修正、すなわち、 ranges:: cbegin および他の類似ユーティリティが定数イテレータを返すことは、浅い const ビュー（例えば std:: span ）に対しても完全に保証されるべきである（ P2278R4 ）
• 一部のビューのマルチパラメータコンストラクタをexplicitにすること ( P2711R1 )
• 非レンジアルゴリズムへの入力としてのレンジイテレータ ( P2408R5 )
• ムーブオンリー型を許可するためのレンジアダプタの緩和 ( P2494R2 )

コンテナ

• std:: mdspan : 非所有権多次元配列参照 ( P0009R18 , P2599R2 , P2604R0 , P2613R1 , P2763R1 )
• 互換性のある他のレンジからのコンテナの構築可能性と代入可能性 ( P1206R7 )
• std:: flat_set , std:: flat_multiset ( P1222R4 ), std:: flat_map , std:: flat_multimap ( P0429R9 ): フラットセットとフラットマップ - 基盤となるソート済みランダムアクセスコンテナをラップするコンテナアダプタ
• std:: stack および std:: queue でのイテレータペア構築の許可 ( P1425R4 )
• 連想コンテナの異種型削除オーバーロード ( P2077R2 )
• コンテナ推論ガイドにおけるアロケータの非推論コンテキスト ( P1518R2 )
• std:: span および std:: basic_string_view の自明コピー可能要件 ( P2251R1 )

コンパイル時サポート

• constexpr 対応:
  • std:: bitset ( P2417R2 )
  • std:: unique_ptr ( P2273R3 )
  • std::type_info::operator== ( P1328R1 )
  • 一部の <cmath> 関数 ( P0533R9 )
  • std:: to_chars および std:: from_chars の整数型オーバーロード ( P2291R3 )
• メタプログラミング ユーティリティ:
  • 比較コンセプトへのムーブオンリー型サポートの追加 ( P2404R3 )
  • 型特性:
    • std:: is_scoped_enum ( P1048R1 )
    • std:: is_implicit_lifetime ( P2674R1 )
    • std:: reference_constructs_from_temporary および std:: reference_converts_from_temporary ( P2255R2 )

メモリ管理

• std:: out_ptr および std:: inout_ptr : C言語連携のためのスマートポインタアダプタ ( P1132R7 )
• std :: allocate_at_least および std :: allocator :: allocate_at_least ( P0401R6 )
• std:: start_lifetime_as : 暗黙的ライフタイム型のための明示的ライフタイム管理関数 ( P2590R2 )
• std:: allocator_traits のユーザー特殊化の禁止 ( P2652R2 )

文字列とテキスト処理

• 文字列型における新規メンバ関数と変更点:
  • std :: basic_string :: contains および std :: basic_string_view :: contains ( P1679R3 )
  • std:: basic_string および std:: basic_string_view における nullptr からの構築の無効化 ( P2166R1 )
  • std:: basic_string_view の明示的範囲コンストラクタ ( P1989R2 )
  • std :: basic_string :: resize_and_overwrite ( P1072R10 )
  • 効率的なスライシングのための std :: basic_string :: substr の右辺値参照オーバーロード ( P2438R2 )
• 範囲、タプル、文字と文字列のエスケープ表現、 std:: thread :: id および スタックトレース のフォーマット機能 ( P2286R8 ) ( P2585R1 ) ( P2693R1 )

I/Oと出力

• ヘッダー <print> で提供される書式付き出力関数 std:: print および std:: println ( P2093R14 )
• ヘッダー <spanstream> で提供される spanstream ライブラリ ( std:: span ベースの文字列ストリーム) ( P0448R4 )
• std :: fstreams での排他モードのサポート ( P2467R1 )
• volatile T * の出力サポート: std :: basic_ostream :: operator << ( const volatile void * ) ( P1147R1 )

廃止された機能

削除された機能

• ガベージコレクションのサポートと到達可能性ベースのリーク検出。 ( P2186R2 )
• 混合ワイド文字列リテラルの 連結 サポート、例: const auto * no = u "q" U "p" は不適格。 ( P2201R1 )
• エンコード不可能なワイド文字リテラルと複数文字ワイド文字リテラル、例: wchar_t x = 'db' は不適格。 ( P2362R3 )

非推奨機能

• std:: aligned_storage および std:: aligned_union ( P1413R3 )
• std:: numeric_limits :: has_denorm ( P2614R2 )

撤回された非推奨事項

• operator, （コンマ演算子）が添字式で使用可能（ただし、オーバーロード可能な多次元添字 operator [ ] をサポートするために意味論が変更されました）。
• 一部のCヘッダー（Cとの互換性のための対応する <*.h> ヘッダー）( P2340R1 )

不具合報告

コンパイラサポート

主な記事: C++23 コンパイラサポート

C++23 コア言語機能

C++23 ライブラリ機能

`/`$`タグ内のテキスト（`std::out\_ptr()`、`std::inout\_ptr()`）は翻訳せず保持\; -\; C++固有の用語は翻訳せず保持\; -\; 数値、リンク、書式は完全に保持$

、$タグ内のテキストは翻訳せず、元のフォーマットを保持します。$

`/`$`タグ内のテキスト、C++固有の用語は翻訳せず、元のフォーマットを保持しています。このテーブル行には翻訳対象となる自然言語テキストが含まれていません。$

* - 星印が付いたセルにマウスを重ねると * 追加のポップアップ注釈が表示されます。
DR nn - 「DR」に続く数字 nn は欠陥報告書が適用される対象C++リビジョンを示します（例：DR20 → C++20）。

外部リンク