C++17

 

C++

編譯器支援

獨立式與託管式

語言

標準函式庫

標準函式庫標頭檔

具名要求

特性測試巨集 (C++20)

語言支援函式庫

概念函式庫 (C++20)

診斷函式庫

記憶體管理函式庫

元編程函式庫 (C++11)

通用公用程式函式庫

容器函式庫

疊代器函式庫

Ranges 函式庫 (C++20)

演算法函式庫

字串函式庫

文本處理函式庫

數值函式庫

日期與時間函式庫

輸入/輸出函式庫

檔案系統函式庫 (C++17)

並行支援函式庫 (C++11)

執行控制函式庫 (C++26)

技術規範

符號索引

外部函式庫

 

版本

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：檔案系統函式庫。
• 源自 函式庫基礎 v1 TS：包含 std::any、std::optional、std::string_view、std::apply、多型記憶體配置器 (polymorphic allocators)、搜尋器 (searchers) 等功能。
• 源自 函式庫基礎 v2 TS：std::void_t、std::conjunction、std::disjunction、std::negation、std::not_fn、std::gcd、std::lcm。
• 源自 平行處理 v1 TS：包含 執行策略 (execution policies)、std::reduce、std::inclusive_scan、std::exclusive_scan 等功能，但移除了 exception_list。
• 源自 數學特殊函式 IS：數學特殊函式。
• 源自 C11：std::aligned_alloc、std::timespec_get。

廢棄功能

已移除功能

• std::auto_ptr,
• 已淘汰的函式物件,
• std::random_shuffle,
• std::unexpected,
• 已廢棄的 iostream 別名，
• 三合字元 (trigraphs),
• register 關鍵字，
• bool 增量運算,
• 動態異常規格

已淘汰功能

• std::iterator,
• std::raw_storage_iterator,
• std::get_temporary_buffer,
• std::is_literal_type,
• std::result_of,
• 所有 <codecvt>

新語言功能

• u8 字元常值
• 使 noexcept 成為型別系統的一部分
• 新的 求值順序 規則
• lambda 表達式對 *this 的捕獲

• constexpr

  編譯時 if constexpr

  constexpr lambda 表達式

• 變數

  inline 變數

  結構化綁定 (structured bindings)

  if 和 switch 的初始化語句

  保證的 複製省略 (copy elision)

  暫存實體化 (temporary materialization)

• 模板

  摺疊表達式 (fold-expressions) ( ... )

  類別模板引數推導 (class template argument deduction) 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
  • 推導指引 (deduction guides)
• std::any
• std::optional
• std::variant
• 搜尋器 (searchers)
• 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
• 型別特性 (type trait) 變數模板 (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 功能	提案論文 (Papers)	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
移除三合字元 (trigraphs)	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 (更新 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
命名空間和列舉器 (enumerators) 的屬性  (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
一元摺疊表達式 (unary fold expressions) 和空參數包 (empty parameter packs)	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：繼承建構子 (inheriting constructors) 的新規範 (DR1941 等)  (FTM)*	P0136R1	7	3.9	19.14**	是	6.1		19.1	11.0	11.0	10.3	17.1.0
帶有基底類別的聚合類別 (aggregate classes)  (FTM)*	P0017R1	7	3.9	19.14*	是	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
摺疊表達式 (Fold Expressions)  (FTM)*	N4295	6	3.6	19.12*	是	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
lambda 表達式對 *this 的捕獲  (FTM)*	P0018R3	7	3.9	19.11*	是	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
列舉的直接列表初始化	P0138R2	7	3.9	19.11*	是	4.14	18.0	19.1	11.0	11.0	10.3	17.1.0
constexpr lambda 表達式  (FTM)*	P0170R1	7	5	19.11*	是	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
範圍迴圈 (range-based 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
十六進位浮點常值 (floating-point literals)  (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
針對過度對齊資料的動態記憶體配置 (dynamic memory allocation)  (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
保證的 複製省略 (copy elision)  (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
結構化綁定 (Structured Bindings)  (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
inline 變數  (FTM)*	P0386R2	7	3.9	19.12*	是	4.14	19.0	18.1	11.0	11.0	10.3	17.1.0
移除動態例外規範 (dynamic exception specifications)	P0003R5	7	4	19.12*	是	4.14	19.0	19.1	11.0	11.0	10.3	17.1.0
using 宣告中的包擴展 (pack expansions)  (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
類別模板引數推導 (Class template argument deduction)  (FTM)*	P0091R3	7	5	19.14*	是	5.0	19.0.1	19.1	11.0	11.0	10.3	17.1.0
C++17 功能	提案論文 (Papers)	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 功能	提案論文 (Papers)	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)*	是	17.1.0	不適用 (N/A)	10.3
std::uncaught_exceptions()  (FTM)*	N4259	6.1	3.7	19.0 (2015)*	是	17.1.0	不適用 (N/A)	10.3
std::size()、std::empty() 和 std::data()  (FTM)*	N4280	6	3.6	19.0 (2015)*	是	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)*	是	17.1.0	不適用 (N/A)
std::map::try_emplace，std::map::insert_or_assign  (FTM)*	N4279	6.1	3.7	19.0 (2015)*	是	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)*	是	17.1.0	不適用 (N/A)
改進 std::pair 和 std::tuple	N4387	6.1	4	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)	10.3
std::bool_constant  (FTM)*	N4389	6.1	3.7	19.0 (2015)*	是	17.1.0	不適用 (N/A)	10.3
std::shared_mutex (無計時功能)  (FTM)*	N4508	6	3.7	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)	10.3
std::forward_list、std::list 和 std::vector 的最小不完整型別支援  (FTM)*	N4510	3.0	3.6	18.0*	是	17.1.0	不適用 (N/A)
型別特性 (Type traits) 變數模板  (FTM)*	P0006R0	7.1	3.8	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)	10.3
邏輯運算子型別特性 (Logical operator type traits)  (FTM)*	P0013R1	6.1	3.8	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)	10.3
std::as_const  (FTM)*	P0007R1	7.1	3.8	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)
std::chrono::duration 和 std::chrono::time_point 的捨入函式  (FTM)*	P0092R1	7.1	3.8	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)
透明的 std::owner_less (std::owner_less<void>)  (FTM)*	P0074R0	7.1	3.8	19.0 (更新 2)*	是	17.1.0	不適用 (N/A)
std::not_fn  (FTM)*	P0005R4 P0358R1	7.1	3.9	19.12*	是	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 (更新 3)*	10.0.0*	17.1.0	不適用 (N/A)	10.3
(無擲例外) 可交換特性 ((nothrow-)swappable traits)  (FTM)*	P0185R1	7.1*	3.9	19.0 (更新 3)*	10.0.0*	17.1.0	不適用 (N/A)	10.3
多型記憶體資源 (Polymorphic memory resources)  (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*	是	17.1.0	不適用 (N/A)
搜尋器 (Searchers)  (FTM)*	P0220R1	7.1	16	19.13*	是	17.1.0	不適用 (N/A)
std::sample  (FTM)*	P0220R1	7.1	16	19.13*	是	17.1.0	不適用 (N/A)
數學特殊函式 (Mathematical special functions)  (FTM)*	P0226R1	7		19.14*		17.1.1	不適用 (N/A)	10.3
constexpr std::addressof  (FTM)*	LWG2296	7.1	是	19.0 (更新 3)*		17.1.0	不適用 (N/A)
constexpr 用於 std::reverse_iterator、std::move_iterator、std::array 和範圍存取  (FTM)*	P0031R0	7.1	4	19.11*	是	17.1.0	不適用 (N/A)
constexpr std::atomic<T>::is_always_lock_free  (FTM)*	P0152R1	7.1	3.9	19.11*	是	17.1.0	不適用 (N/A)
std::enable_shared_from_this::weak_from_this  (FTM)*	P0033R1	7.1	3.9	19.12*	是	17.1.0	不適用 (N/A)
std::hypot 的 3 引數多載  (FTM)*	P0030R1	7.1	3.9	19.14*	是	17.1.0	不適用 (N/A)
std::byte  (FTM)*	P0298R3	7	5	19.11*	是	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)
拼接 Map 和 Set  (FTM)*	P0083R3	7	8	19.12*	10.0.0*	17.1.1	不適用 (N/A)
某些容器的 emplace* 函式的回傳型別從 void 變更為參考	P0084R2	7.1	4.0	19.11*	是	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*	是	17.1.0	不適用 (N/A)	10.3
std::has_unique_object_representations  (FTM)*	P0258R2	7.1	6	19.11*	是	17.1.1	不適用 (N/A)	10.3
std::gcd() 和 std::lcm()  (FTM)*	P0295R0	7	4	19.11*	是	17.1.0	不適用 (N/A)	10.3
CWG 問題 1776：替換包含參考成員的類別物件 (std::launder)  (FTM)*	P0137R1	7.1	6	19.14*	是	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*	是	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
constexpr 用於 std::chrono::duration 和 std::chrono::time_point 的所有成員函式  (FTM)*	P0505R0	7.1	4	19.11*	是	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*	是	17.1.1	不適用 (N/A)
檔案系統函式庫 (std::filesystem)  (FTM)*	P0218R1 P0219R1	8	7	19.14*	11.0.0*	17.1.1	不適用 (N/A)	10.3
硬體干擾大小 (Hardware interference size)  (FTM)*	P0154R1	12.1	15 (部分)* 19	19.11*			不適用 (N/A)	10.3
std::scoped_lock  (FTM)*	P0156R2	7	5	19.11*	是	17.1.1	不適用 (N/A)	10.3
std::is_aggregate  (FTM)*	LWG2911	7	5	19.15*	是	17.1.1	不適用 (N/A)	10.3
std::is_invocable，std::invoke_result  (FTM)*	P0604R0	7.1	是	19.11*	是	17.1.1	不適用 (N/A)
DR17：std::hash<std::filesystem::path>	LWG3657	11.4	17	19.32*			不適用 (N/A)
C++17 功能	提案論文 (Papers)	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 之前就已支援某些功能。該版本是它成為 Clang 衍生版本的時候，因此獲得了基礎編譯器的所有相關語言功能支援。請參閱 Cray/HPE 文件 S-2179。

* - 將游標懸停在標有星號 * 的儲存格上可查看額外的彈出說明。
DRnn - "DR" 後的數字 nn 表示該缺陷報告適用的 C++ 修訂版本，例如 DR20 → C++20。

外部連結

1.	C++17 - 維基百科
2.	C++17 實作範例