C++17

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

バージョン

C++98

C++03

C++11

C++14

C++17

C++20

C++23

C++26

現在の状況

 

C++17は、マイナーバージョンであるC++14に続くメジャーバージョンであり、新しい言語機能とライブラリ機能が導入されています。この規格は2017年12月に公開されました。

以下の機能がC++17にマージされました

• ファイルシステムTSから： ファイルシステムライブラリ。
• Library fundamentals v1 TSから：std::any、std::optional、std::string_view、std::apply、多相アロケータ、検索子などの機能。
• Library fundamentals v2 TSから：std::void_t、std::conjunction、std::disjunction、std::negation、std::not_fn、std::gcd、std::lcm。
• Parallelism v1 TSから：実行ポリシー、std::reduce、std::inclusive_scan、std::exclusive_scanを含む機能。ただしexception_listは削除されました。
• Mathematical special functions ISから：数学特殊関数。
• C11から：std::aligned_alloc、std::timespec_get。

廃止された機能

削除された機能

• std::auto_ptr,
• 非推奨の関数オブジェクト,
• std::random_shuffle,
• std::unexpected,
• 廃止されたiostreamのエイリアス、
• トライグラフ,
• registerキーワード、
• boolのインクリメント,
• 動的例外仕様

非推奨の機能

• std::iterator,
• std::raw_storage_iterator,
• std::get_temporary_buffer,
• std::is_literal_type,
• std::result_of,
• <codecvt>のすべて

新しい言語機能

• u8文字リテラル
• noexceptが型システムの一部に
• 新しい評価順序のルール
• *thisのラムダキャプチャ

• constexpr

  コンパイル時if constexpr

  constexprラムダ

• 変数

  インライン変数

  構造化束縛

  ifとswitchの初期化子

  保証されたコピー省略

  一時オブジェクトの物質化

• テンプレート

  畳み込み式 ( ... )

  クラステンプレートの引数推論 tuple t(4, 3, 2.5)

  autoで宣言された非型テンプレートパラメータ

• 名前空間

  単純化されたネストした名前空間

  複数の名前を宣言するusing宣言

  属性の名前空間の繰り返しが不要に

• 新しい属性:
  • [[fallthrough]]
  • [[maybe_unused]]
  • [[nodiscard]]
• __has_include

新しいヘッダ

• <any>
• <charconv>
• <execution>
• <filesystem>
• <memory_resource>
• <optional>
• <string_view>
• <variant>

新しいライブラリ機能

ユーティリティ型

• std::tuple:
  • std::apply
  • std::make_from_tuple
  • 推論ガイド
• std::any
• std::optional
• std::variant
• 検索子
• std::as_const
• std::not_fn

メモリ管理

• 未初期化メモリのアルゴリズム
  • std::destroy_at
  • std::destroy
  • std::destroy_n
  • std::uninitialized_move
  • std::uninitialized_value_construct
• weak_from_this
• std::pmr::memory_resource と std::polymorphic_allocator
• std::aligned_alloc
• 透過的なstd::owner_less
• std::shared_ptrの配列サポート
• 明示的なアライメントを持つメモリ確保関数

コンパイル時プログラミング

• std::byte
• std::conjunction/std::disjunction/std::negation
• 型特性の変数テンプレート (xxx_v)
• std::is_swappable
• std::is_invocable
• std::is_aggregate
• std::has_unique_object_representations

アルゴリズム

• std::clamp
• 並列アルゴリズムと実行ポリシー
• std::inclusive_scan
• std::exclusive_scan
• std::gcd
• std::lcm
• std::reduce

イテレータとコンテナ

• map/set の extract と map/set の merge
• map/unordered_map の try_emplace と insert_or_assign
• 隣接イテレータ (LegacyContiguousIterator)
• 非メンバstd::size/std::empty/std::data

数値計算

• 数学特殊関数
• 3D std::hypot

その他

• キャッシュラインインターフェース
• std::launder
• std::uncaught_exceptions
• std::to_chars/std::from_chars
• std::atomic<T>::is_always_lock_free
• std::scoped_lock
• std::timespec_get
• std::chrono::durationとstd::chrono::time_pointの丸め関数

コンパイラサポート

C++17 言語コア機能

C++17の機能	提案文書	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	Nvidia HPC C++ (旧 PGI)*	Nvidia nvcc	Cray	Embarcadero C++ Builder	IBM Open XL C++ for AIX
DR11: direct-list-initializationにおける新しいautoのルール	N3922	5	3.8	19.0 (2015)*	はい	4.10.1	17.0	17.7	11.0	11.0	10.3	17.1.0
テンプレートテンプレートパラメータにおけるtypename	N4051	5	3.5	19.0 (2015)*	はい	4.10.1	17.0	17.7	はい*	11.0	10.3	17.1.0
トライグラフの削除	N4086	5	3.5	16.0*	はい	5.0		19.1	11.0	11.0	10.3	17.1.0
ネストした名前空間の定義	N4230	6	3.6	19.0 (Update 3)*	はい	4.12	17.0	17.7	11.0	11.0	10.3	17.1.0
メッセージなしのstatic_assert  (FTM)*	N3928	6	2.5	19.10*	はい	4.12	18.0	17.7	11.0	11.0	10.3	17.1.0
名前空間と列挙子に対する属性  (FTM)*  (FTM)*	N4266	4.9 (部分的)* 6	3.6	19.0 (2015)*	はい	4.11	17.0	17.7	11.0	11.0	10.3	17.1.0
u8文字リテラル	N4267	6	3.6	19.0 (2015)*	はい	4.11	17.0	17.7	11.0	11.0	10.3	17.1.0
すべての非型テンプレート引数に対する定数評価を許可  (FTM)*	N4268	6	3.6	19.12*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
単項畳み込み式と空のパラメータパック	P0036R0	6	3.9	19.12*	はい	4.14	19.0	19.1	11.0	11.0	10.3	17.1.0
非推奨のregisterキーワードの使用を削除	P0001R1	7	3.8	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
非推奨のoperator++(bool)を削除	P0002R1	7	3.8	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
例外仕様を型システムの一部にする  (FTM)*	P0012R1	7	4	19.12*	はい	4.14	19.0	19.1	11.0	11.0	10.3	17.1.0
プリプロセッサの条件分岐における__has_include	P0061R1	5	はい	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
DR11: コンストラクタの継承に関する新しい仕様 (DR1941 など)  (FTM)*	P0136R1	7	3.9	19.14**	はい	6.1		19.1	11.0	11.0	10.3	17.1.0
基底クラスを持つ集成体クラス  (FTM)*	P0017R1	7	3.9	19.14*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
畳み込み式  (FTM)*	N4295	6	3.6	19.12*	はい	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
*thisのラムダキャプチャ  (FTM)*	P0018R3	7	3.9	19.11*	はい	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
列挙型のdirect-list-initialization	P0138R2	7	3.9	19.11*	はい	4.14	18.0	19.1	11.0	11.0	10.3	17.1.0
constexpr ラムダ式  (FTM)*	P0170R1	7	5	19.11*	はい	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
範囲for文におけるbeginとendの型が異なる場合  (FTM)*	P0184R0	6	3.9	19.10*	はい	4.12	18.0	17.7	11.0	11.0	10.3	17.1.0
[[fallthrough]] 属性	P0188R1	7	3.9	19.10*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
[[nodiscard]] 属性	P0189R1	7	3.9	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
[[maybe_unused]] 属性	P0212R1	7	3.9	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
16進浮動小数点リテラル  (FTM)*	P0245R1	3.0	はい	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
属性の名前空間を繰り返しなしで使用	P0028R4	7	3.9	19.11*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
過度にアライメントされたデータのための動的メモリ確保  (FTM)*	P0035R4	7	4	19.12*	10.0.0*	4.14	19.0	19.1	11.0	11.0	10.3	17.1.0
auto型を持つ非型テンプレートパラメータ  (FTM)*	P0127R2	7	4	19.14*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
保証されたコピー省略  (FTM)*	P0135R1	7	4	19.13*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
参照メンバを含むクラスオブジェクトの置き換え	P0137R1	7	6	19.14*	はい	5.0		19.1	11.0	11.0	10.3	17.1.0
より厳格な式評価順序	P0145R3	7	4	19.14*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
構造化束縛  (FTM)*	P0217R3	7	4	19.11*	はい	4.14	19.0	18.1	11.0*	11.0	10.3	17.1.0
未知の属性を無視	P0283R2	はい	3.9	19.0 (2015)*	はい	4.13	18.0	17.7	11.0	11.0	10.3	17.1.0
constexpr if文  (FTM)*	P0292R2	7	3.9	19.11*	はい	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
ifとswitchの初期化文	P0305R1	7	3.9	19.11*	はい	4.14	18.0	18.1	11.0	11.0	10.3	17.1.0
インライン変数  (FTM)*	P0386R2	7	3.9	19.12*	はい	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
動的例外仕様の削除	P0003R5	7	4	19.12*	はい	4.14	19.0	19.1	11.0	11.0	10.3	17.1.0
using宣言におけるパック展開  (FTM)*	P0195R2	7	4	19.14*	はい	5.0	19.0	19.1	11.0	11.0	10.3	17.1.0
DR98: テンプレートテンプレート引数の一致から互換性のあるテンプレートを除外  (FTM)*	P0522R0	7	4	19.12*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
クラステンプレートの引数推論  (FTM)*	P0091R3	7	5	19.14*	はい	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
C++17の機能	提案文書	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	Nvidia HPC C++ (旧 PGI)*	Nvidia nvcc	Cray	Embarcadero C++ Builder	IBM Open XL C++ for AIX

C++17 ライブラリ機能

C++17の機能	提案文書	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang*	IBM Open XL C/C++ for AIX*	Intel Parallel STL	Embarcadero C++ Builder*
std::void_t  (FTM)*	N3911	6.1	3.6	19.0 (2015)*	Yes	17.1.0	N/A	10.3
std::uncaught_exceptions()  (FTM)*	N4259	6.1	3.7	19.0 (2015)*	Yes	17.1.0	N/A	10.3
std::size(), std::empty(), std::data()  (FTM)*	N4280	6	3.6	19.0 (2015)*	Yes	17.1.0	N/A	10.3
std::allocator_traits::is_always_equal、noexceptのクリーンアップ  (FTM)*	N4258	6.1	3.7	19.0 (2015)*		17.1.0	N/A
std::invoke  (FTM)*	N4169	6.1	3.7	19.0 (2015)*	Yes	17.1.0	N/A
std::map::try_emplace、std::map::insert_or_assign  (FTM)*	N4279	6.1	3.7	19.0 (2015)*	Yes	17.1.0	N/A
std::unordered_map::try_emplace、std::unordered_map::insert_or_assign  (FTM)*	N4279	6.1	3.7	19.0 (2015)*	Yes	17.1.0	N/A
std::pairとstd::tupleの改善	N4387	6.1	4	19.0 (Update 2)*	Yes	17.1.0	N/A	10.3
std::bool_constant  (FTM)*	N4389	6.1	3.7	19.0 (2015)*	Yes	17.1.0	N/A	10.3
std::shared_mutex (時間指定なし)  (FTM)*	N4508	6	3.7	19.0 (Update 2)*	Yes	17.1.0	N/A	10.3
std::forward_list、std::list、std::vectorにおける不完全型の最小限のサポート  (FTM)*	N4510	3.0	3.6	18.0*	Yes	17.1.0	N/A
型特性の変数テンプレート  (FTM)*	P0006R0	7.1	3.8	19.0 (Update 2)*	Yes	17.1.0	N/A	10.3
論理演算子型特性  (FTM)*	P0013R1	6.1	3.8	19.0 (Update 2)*	Yes	17.1.0	N/A	10.3
std::as_const  (FTM)*	P0007R1	7.1	3.8	19.0 (Update 2)*	Yes	17.1.0	N/A
std::chrono::durationとstd::chrono::time_pointの丸め関数  (FTM)*	P0092R1	7.1	3.8	19.0 (Update 2)*	Yes	17.1.0	N/A
透過的なstd::owner_less (std::owner_less<void>)  (FTM)*	P0074R0	7.1	3.8	19.0 (Update 2)*	Yes	17.1.0	N/A
std::not_fn  (FTM)*	P0005R4 P0358R1	7.1	3.9	19.12*	Yes	17.1.0	N/A	10.3
並列アルゴリズムと実行ポリシー  (FTM)*  (FTM)*	P0024R2	9*	17 (部分的)*	19.14*			18.0*
std::clamp()  (FTM)*	P0025R1	7	3.9	19.0 (Update 3)*	10.0.0*	17.1.0	N/A	10.3
(nothrow-)swappable traits  (FTM)*	P0185R1	7.1*	3.9	19.0 (Update 3)*	10.0.0*	17.1.0	N/A	10.3
多相メモリリソース  (FTM)*	P0220R1	9.1	16	19.13*	15.0.0*	17.1.1	N/A	10.3
std::apply  (FTM)*	P0220R1	7.1	16	19.13*	Yes	17.1.0	N/A
検索子  (FTM)*	P0220R1	7.1	16	19.13*	Yes	17.1.0	N/A
std::sample  (FTM)*	P0220R1	7.1	16	19.13*	Yes	17.1.0	N/A
数学特殊関数  (FTM)*	P0226R1	7		19.14*		17.1.1	N/A	10.3
constexpr std::addressof  (FTM)*	LWG2296	7.1	はい	19.0 (Update 3)*		17.1.0	N/A
std::reverse_iterator、std::move_iterator、std::arrayと範囲アクセスに対するconstexpr  (FTM)*	P0031R0	7.1	4	19.11*	Yes	17.1.0	N/A
constexpr std::atomic<T>::is_always_lock_free  (FTM)*	P0152R1	7.1	3.9	19.11*	Yes	17.1.0	N/A
std::enable_shared_from_this::weak_from_this  (FTM)*	P0033R1	7.1	3.9	19.12*	Yes	17.1.0	N/A
std::hypotの3引数オーバーロード  (FTM)*	P0030R1	7.1	3.9	19.14*	Yes	17.1.0	N/A
std::byte  (FTM)*	P0298R3	7	5	19.11*	Yes	17.1.1	N/A	10.3
std::string_view  (FTM)*	N3921 P0220R1 P0254R2 P0403R1	7.1	4	19.10* (部分的)* 19.11**	10.0.0*	17.1.0	N/A	10.3
std::any  (FTM)*	P0220R1 P0032R3	7.1	4	19.10*	10.0.0*	17.1.0	N/A	10.3
std::optional  (FTM)*	P0220R1	7.1	4	19.10*	10.0.0*	17.1.0	N/A	10.3
C11標準ライブラリの大部分	P0063R3	9.1	7	19.0 (2015)* (部分的)*	10.0.0*	17.1.1	N/A
MapsとSetsの接合  (FTM)*	P0083R3	7	8	19.12*	10.0.0*	17.1.1	N/A
一部のコンテナのemplace* 関数の戻り値の型がvoidから参照に変更	P0084R2	7.1	4.0	19.11*	Yes	17.1.0	N/A
std::variant  (FTM)*	P0088R3	7.1	4	19.10*	10.0.0*	17.1.0	N/A	10.3
std::make_from_tuple()  (FTM)*	P0209R2	7.1	3.9	19.10*	Yes	17.1.0	N/A	10.3
std::has_unique_object_representations  (FTM)*	P0258R2	7.1	6	19.11*	Yes	17.1.1	N/A	10.3
std::gcd() と std::lcm()  (FTM)*	P0295R0	7	4	19.11*	Yes	17.1.0	N/A	10.3
CWG issue 1776: 参照メンバを含むクラスオブジェクトの置き換え (std::launder)  (FTM)*	P0137R1	7.1	6	19.14*	Yes	17.1.0	N/A
メモリ管理ツールの拡張  (FTM)*	P0040R3	7.1	4	19.11*		17.1.0	N/A
shared_ptr::weak_type  (FTM)*	P0163R0	7.1	3.9	19.10*	Yes	17.1.0	N/A
基本的な文字列変換: std::to_chars / std::from_chars  (FTM)*	P0067R5	8* 11	7* 14* 20*	19.14** 19.24*	10.0.0**	17.1.1*	N/A	10.3*
std::shared_ptrとstd::weak_ptrの配列サポート	P0414R2	7	11	19.12*	12.0.0*	17.1.1	N/A	10.3
std::chrono::durationとstd::chrono::time_pointのすべてのメンバ関数のConstexpr化  (FTM)*	P0505R0	7.1	4	19.11*	Yes	17.1.1	N/A
std::shared_ptr<T[]>  (FTM)*	P0497R0	7.1	11	19.12*		17.1.1	N/A
constexpr std::char_traits  (FTM)*	P0426R1	8.1	4	19.14*	Yes	17.1.1	N/A
ファイルシステムライブラリ (std::filesystem)  (FTM)*	P0218R1 P0219R1	8	7	19.14*	11.0.0*	17.1.1	N/A	10.3
ハードウェア干渉サイズ  (FTM)*	P0154R1	12.1	15 (部分的)* 19	19.11*			N/A	10.3
std::scoped_lock  (FTM)*	P0156R2	7	5	19.11*	Yes	17.1.1	N/A	10.3
std::is_aggregate  (FTM)*	LWG2911	7	5	19.15*	Yes	17.1.1	N/A	10.3
std::is_invocable、std::invoke_result  (FTM)*	P0604R0	7.1	はい	19.11*	Yes	17.1.1	N/A
DR17: std::hash<std::filesystem::path>	LWG3657	11.4	17	19.32*			N/A
C++17の機能	提案文書	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang*	IBM Open XL C/C++ for AIX*	Intel Parallel STL	Embarcadero C++ Builder*

注釈

• 2020年11月20日現在、Oracle Developer Studioの最新リリースは12.6です。そのドキュメントにはC++17に関する言及はありません。
• Crayコンパイラは11.0より前のバージョンでも一部の機能をサポートしている可能性があります。バージョン11.0でClangの派生となり、ベースコンパイラの言語機能サポートをすべて受け継ぎました。Cray/HPEドキュメント S-2179を参照してください。

* - 星印*が付いているセルにカーソルを合わせると、追加のポップアップノートが表示されます。
DRnn - 「DR」の後の数字nnは、欠陥報告が適用される対象のC++リビジョンを示します。例: DR20 → C++20

外部リンク

1.	C++17 - Wikipedia
2.	動作するC++17のサンプル