C++17

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(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、多态分配器、搜索器等等
• 来自库基础 v2 TS：std::void_t、std::conjunction、std::disjunction、std::negation、std::not_fn、std::gcd、std::lcm
• 来自并行 v1 TS：执行策略、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 别名
• 三标符
• 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

  编译期的 constexpr if 语句

  constexpr 的 lambda 表达式

• 变量

  inline 变量

  结构化绑定

  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::pmr::polymorphic_allocator
• std::aligned_alloc
• 通透的 std::owner_less
• std::shared_ptr 的数组支持
• 带有显式对齐的分配函数

编译时编程

• std::byte
• std::conjunction/std::disjunction/std::negation
• 类型特征变量模板（xxx_v，如 std::is_same_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

数值

• 数学特殊函数
• 三维 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++ (ex PGI)*	Nvidia nvcc	Cray	Embarcadero C++ Builder	IBM Open XL C++ for AIX
DR11：直接列表初始化的新 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 的 lambda 捕获  (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
基于范围 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
十六进制浮点数字面量  (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++ (ex 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)*	是	17.1.0	不适用	10.3
std::uncaught_exceptions()  (FTM)*	N4259	6.1	3.7	19.0 (2015)*	是	17.1.0	不适用	10.3
std::size()、std::empty() 与 std::data()  (FTM)*	N4280	6	3.6	19.0 (2015)*	是	17.1.0	不适用	10.3
std::allocator_traits::is_always_equal，清理 noexcept  (FTM)*	N4258	6.1	3.7	19.0 (2015)*		17.1.0	不适用
std::invoke  (FTM)*	N4169	6.1	3.7	19.0 (2015)*	是	17.1.0	不适用
std::map::try_emplace, std::map::insert_or_assign  (FTM)*	N4279	6.1	3.7	19.0 (2015)*	是	17.1.0	不适用
std::unordered_map::try_emplace, std::unordered_map::insert_or_assign  (FTM)*	N4279	6.1	3.7	19.0 (2015)*	是	17.1.0	不适用
改进 std::pair 与 std::tuple	N4387	6.1	4	19.0 (Update 2)*	是	17.1.0	不适用	10.3
std::bool_constant  (FTM)*	N4389	6.1	3.7	19.0 (2015)*	是	17.1.0	不适用	10.3
std::shared_mutex（无时限）  (FTM)*	N4508	6	3.7	19.0 (Update 2)*	是	17.1.0	不适用	10.3
最小化的 std::forward_list、std::list 与 std::vector 的不完整类型支持  (FTM)*	N4510	3.0	3.6	18.0*	是	17.1.0	不适用
类型特性变量模板  (FTM)*	P0006R0	7.1	3.8	19.0 (Update 2)*	是	17.1.0	不适用	10.3
逻辑运算符类型特性  (FTM)*	P0013R1	6.1	3.8	19.0 (Update 2)*	是	17.1.0	不适用	10.3
std::as_const  (FTM)*	P0007R1	7.1	3.8	19.0 (Update 2)*	是	17.1.0	不适用
用于 std::chrono::duration 和 std::chrono::time_point 的舍入函数  (FTM)*	P0092R1	7.1	3.8	19.0 (Update 2)*	是	17.1.0	不适用
透明的 std::owner_less (std::owner_less<void>)  (FTM)*	P0074R0	7.1	3.8	19.0 (Update 2)*	是	17.1.0	不适用
std::not_fn  (FTM)*	P0005R4 P0358R1	7.1	3.9	19.12*	是	17.1.0	不适用	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	不适用	10.3
(nothrow-)swappable 特征  (FTM)*	P0185R1	7.1*	3.9	19.0 (Update 3)*	10.0.0*	17.1.0	不适用	10.3
多态内存资源  (FTM)*	P0220R1	9.1	16	19.13*	15.0.0*	17.1.1	不适用	10.3
std::apply  (FTM)*	P0220R1	7.1	16	19.13*	是	17.1.0	不适用
搜索器  (FTM)*	P0220R1	7.1	16	19.13*	是	17.1.0	不适用
std::sample  (FTM)*	P0220R1	7.1	16	19.13*	是	17.1.0	不适用
数学特殊函数  (FTM)*	P0226R1	7		19.14*		17.1.1	不适用	10.3
constexprstd::addressof  (FTM)*	LWG2296	7.1	是	19.0 (Update 3)*		17.1.0	不适用
std::reverse_iterator、std::move_iterator、std::array 与范围访问为 constexpr  (FTM)*	P0031R0	7.1	4	19.11*	是	17.1.0	不适用
constexprstd::atomic<T>::is_always_lock_free  (FTM)*	P0152R1	7.1	3.9	19.11*	是	17.1.0	不适用
std::enable_shared_from_this::weak_from_this  (FTM)*	P0033R1	7.1	3.9	19.12*	是	17.1.0	不适用
std::hypot 的三参数重载  (FTM)*	P0030R1	7.1	3.9	19.14*	是	17.1.0	不适用
std::byte  (FTM)*	P0298R3	7	5	19.11*	是	17.1.1	不适用	10.3
std::string_view  (FTM)*	N3921 P0220R1 P0254R2 P0403R1	7.1	4	19.10*(部分)* 19.11**	10.0.0*	17.1.0	不适用	10.3
std::any  (FTM)*	P0220R1 P0032R3	7.1	4	19.10*	10.0.0*	17.1.0	不适用	10.3
std::optional  (FTM)*	P0220R1	7.1	4	19.10*	10.0.0*	17.1.0	不适用	10.3
C11 标准库的主要部分	P0063R3	9.1	7	19.0 (2015)*(部分)*	10.0.0*	17.1.1	不适用
接合 Maps 与 Sets  (FTM)*	P0083R3	7	8	19.12*	10.0.0*	17.1.1	不适用
一些容器的 emplace* 函数的返回类型从 void 改为引用	P0084R2	7.1	4.0	19.11*	是	17.1.0	不适用
std::variant  (FTM)*	P0088R3	7.1	4	19.10*	10.0.0*	17.1.0	不适用	10.3
std::make_from_tuple()  (FTM)*	P0209R2	7.1	3.9	19.10*	是	17.1.0	不适用	10.3
std::has_unique_object_representations  (FTM)*	P0258R2	7.1	6	19.11*	是	17.1.1	不适用	10.3
std::gcd() and std::lcm()  (FTM)*	P0295R0	7	4	19.11*	是	17.1.0	不适用	10.3
CWG 问题 1776：包含引用成员的类对象的替换 (std::launder)  (FTM)*	P0137R1	7.1	6	19.14*	是	17.1.0	不适用
扩展内存管理工具  (FTM)*	P0040R3	7.1	4	19.11*		17.1.0	不适用
shared_ptr::weak_type  (FTM)*	P0163R0	7.1	3.9	19.10*	是	17.1.0	不适用
初等字符串转换：std::to_chars / std::from_chars  (FTM)*	P0067R5	8* 11	7* 14* 20*	19.14** 19.24*	10.0.0**	17.1.1*	不适用	10.3*
有数组支持的 std::shared_ptr 与 std::weak_ptr	P0414R2	7	11	19.12*	12.0.0*	17.1.1	不适用	10.3
std::chrono::duration 和 std::chrono::time_point 的所有成员函数为 constexpr  (FTM)*	P0505R0	7.1	4	19.11*	是	17.1.1	不适用
std::shared_ptr<T[]>  (FTM)*	P0497R0	7.1	11	19.12*		17.1.1	不适用
constexprstd::char_traits  (FTM)*	P0426R1	8.1	4	19.14*	是	17.1.1	不适用
文件系统库 (std::filesystem)  (FTM)*	P0218R1 P0219R1	8	7	19.14*	11.0.0*	17.1.1	不适用	10.3
硬件干涉大小  (FTM)*	P0154R1	12.1	15 (部分)* 19	19.11*			不适用	10.3
std::scoped_lock  (FTM)*	P0156R2	7	5	19.11*	是	17.1.1	不适用	10.3
std::is_aggregate  (FTM)*	LWG2911	7	5	19.15*	是	17.1.1	不适用	10.3
std::is_invocable, std::invoke_result  (FTM)*	P0604R0	7.1	是	19.11*	是	17.1.1	不适用
DR17: std::hash<std::filesystem::path>	LWG3657	11.4	17	19.32*			不适用
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。
• 早于 11.0 的 Cray 编译器可能支持一些功能特性。从这个版本起它变为了 Clang 的衍生版本，并获得了基础编译器所带的所有语言功能特性支持。参见 Cray/HPE 文档 S-2179。

* - 在版本号上停留可以查看注记 * 查看其他注记
DRnn - 在 "DR" 后的数字 nn 表示应用该缺陷报告的目标 C++ 修订版本，例如 DR20 → C++20。

外部链接

1.	C++17 - Wikipedia
2.	可运行的 C++17 示例