トップQs
タイムライン
チャット
視点
C++20
C++17の次期バージョンとされるC++の非公式名称 ウィキペディアから
Remove ads
C++20は、プログラミング言語 C++ の標準規格 ISO/IEC 14882:2020 [1]の通称である[2]。C++17 の次のバージョンである。この規格は、2020年2月にプラハで開催された会議でWG21によって技術的に最終決定[3]され[4]、2020年9月4日に承認され、2020年12月に公開された。
C++20は、C++14やC++17と比べ新たな主要機能が追加されている[5]。以下は、C++20に受け入れられるか、C++20に含めることが検討されている変更の一部のリストである[6][要更新]。
新機能
要約
視点
C++20では多くの新機能が導入された。次のリストは完全ではない可能性がある。
言語
- コンセプト[7]（簡潔な構文による）[8]。
- モジュール[9]
- 指示付き初期化子[10] （C99の機能、および一般的なG++拡張に基づく）
- ラムダのキャプチャとしての
[=, this][11] - ラムダのテンプレートパラメータリスト[12]
- 「宇宙船演算子」
operator <=>による三方比較 - 範囲ベース
for文内における追加変数の初期化[13] - 未評価コンテキストにおけるラムダ[14][15]
- デフォルトの構築可能で割り当て可能なステートレスラムダ[16]
- ラムダinit-captureでパック拡張を許可[17]
- テンプレートパラメータとしての文字列リテラル[18]
- 特定の状況で
typenameの必要性が除去される[19] - 新しい標準属性
[[no_unique_address]][20] 、[[likely]]および[[unlikely]][21] - 条件付き
explicit、明示的修飾子がブール式に依存できるようにする[22] - 拡張された
constexpr：仮想関数[23]、共用体[24]、try および catch[25]、dynamic_cast および typeid[26]、std::pointer_traits[27] - 新しい
constevalキーワードを使用した即時関数[28] - 符号付き整数は、 2の補数を使用して表されるように定義された（符号付き整数オーバーフローは未定義の動作のままである） [29]
- 改訂された記憶モデル[30]
- 構造化バインディングのさまざまな改善（ラムダキャプチャとの相互作用、静的およびthread_localストレージ期間） [31][32]
- コルーチン [33]
- スコープ付き列挙型における
using[34] constinitキーワード[35]
ライブラリ
- 範囲（1つの範囲の提案）[36]
- 配列の
std::make_sharedおよびstd::allocate_shared[37] - アトミックスマートポインター（
std::atomic<shared_ptr<T>>やstd::atomic<weak_ptr<T>>）[38] - ポインタを生ポインタに変換する
std::to_address[39] <chrono>へのカレンダーとタイムゾーンの追加[40]- 連続した配列へのビューを提供する
std::span（std::string_viewに類似するが、spanは参照シーケンスを変更可能である） [41] <version>ヘッダー[42]- オブジェクト表現の型キャストに使用される
std::bit_cast<>。memcpy()よりも冗長度が低く、コンパイラの内部を利用しやすくなっている[43]。 - 機能テストマクロ[44]
- さまざまなconstexprライブラリビット[45]
- デフォルトの初期化によるスマートポインタの作成[46]
std::map::containsメソッド[47]
非推奨の機能
新しい（および変更された）キーワード
concept、constinit[35]、consteval、co_await、co_return、co_yield、requires（加えてexportの意味の変更）、およびchar8_tといった多くの新しいキーワード（および新規の「宇宙船演算子」operator <=>）が追加された[50]。また、C++20以降、explicitは式を取ることができるようになった[51]。volatileキーワードのほとんどの用法は廃止予定となった[49]。
キーワードに加えて、importやmoduleなど、特別な意味を持つ識別子が新しく加わった。
C++20で新しく追加された属性：[[likely]]、[[unlikely]]、および[[no_unique_address]][52]。
Remove ads
変更の歴史
要約
視点
2017年7月（トロント）にC++20ワーキングドラフトに適用された変更は次のとおりである：[53]
- コンセプト
- 指示付き初期化子
- ラムダのキャプチャとしての
[=, this] - ラムダのテンプレートパラメータリスト
- 配列の
std::make_sharedおよびstd::allocate_shared
2017年11月の秋の会議（アルバカーキ）でC++20ワーキングドラフトに適用された変更は次のとおりである：[54][55]
- 「宇宙船演算子」
operator <=>を使用した三方比較 - 範囲ベースの
forステートメント内の追加変数の初期化 - 未評価コンテキストにおけるラムダ
- デフォルトの構築可能で割り当て可能なステートレスラムダ
- ラムダinit-captureでパック拡張を許可する
- テンプレートパラメータとしての文字列リテラル
- アトミックスマートポインター（
std::atomic<shared_ptr<T>>やstd::atomic<weak_ptr<T>>） - ポインタを生ポインタに変換する
std::to_address
2018年3月（ジャクソンビル）のC++20ワーキングドラフトに適用された変更は次のとおりである：[56]
- 特定の状況における
typenameの必要性の除去[19] - 新しい標準属性
[[no_unique_address]][20]、[[likely]]および[[unlikely]][21] <chrono>へのカレンダーとタイムゾーンの追加[40]- 連続した配列へのビューを提供する
std::span（std::string_viewと類似するが、spanは参照されたシーケンスを変更可能である）[41] <version>ヘッダ[42]
2018年6月の夏の会議（Rapperswil）でC++20ワーキングドラフトに適用された変更は次のとおりである：[57]
- 契約を今後の標準に延期[58]
- 機能テストマクロ[44]
memcpy()より冗長性が低く、コンパイラの内部を利用する能力が高いオブジェクト表現のビットキャスト[43]- 明示的修飾子がブール式に依存することを可能にする条件付き
explicit[22] - constexpr仮想関数[23]
2018年11月の秋の会議（サンディエゴ）でC++20ワーキングドラフトに適用された変更は次のとおりである：
- 範囲（1つの範囲の提案）
- コンセプトの簡潔な構文
- constexpr union、try および catch、dynamic_cast、typeid、std::pointer_traits。
- さまざまなconstexprライブラリビット[45]
- 新しい
constevalキーワードを使用した即時関数[28] - 符号付き整数は、2の補数を使用して表されるように定義された（符号付き整数オーバーフローは未定義の動作のままである）[29]
契約機能の改善（契約条件でのアクセス制御）[59] （今後の標準に延期された機能のリストを参照）- 改訂された記憶モデル[30]
- デフォルト初期化によるスマートポインタの作成[46]
2019年2月の冬の会議（コナ）でC++20ワーキングドラフトに適用された変更は次のとおりである：[60][61]
- コルーチン[33] – Clang 5ですでに実験的にサポートされていた[62]
- モジュール[9] – Clang 5[63]、Visual Studio 2015 Update 1[64]、GCC[65]で試験的にサポートされていた[65]
- 構造化バインディングのさまざまな改善（ラムダキャプチャ、静的およびthread_localストレージ寿命との相互作用）[31][32]
2019年7月の夏の会議（ケルン）でC++20ワーキングドラフトに適用された変更は次のとおりである[66][67][68]：
- 契約が削除された（今後の標準に延期された機能のリストを参照） [69]
- 添え字式でのカンマ演算子の使用は非推奨となった[48]
- constexprへの追加（自明なデフォルト初期化[70]、未評価のインラインアセンブリ[71]）
- スコープ付き列挙型のusing[34]
- 宇宙船演算子へのさまざまな変更[72][73]
- DR：モジュールへの軽微な変更[74]
constinitキーワード- コンセプトに対する変更（
-> Typereturn-type-requirements の削除[75]） - （ほとんどの）
volatileを非推奨とした[49] - DR：コンストラクタに対する
[[nodiscard]]の効果[76] - 新しい標準ライブラリのコンセプトはPascalCaseを使用しないこととなった（ほかの標準ライブラリと同様、standard_caseを使用する）[77]
- テキストのフォーマット[78][79]（chronoの統合[80]、特殊なケースにおける修正[81]）
- ビット操作[82]
constexpr INVOKE[83]- 数学定数[84]
- アトミックへの一貫性の追加（
std::atomic_ref<T>[85]、std::atomic<std::shared_ptr<T>>[86]） <=>演算子を標準ライブラリに追加[87]- 標準ライブラリのヘッダーユニット[88]
- 同期機能[89]（マージ元：効率的なアトミック待機とセマフォ[90]、ラッチとバリア[91]、atomic_flagの改善[92]、C++を小さいCPUで実装できないようにしない[93] ）
std::source_location[94]- constexprコンテナ（
std::string[95]、std::vector[96]） std::stop_tokenおよびjoinされるスレッド（std::jthread）[97]
2019年11月の秋の会議（ベルファスト）でのNBコメントの解決中に適用された変更には以下を含む：[98][99][100]
- 非タイプテンプレートパラメータ（NTTP）のクラスタイプ：テンプレート引数の等価性の意味が
operator==から分離されたため、ユーザー定義のoperator==許可しないという制限がなくなった[101]。これにより、クラスタイプのNTTPの配列メンバーも許可される。 - 浮動小数点型[102]、ポインターと参照、および共用体とunionライクなクラス（無名共用体を含むクラス型）がNTTPとして許可されるようになった。
- 関数IDに末尾のrequire句も含まれるようになった（P1971）
- 制約された非テンプレート関数が削除された
<compare>がフリースタンディング実装で利用可能になった[103]std::spanのtypedefは、標準ライブラリの他の部分と一致するようにsize_typeからindex_typeに変更された[104]- コンセプトの名前が、ケルンでの会議の結果に従って変更された。
- 範囲に対するいくつかの修正と追加（P1456R1：移動のみのビュー[105]、P1391R4：
std::string_viewに対する範囲コンストラクタ（文字のイテレーターペアからのコンストラクタ）[106]、P1394R4：std::span<ref>に対する範囲コンストラクタ[107]、P1870R1：forwarding-range<T>が微妙すぎる[108]） std::atomic<T>の初期化が変更され、デフォルトおよびリスト初期化で動作するようになった[109]。std::latchおよびstd::barrierは、新しいメンバ関数max()を通じて実装がサポートするスレッドの最大数を報告できるようになった。std::weak_equalityとstd::strong_equalityは使用されなくなったため削除された<numeric>内のアルゴリズムがconstexprとなった。- C++20の新機能または変更された機能の不足している機能テストマクロが追加されました[110]
Remove ads
技術仕様として公開されている機能
今後の標準に延期された機能
脚注
関連項目
外部リンク
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads