C++ 17の新機能は何ですか？
C++ 17は機能が完成したため、大幅な変更はありません。 C++ 17に向けて何百もの提案が出されました。
C++ 17でC++に追加された機能はどれですか。
「C++ 1z」をサポートするC++コンパイラを使用する場合、コンパイラがC++ 17にアップデートされたときに利用できる機能はどれですか。
言語機能
テンプレートと汎用コード
- 関数がテンプレート引数を推論する方法と同じように、コンストラクタはクラスのテンプレート引数を推論できるようになりました
- http://wg21.link/p0433r2http://wg21.link/p0620r0http://wg21.link/p0512r0
- 任意の（型ではないテンプレート引数）型の値を表します。
ラムダ
- それらが修飾されるならば、ラムダは暗黙のうちにconsprxprです。
[*this]{ std::cout << could << " be " << useful << '\n'; }
属性
属性の名前空間を繰り返す必要がないようにするには、 属性内の
usingname__ を使用します。コンパイラは 非標準の属性を認識できないため無視する必要があります になりました。
- C++ 14の文言により、コンパイラは未知のスコープ属性を拒否することができました。
構文の整理
- インライン関数のように
- インスタンスがインスタンス化されている場所をコンパイラが選択します
- static constexpr redeclarationを廃止予定 _、暗黙のうちにインラインになりました。
文字列を含まない単純な
static_assert(expression);throw()）以外のthrowNAME_ 、およびthrow()はnoexcept(true)です。
よりきれいなマルチリターンとフロー制御
- 基本的に、ファーストクラスの
std::tieとautoname__ - 例：
const auto [it, inserted] = map.insert( {"foo", bar} );map::insertが返すitname__から推測された型で、変数insertedname__およびpairname__を作成します。
- Tuple/pair-like＆
std::arraysおよび比較的フラットな構造体で動作します - 標準で実際には 構造化バインディング という名前
- 基本的に、ファーストクラスの
if (init; condition)およびswitch (init; condition)if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)if(decl)をdeclname__が賢明に変換可能ではない場合に拡張します。
- 主にセンチネル、またはbegin iteratorと同じ型ではないend iteratorをサポートしているように見えます。これは、ヌル終了ループなどに役立ちます。
- ほとんど一般的なコードを単純化するために多くの機能を要求されました。
その他の
- 最後に！
- すべての場合ではありませんが、elisionと呼ばれていた「何かを作成している」という構文を、「本物のelision」と区別しています。
（いくつかの）式に対する評価の固定順序 _ _いくつかの 修正
- 関数引数を含まず、関数引数評価インターリーブは禁止されました
- 多くの壊れたコードをうまく動かし、将来の仕事で
.thenを作ります。
順方向進行保証（FPG）（また、 並列アルゴリズム用のFPG ）
- これは、「実装はスレッドを永遠に停止させることはできない」と言っているのでしょうか。
u8'U', u8'T', u8'F', u8'8'文字リテラル（文字列は既に存在します）- ヘッダファイルのインクルードがエラーになるかどうかをテストする
- 実験的な環境から標準的な環境への移行をほぼシームレスにします。
継承されたコンストラクタ いくつかのコーナーケースを修正しました（振る舞いの変更の例については P0136R0 をご覧ください）
図書館の追加：
データ型
- 私がチェックした最後のほとんどいつも空ではない？
- タグ付き共用体型
- {素晴らしい|便利}
- 多分何かを持っている
- とんでもなく便利
- いずれかのコピーを保持しています（コピー可能）
- 文字配列または部分文字列への参照のような
std::string - 二度と
string const&を取りません。また、bajillionの構文解析を速くすることができます。 "hello world"sv- constexpr
char_traits
- 文字配列または部分文字列への参照のような
std::byte彼らが噛むことができる以上のもの。- 整数でも文字でもなく、単なるデータ
ものを起動する
std::invoke- 1つの構文で任意の呼び出し可能オブジェクト（関数ポインタ、関数、メンバポインタ）を呼び出します。標準のINVOKEの概念から.
std::apply- 関数のようなタプルを取り、そのタプルを呼び出しに展開します。
オブジェクト構築に適用される
std::make_from_Tuple、std::applyis_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>は "Fooname__をArgs...で呼び出してRname__と互換性のあるものを取得することができます"です。ここでR=voidはデフォルトです。invoke_result<Foo, Args...>はstd::result_of_t<Foo(Args...)>ですが、どうやら混乱が少ないようですか？
ファイルシステムTS v1
[class.directory_iterator]と[class.recursive_directory_iterator]fstreamname__sは、const path::value_type*文字列と共に、pathname__sと共に開くことができます。
新しいアルゴリズム
for_each_nreducename__transform_reduceexclusive_scaninclusive_scantransform_exclusive_scantransform_inclusive_scanスレッド化の目的で追加され、スレッド化していなくても公開される
スレッディング
- それはあなたがそれを必要としないのであれば、これはより効率的です。
atomic<T>::is_always_lockfree- 一度に複数のミューテックスをロックするときの
std::lockの手間を省きます。
- 一度に複数のミューテックスをロックするときの
- 2014年からリンクされた論文は、古くなっている可能性があります
stdname__アルゴリズムの並列バージョン、および関連機構
（の一部） Library Fundamentals TS v1 上または下でカバーされていない
[func.searchers]と[alg.search]- 探索アルゴリズムと技法
- アロケータのための
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::datastd::begin/endname__のように
emplacename__ファミリーの関数 作成されたオブジェクトへの参照を返すようになりました 。
スマートポインタの変更
unique_ptr<T[]>の修正 およびその他のunique_ptr調整。weak_from_thisとこれから共有するように修正されたもの
その他のstdname__データ型の改善点：
{}のstd::Tuple作成およびその他の改良- TriviallyCopyable reference_wrapper 、パフォーマンスを向上させることができます
その他の
C++ 17ライブラリは C99ではなくC11 に基づいています
将来の標準ライブラリ 用に予約された
std[0-9]+- ほとんどの
stdname__実装にすでに公開されているユーティリティコード
- ほとんどの
- 特殊数学関数
- 科学者はそれらを好むかもしれません
std::clamp()std::clamp( a, b, c ) == std::max( b, std::min( a, c ) )大体
gcdNAME__およびlcmNAME_std::uncaught_exceptions- デストラクタから安全な場合にのみスローしたい場合に必要
std::as_conststd::bool_constant- たくさんの
_vテンプレート変数 std::void_t<T>- テンプレートを書くときに驚くほど便利
std::owner_less<void>std::less<void>と似ていますが、内容に基づいてソートするスマートポインタ用です。
std::chronopolishstd::conjunction、std::disjunction、std::negation公開std::not_fnstdname__内での例外を除く規則- std :: is_contiguous_layout 、効率的なハッシュに便利
- std :: to_chars/std :: from_chars 、高性能、ロケールに依存しない番号変換。最後に、人間が読める形式にシリアライズ/デシリアライズする方法（JSON＆co）
std :: default_order 、（ 一部のコンパイラのABIを破る _名前のマングリングが原因で、削除されました。）std::less上の間接指定.
特性
廃止予定
- 一部のCライブラリ 、
<codecvt>memory_order_consumeresult_of、invoke_resultに置き換えshared_ptr::unique、スレッドセーフではありません
Isocpp.orgは持っています はC++ 14以降の独立した変更点のリストを持っています。それは部分的に略奪されました。
当然のことながらTSの作業は並行して行われるので、次の反復を待たなければならないような、あまり熟していないTSがいくつかあります。次の反復の目標は、以前に計画されていたC++ 20であり、一部の噂が暗示しているC++ 19ではありません。 C++ 1Oは避けられました。
最初のリストは このreddit投稿 と このreddit投稿 から取得しました。リンクはgoogling経由で、または上記のisocpp.orgページから追加されました。
SD-6 feature-testリストから追加のエントリが追加されました。
その次に clangの機能リスト と ライブラリ機能リスト があります。 C++ 17ではなく、C++ 1zなので、これは信頼できるものではないようです。
これらのスライド には他の場所で欠けているいくつかの機能がありました。
「削除されたもの」は尋ねられませんでしたが、C++ 17でC++から削除された（ほとんどが以前は推奨されていなかった）いくつかのことを簡単に説明します。
削除されました：
registerNAME_ 、将来の使用のために予約されているキーワードbool b; ++b;- trigraphs
- それでも必要な場合は、言語の一部ではなく、ソースファイルのエンコーディングの一部になります。
- iosエイリアス
- auto_ptr、古い
<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
- ここで「既存の機能の変更」に更新する必要があります。