質問

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]] オン namespace と enum { erator[[s]] }

• using 属性で を使用すると、属性の名前空間を繰り返す必要がなくなります。

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

  • C++14 の表現では、コンパイラは未知のスコープ付き属性を拒否することができました。

シンタックスクリーンアップ

• インライン変数

• インライン関数と同様

• コンパイラはインスタンスを生成する場所を選択します。

• 非推奨 静的 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 を返します。

• Tuple/pair-likes & で動作します。 std::array と比較的フラットな構造体

• 実際の名称 構造化バインディング 標準では

• if (init; condition) と switch (init; condition)

• if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)

• を拡張する。 if(decl) を使用する場合 decl は賢明にconvertible-to-boolされない。

• 範囲指定型forループの一般化

  • センチネル、または開始イテレータと同じ型でない終了イテレータのサポートが主であるように見えます。

• もしconstexpr

• ほぼ一般的なコードを簡素化するために、多くの要望があった機能です。

その他

• 16進数浮動小数点演算

• オーバーアラインデータに対する動的なメモリ割り当て

• コピーエリジョンを保証する

  • ついに登場!
  • すべての場合ではありませんが、エリシオンと呼ばれていたものを単に作成しただけの構文と、本物のエリシオンとが区別されます。

• 一部の）式の評価順序を修正しました。 一部の 修正

  • 関数引数を含まないが、関数引数評価のインターリーブが禁止された
  • 壊れたコードの束をほとんど動作するようにし、また .then 今後の作業について

• enumの直接リスト初期化

• 前方進展保証（FPG）（以下、「前方進展保証」ともいう。 並列アルゴリズムのためのFPG )

• これは、"実装がスレッドを永遠に停止させないかもしれない"と言っているのではないでしょうか？

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

• 型システムにおける"noexcept"です。

• __has_include

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

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

• 継承されたコンストラクタ は、いくつかのコーナーケースを修正しました ( 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つの構文で任意の callable (関数ポインタ、関数、メンバーポインタ)を呼び出す。 標準的な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...)> が、どうやら紛らわしくない？

ファイルシステムTS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

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

• [fs.ops.funcs]

• fstream で開くことができます。 path と同じように const path::value_type* の文字列を使用します。

新しいアルゴリズム

• 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 アルゴリズム、および関連する機械

• ハードウェア_*_干渉サイズ

(の部分） ライブラリの基礎知識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 datatypeの改良。

• {} の構築 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を破壊する を削除しました)。

• memory_order_consume を使用することを推奨する文言を追加しました。 memory_order_acquire

特徴

• スワップ
• is_aggregate
• has_unique_object_representations

非推奨

• いくつかのC言語ライブラリ ,
• <codecvt>
• result_of に置き換えます。 invoke_result
• shared_ptr::unique スレッドセーフではありません。

Isocpp.orgは には、C++14 からの変更点の独立したリストがあります。

当然ながらTSの作業は並行して行われているので、次のイテレーションを待たなければならない、まだ熟していないTSもあります。 次のイテレーションのターゲットは、一部の噂にあったようなC++19ではなく、以前から計画されていたC++20です。 C++1Oは回避されました。

初期リスト このredditの投稿 と このREDDITポスト というように、ググったり、上記のisocpp.orgのページからリンクを貼っています。

その他のエントリーは以下から引用しています。 SD-6 feature-test リスト。

clangの機能一覧 と ライブラリ機能一覧 は次に略奪される。 C++17ではなくC++1zなので、これは信頼できなさそうです。

このスライドは は、他で欠けている機能がありました。

何が削除されたのか"は問われませんでしたが、C++17でC++から削除されたいくつかのもの(主に?)以前の非推奨のものを簡単にリストアップします。

削除されました。

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

言い直しがありました。 これらがコードに影響を与えるものなのか、それとも単に規格の整理なのかは不明です。

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

• P0505R0 (constexpr chrono)

• P0418R2 (アトム調整)

• P0512R0 (テンプレート引数控除調整)

• P0490R0 (構造化バインディングの調整)

• P0513R0 (に変更）。 std::hash )

• P0502R0 (並列例外)

• P0509R1 (例外処理に関する制限の更新）

• P0012R1 (例外指定を型システムの一部にする）。

• P0510R0 (バリアントに関する制限)

• P0504R0 (オプション/変量/任意のタグ)

• P0497R0 (共有 ptr の調整)

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

• P0521R0 (共有ポインタの使用回数とユニークな変更？)

仕様の変更

• 例外仕様とスロー式

その他の参考資料

• 年別に分類された論文、すべてが採択されたわけではない

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

  • ここは、"既存機能の修正"に更新する必要があります。