C ++ 17は機能が完成したため、大きな変更が発生する可能性はほとんどありません。何百もの提案がC ++ 17のために提案されました。

C ++ 17でC ++に追加された機能はどれですか？

「C ++ 1z」をサポートするC ++コンパイラを使用する場合、コンパイラがC ++ 17に更新されるときに、これらの機能のどれが使用可能になりますか？

言語機能：

テンプレートとジェネリックコード

• クラステンプレートのテンプレート引数の推定

  • 関数がテンプレート引数を推測する方法と同様に、コンストラクターはクラスのテンプレート引数を推測できるようになりました。
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • 任意の（型以外のテンプレート引数）型の値を表します。

• 非型テンプレート引数の修正

• template<template<class...>typename bob> struct foo {}

• （折りたたみ+ ... +式）および改訂

• auto x{8}; は int

• 近代化usingと...とリスト

ラムダ

• constexprラムダ

  • ラムダは、資格がある場合、暗黙的にconstexprです

• *thisラムダでのキャプチャ

  • [*this]{ std::cout << could << " be " << useful << '\n'; }

属性

• [[fallthrough]]、[[nodiscard]]、[[maybe_unused]]属性

• [[attributes]]上のnamespaceSとenum { erator[[s]] }

• using属性に属性の名前空間を繰り返すことを避けるために。

• コンパイラは、認識できない非標準の属性を無視する必要があります。

  • C ++ 14の文言により、コンパイラーは不明なスコープ属性を拒否できました。

構文のクリーンアップ

• インライン変数

  • インライン関数のように
  • コンパイラは、インスタンスがインスタンス化される場所を選択します
  • 静的constexpr再宣言を非推奨にし、暗黙的にインラインになりました。

• namespace A::B

• static_assert(expression);文字列のないシンプル

• throwthrow()、およびでthrow()ある場合を除き、いいえnoexcept(true)。

よりクリーンなマルチリターンおよびフロー制御

• 構造化バインディング

  • 基本的には、ファーストクラスstd::tieとauto
  • 例：
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • 変数itを作成しinserted、それから推定型pairをmap::insert返します。
  • タプル/ペアのようなものstd::arrayと比較的フラットな構造体で動作します
  • 標準で実際に名前が付けられた構造化バインディング

• if (init; condition) そして switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • を賢明にブール値に変換できないif(decl)場合に拡張しdeclます。

• 範囲ベースのforループの一般化

  • ほとんどの場合、センチネル、または開始イテレータと同じタイプではない終了イテレータをサポートしているように見えます。これは、nullで終了するループなどに役立ちます。

• constexprの場合

  • ほぼ一般的なコードを単純化するために多くの要求された機能。

その他

• 16進浮動小数点リテラル

• オーバーアラインされたデータの動的メモリ割り当て

• コピーの省略の保証

  • 最後に！
  • すべての場合ではありませんが、エリジオンと呼ばれる「何かを作成するだけ」の構文と「本物のエリジオン」を区別します。

• いくつかの変更を加えた（いくつかの）式の評価順序を修正しました

  • 関数の引数は含まれていませんが、関数の引数の評価インターリーブは現在禁止されています
  • 壊れたコードの束を主に機能させ.then、将来の作業を可能にします。

• 直接リスト-列挙型の初期化

• フォワードプログレス保証（FPG）（また、並列アルゴリズムのFPG ）

  • これは「実装がスレッドを永久に停止させないかもしれない」と言っていると思いますか？

• u8'U', u8'T', u8'F', u8'8' 文字リテラル（文字列はすでに存在します）

• 型システムの「noexcept」

• __has_include

  • ヘッダーファイルのインクルードがエラーになるかどうかをテストします
  • 実験から標準への移行をほぼシームレスにします

• ポインタ変換の配列の修正

• 継承されたコンストラクターがいくつかのコーナーケースを修正しました（動作の変更の例については、P0136R0を参照してください）

• 継承による集約初期化。

• std::launder、型のパンニングなど

ライブラリの追加：

データ型

• std::variant<Ts...>

  • 私が最後にチェックしたほとんど-常に空ではない？
  • タグ付き共用体タイプ
  • {すごい|便利}

• std::optional

  • 多分何かの1つを保持します
  • ばかばかしいほど便利

• std::any

  • 何かの1つを保持します（コピー可能です）

• std::string_view

  • std::string 文字配列または部分文字列への参照のように
  • 二度と服用しないでくださいstring const&。また、数十億倍の速度で解析を行うことができます。
  • "hello world"sv
  • constexpr char_traits

• std::byte 彼らが噛むことができるより多くをオフにします。

  • 整数でも文字でもない、データだけ

ものを呼び出す

• std::invoke
  • 1つの構文で任意の呼び出し可能オブジェクト（関数ポインター、関数、メンバーポインター）を呼び出します。標準のINVOKEコンセプトから。
• std::apply
  • 関数のようなタプルを取得し、タプルを呼び出しに解凍します。

• std::make_from_tuple、std::applyオブジェクト構築に適用

• is_invocable、is_invocable_r、invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0604r0.html
  • 非推奨 result_of
  • is_invocable<Foo(Args...), R>は「で呼び出しFooてArgs...互換性のあるものを入手できますかR」R=voidです。これはデフォルトです。
  • invoke_result<Foo, Args...>ですstd::result_of_t<Foo(Args...)>が、明らかに少ない混乱？

ファイルシステムTSv1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] そして [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreamsはpath、const path::value_type*文字列だけでなく、sでも開くことができます。

新しいアルゴリズム

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• スレッド化の目的で追加され、スレッド化されたものを使用していない場合でも公開されます

スレッド化

• std::shared_mutex

  • 時間制限がないため、必要がない場合はより効率的になります。

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • いくつか保存しstd::lock、一度に複数のミューテックスをロックしたときに痛みを。

• 並列処理TSv1

  • 2014年のリンクされた論文は、古くなっている可能性があります
  • stdアルゴリズムの並列バージョン、および関連する機構

• ハードウェア_ * _interference_size

（の一部）Library Fundamentals TSv1は上または下でカバーされていません

• [func.searchers] そして [alg.search]
  • 検索アルゴリズムと手法

• [pmr]

  • アロケーターのようなポリモーフィックアstd::functionロケーター
  • そしてそれに伴ういくつかの標準的なメモリリソース。
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample、範囲からのサンプリング？

コンテナの改善

• try_emplace そして insert_or_assign

  • 偽の移動/コピーが悪い場合に、より良い保証を提供します

• スプライシングのためmap<>、unordered_map<>、set<>、およびunordered_set<>

  • コンテナ間でノードを安価に移動します。
  • コンテナ全体を安価にマージします。

• .data()文字列の非定数。

• 非会員std::size、std::empty、std::data

  • のようにstd::begin/end

• コンテナでの最小限の不完全な型のサポート

• 連続イテレータ「概念」

• constexpr イテレータ

• emplace機能の家族は今作成されたオブジェクトへの参照を返します。

スマートポインタの変更

• unique_ptr<T[]>修正およびその他のunique_ptr調整。
• weak_from_this そしてこれから共有するように修正されたものもあります

その他のstdデータ型の改善：

• {}の建設std::tupleおよびその他の改善
• TriviallyCopyable reference_wrapperは、パフォーマンスを向上させることができます

その他

• C ++ 17ライブラリは、C99ではなくC11に基づいています

• 将来の標準ライブラリstd[0-9]+用に予約済み

• destroy(_at|_n)、uninitialized_move(_n)、uninitialized_value_construct(_n)、uninitialized_default_construct(_n)

  • std公開されているほとんどの実装ですでにユーティリティコード
• 特別な数学関数
  • 科学者はそれらを好きかもしれません
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) 大まかに
• gcd そして lcm
• std::uncaught_exceptions
  • デストラクタから安全な場合にのみ投げたい場合に必要
• std::as_const
• std::bool_constant
• たくさんの_vテンプレート変数
• std::void_t<T>
  • テンプレートを書くときに驚くほど便利
• std::owner_less<void>
  • のようstd::less<void>ですが、コンテンツに基づいてソートするスマートポインタ用です
• std::chrono 研磨
• std::conjunction、std::disjunction、std::negation暴露
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• 内のnoexceptのルール std
• std :: is_contiguous_layout、効率的なハッシュに役立ちます
• std :: to_chars / std :: from_chars、高性能、ロケールにとらわれない数値変換。最後に、人間が読める形式にシリアル化/逆シリアル化する方法（JSON＆co）
• std :: default_order、間接参照std::less。（名前マングリングのために一部のコンパイラのABIを壊し、削除されました。）

特性

• スワップ
• is_aggregate
• has_unique_object_representations

非推奨

• いくつかのCライブラリ、
• <codecvt>
• memory_order_consume
• result_of、 交換された invoke_result
• shared_ptr::unique、それはあまりスレッドセーフではありません

Isocpp.orgには、C ++ 14以降の変更の独立したリストがあります。部分的に略奪されています。

当然、TSの作業は並行して継続されるため、次の反復を待たなければならない、熟していないTSがいくつかあります。次の反復のターゲットは、以前に計画されたC ++ 20であり、一部の噂が示唆するC ++ 19ではありません。C ++ 1Oは回避されました。

このreddit投稿とこのreddit投稿から取得した最初のリスト。リンクは、グーグルまたは上記のisocpp.orgページから追加されています。

SD-6機能テストリストから略奪された追加のエントリ。

clangの機能リストとライブラリ機能リストが次に略奪されます。これはC ++ 17ではなくC ++ 1zであるため、信頼できないようです。

これらのスライドには、他の場所で欠落しているいくつかの機能がありました。

「何が削除されたか」は尋ねられませんでしたが、C ++ 17でC ++から削除されたいくつかの項目（（ほとんど？）以前は非推奨）の短いリストを次に示します。

削除：

• register、将来の使用のために予約されたキーワード
• bool b; ++b;
• 三重音字
  • それでも必要な場合は、言語の一部ではなく、ソースファイルのエンコーディングの一部になります。
• iOSエイリアス
• auto_ptr、古い<functional>もの、random_shuffle
• のアロケータ std::function

言い換えがありました。これらがコードに影響を与えるのか、それとも標準のクリーンアップにすぎないのかはわかりません。

上記にまだ統合されていない論文：

• P0505R0（constexprクロノ）

• P0418R2（アトミック微調整）

• P0512R0（テンプレート引数の控除の微調整）

• P0490R0（構造化されたバインディングの微調整）

• P0513R0（に変更std::hash）

• P0502R0（並列例外）

• P0509R1（例外処理の制限の更新）

• P0012R1（例外仕様を型システムの一部にする）

• P0510R0（バリアントの制限）

• P0504R0（オプション/バリアント/任意のタグ）

• P0497R0（共有ptr調整）

• P0508R0（構造化バインディングノードハンドル）

• P0521R0（共有ポインターの使用数と一意の変更？）

仕様変更：

• 例外仕様とスロー式

さらなる参照：

• 年ごとにグループ化された論文。すべてが受け入れられるわけではありません

• https://isocpp.org/files/papers/p0636r0.html

  • ここで「既存の機能の変更」に更新する必要があります。