概要

C++29とは、2029年中に改訂される予定の、C++バージョンの通称である。

このバージョンは、策定中のためC++2dと呼ばれることがある。「(2020年代の4つ目のバージョンが) 202d年にリリースされる」という伏せ字として「d」が使われているが、3年周期に次のバージョンが策定されることが決まっているため、伏せ字になっている年数がずれることはない。

言語機能

変数

文字列

制御構文

関数

クラス

テンプレート

定数式

並行・並列処理

プリプロセッサ

未定義動作

ソースコード

ライブラリ更新の概要

整数

• 任意定義だったstd::intptr_t / std::uintptr_t型を必須定義とする

文字列

• std::format()関数での浮動小数点数の規定の出力形式を修正
  • これまでの既定書式が最短文字数を基準としていたため、100000.0→"1e+05"なのに120000.0→"120000"と一貫していない出力になっていたのを修正
  • また、大きな値で1234567890123456774144のような無意味な桁（garbage digits）がでる問題について、固定表記か指数表記かの切り替え基準を「値の大きさ（指数範囲 [10⁻⁴, 10ⁿ)）」に変更して修正した

ビット操作

• <bit>に、以下のビット操作関数を追加
  • ビット列の並びを反転するstd::bit_reverse()関数
  • 指定した下位ビットパターンを繰り返すstd::bit_repeat()関数
  • 指定したマスクで立っている一のビットを下位に詰めるstd::bit_compress()関数
  • 下位ビットを指定したマスクが立っている位置へ展開するstd::bit_expand()関数
  • 未定義動作にならないビットシフトstd::shl()関数とstd::shr()関数

コンテナ

• std::map / std::unordered_map / std::flat_mapクラスに、std::optional<要素への参照>を返す検索メンバ関数lookup()を追加
• std::ranges::view_interfaceクラスに、境界チェック付きでランダムアクセスをするメンバ関数at()を追加
• std::mdspanクラス向けのアルゴリズムとしてstd::copy()とstd::fill()を追加

メモリ

• <memory>ヘッダに、ポインタのタグ付けを行うstd::pointer_tag_pairクラスとその関連機能を追加

エラーハンドリング

• std::expectedクラスに、エラー値を保持しているかを判定するメンバ関数has_error()を追加
• std::error_codeクラスをstd::format()で出力できるよう、formatter特殊化を追加。あわせて、カテゴリ名とエラーメッセージのエンコーディングが未規定だった問題を修正

並行・並列

• std::threadクラスとstd::jthreadクラスに、スレッド名を設定するname_hintとスタックサイズを設定するstack_size_hintのスレッド属性を追加
• SIMDデータ用に連番を生成するstd::simd::iota変数テンプレートを追加
• <bit>ヘッダと同様に、<simd>ヘッダにも、以下のビット操作関数を追加
  • ビット列の並びを反転するstd::simd::bit_reverse()関数
  • 指定した下位ビットパターンを繰り返すstd::simd::bit_repeat()関数
  • 指定したマスクで立っている一のビットを下位に詰めるstd::simd::bit_compress()関数
  • 下位ビットを指定したマスクが立っている位置へ展開するstd::simd::bit_expand()関数
  • 未定義動作にならないビットシフトstd::simd::shl()関数とstd::simd::shr()関数
• <hazard_pointer>に、複数のハザードポインタをまとめて構築・破棄するstd::make_hazard_pointer_batch()関数とstd::clear_hazard_pointer_batch()関数を追加

非推奨化

• <iostream>において、signed char / unsigned charの入出力を非推奨化。std::int8_t / std::uint8_tの別名として扱われるこれらの型の入出力で、整数型であることを期待して予期せぬ結果を招く可能性があった