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の文言により、コンパイラは不明なスコープ属性を拒否できました。

構文のクリーンアップ

• インライン変数

  • インライン関数のように
  • コンパイラーはインスタンスがインスタンス化される場所を選択します
  • static constexpr redeclarationを廃止し、暗黙的にインライン化しました。

• namespace A::B

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

• ないthrow限りthrow()、そしてそう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ループの一般化

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

• constexprの場合

  • ほとんど一般的なコードを簡素化するために多くの要求された機能。

その他

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

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

• コピーの省略を保証

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

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

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

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

• フォワードプログレスギャランティ（FPG）（また、並列アルゴリズムの FPG ）

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

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

• 型システムの「noexcept」

• __has_include

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

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

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

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

• std::launder、タイプパニングなど

ライブラリの追加：

データ型

• std::variant<Ts...>

  • 私が最後にチェックしたほとんど常に空でない？
  • タグ付きユニオンタイプ
  • {素晴らしい|便利}

• std::optional

  • たぶん何かを持っている
  • 途方もなく便利

• std::any

  • 何でも保持（コピー可能）

• std::string_view

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

• std::byte 彼らがかむことができるよりも多くオフ。

  • 整数でも文字でもなく、データのみ

ものを呼び出す

• std::invoke
  • 1つの構文で任意の呼び出し可能関数（関数ポインター、関数、メンバーポインター）を呼び出します。標準のINVOKEコンセプトから。
• std::apply
  • function-likeとタプルを受け取り、タプルを呼び出しにアンパックします。

• 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...)>明らかに混乱は少ないですか？

ファイルシステムTS v1

• [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、一度に複数のミューテックスをロックしたときに痛みを。

• 並列処理TS v1

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

• hardware _ * _ interference_size

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

• [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

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