C++17

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

历史版本

C++98

C++03

C++11

C++14

C++17

C++20

C++23

当前状况

 

以下特性已被合入 C++17 中：

1. 从技术规范中：文件系统库、库基础 v1 （包括 optional 、 any 、 basic_string_view 、多态分配器、搜索器、 apply）。并行库 v1 (包括 执行策略、 reduce 、 inclusive_scan 、 exclusive_scan)，但不包括 exception_list 。从特殊数学函数 IS 中：数学特殊函数。从库基础 v2 中： std::gcd 、 std::lcm 。
2. 从 C11 中：std::aligned_alloc 、 std::timespec_get

过时

移除

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> 头文件

新的语言特性

• 折叠表达式
• 类模板实参推导
• auto 占位的非类型模板形参
• 编译期的 constexpr if 语句
• inline 变量
• 结构化绑定
• if 和 switch 语句中的初始化器
• u8-char
• 简化的嵌套命名空间
• using 声明语句可以声明多个名称
• 将 noexcept 作为类型系统的一部分
• 新的求值顺序规则

• 强制的复制消除
• lambda 表达式捕获 *this
• constexpr 的 lambda 表达式
• 属性命名空间不必重复
• 新属性 [[fallthrough]] [[nodiscard]] 和 [[maybe_unused]]
• __has_include

新的头文件

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

新的库特性

工具类型

• tuple ：
  • apply
  • deduction_guides
  • make_from_tuple
• variant
• as_const
• searchers
• optional
• any
• not_fn

内存管理

• 未初始化内存算法
  • destroy_at
  • destroy
  • destroy_n
  • uninitialized_move
  • uninitialized_value_construct

• weak_from_this
• memory_resource 与 polymorphic_allocator
• aligned_alloc
• 通透的 owner_less
• shared_ptr 的数组支持
• 带有显式对齐的分配函数

编译时编程

• byte
• conjunction/disjunction/negation
• 类型特征变量模板（xxx_v）
• is_swappable
• is_invocable
• is_aggregate
• has_unique_object_representations

算法

• clamp
• 并行算法与执行策略
• reduce
• inclusive_scan
• exclusive_scan
• gcd
• lcm

迭代器与容器

• map/set extract 与 map/set merge
• map/unordered_map try_emplace 与 insert_or_assign
• 连续迭代器
• 非成员 size/empty/data

数值

• 数学特殊函数
• 三维 hypot

其他

• launder
• to_chars/from_chars
• is_always_lock_free
• scoped_lock
• 缓存线接口
• uncaught_exceptions
• timespec_get
• duration 与 time_point 的取整函数

编译器支持

主条目： C++ 编译器支持

C++17 核心语言功能特性

C++17 功能特性	提案	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	IBM XLC++	Sun/Oracle C++	Embarcadero C++ Builder	Cray	Nvidia HPC C++ （前 Portland Group/PGI）	Nvidia nvcc
直接列表初始化的新 auto 规则	N3922	5	3.8	19.0 (2015)*	是	4.10.1	17.0			10.3		17.7
无消息的 static_assert	N3928	6	2.5	19.10*	是	4.12	18.0			10.3		17.7
模板模板形参中的 typename	N4051	5	3.5	19.0 (2015)*	是	4.10.1	17.0			10.3		17.7
移除三标符	N4086	5	3.5	16.0*	是	5.0	19.0.1			10.3
嵌套命名空间定义	N4230	6	3.6	19.0 (Update 3)*	是	4.12	17.0			10.3		17.7
命名空间和枚举项的属性	N4266	4.9 (部分)* 6	3.6	19.0 (2015)*	是	4.11	17.0			10.3		17.7
u8 字符字面量	N4267	6	3.6	19.0 (2015)*	是	4.11	17.0			10.3		17.7
允许所有非类型模板实参的常量求值	N4268	6	3.6	19.12*	是	5.0	19.0.1			10.3
折叠表达式	N4295	6	3.6	19.12*	是	4.14	19.0			10.3		18.1
一元折叠表达式和空形参包	P0036R0	6	3.9	19.12*	是	4.14				10.3
移除 register 关键字的已弃用用法	P0001R1	7	3.8	19.11*	是	4.13	18.0			10.3		17.7
移除已弃用的 operator++(bool)	P0002R1	7	3.8	19.11*	是	4.13	18.0			10.3		17.7
令异常规定为类型系统的一部分	P0012R1	7	4	19.12*	是	4.14	19.0			10.3
有基类的类的聚合初始化	P0017R1	7	3.9	19.14*	是	5.0	19.0.1			10.3
预处理器条件中的 __has_include	P0061R1	5	是	19.11*	是	4.13	18.0			10.3		17.7
DR ：继承构造函数的新规定 (DR1941 等)	P0136R1	7	3.9	19.14*	是	6.1				10.3		19.1
*this 的 lambda 捕获	P0018R3	7	3.9	19.11*	是	4.14	19.0			10.3		18.1
枚举的直接列表初始化	P0138R2	7	3.9	19.11*	是	4.14	18.0			10.3
constexpr lambda 表达式	P0170R1	7	5	19.11*	是	4.14	19.0			10.3		18.1
基于范围 for 的相异 begin 和 end 类型	P0184R0	6	3.9	19.10*	是	4.12	18.0			10.3		17.7
[[fallthrough]] 属性	P0188R1	7	3.9	19.10*	是	4.13	18.0			10.3		17.7
[[nodiscard]] 属性	P0189R1	7	3.9	19.11*	是	4.13	18.0			10.3		17.7
[[maybe_unused]] 属性	P0212R1	7	3.9	19.11*	是	4.13	18.0			10.3		17.7
十六进制浮点字面量	P0245R1	3.0	是	19.11*	是	4.13	18.0			10.3		17.7
使用属性命名空间而不重复	P0028R4	7	3.9	19.11*	是	4.13	18.0			10.3		17.7
过对齐数据的动态内存分配	P0035R4	7	4	19.12*	10.0.0*	4.14				10.3
类模板实参推导	P0091R3	7	5	19.14*	是	5.0	19.0.1			10.3		19.1
具有 auto 类型的非类型模板形参	P0127R2	7	4	19.14*	是	5.0	19.0.1			10.3		19.1
受保证的复制消除	P0135R1	7	4	19.13*	是	5.0	19.0.1			10.3		19.1
替换含引用成员的类对象	P0137R1	7	6	19.14*	是	5.0				10.3
更严格的表达式求值顺序	P0145R3	7	4	19.14*	是	5.0	19.0.1			10.3
结构化绑定	P0217R3	7	4	19.11*	是	4.14	19.0			10.3		18.1
忽略未知属性	P0283R2	是	3.9	19.11*	是	4.13	18.0			10.3		17.7
constexpr if 语句	P0292R2	7	3.9	19.11*	是	4.14	19.0			10.3		18.1
if 和 switch 的初始化语句	P0305R1	7	3.9	19.11*	是	4.14	18.0			10.3		18.1
inline 变量	P0386R2	7	3.9	19.12*	是	4.14	19.0			10.3		18.1
移除动态异常说明	P0003R5	7	4	19.10*	是	4.14	19.0			10.3
using 声明中的包展开	P0195R2	7	4	19.14*	是	5.0				10.3
DR ：模板模板实参的匹配排除了兼容的模板	P0522R0	7	4	19.12*	是	5.0	19.0.1			10.3
C++17 功能特性	提案	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	IBM XLC++	Sun/Oracle C++	Embarcadero C++ Builder	Cray	Nvidia HPC C++	Nvidia nvcc

C++17 库功能特性

C++17 功能特性	提案	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang	Intel 并行 STL	Sun/Oracle C++ 标准库	Embarcadero C++ Builder 标准库	Cray C++ 标准库
std::void_t	N3911	6	3.6	19.0 (2015)*	是	N/A		10.3
std::uncaught_exceptions()	N4259	6	3.7	19.0 (2015)*	是	N/A		10.3
std::size() 、 std::empty() 与 std::data()	N4280	6	3.6	19.0 (2015)*	是	N/A		10.3
改进 std::pair 与 std::tuple	N4387	6	4	19.0 (Update 2)*	是	N/A		10.3
std::bool_constant	N4389	6	3.7	19.0 (2015)*	是	N/A		10.3
std::shared_mutex （无时限）	N4508	6	3.7	19.0 (Update 2)*	是	N/A		10.3
类型特性变量模板	P0006R0	7	3.8	19.0 (Update 2)*	是	N/A		10.3
逻辑运算符类型特性	P0013R1	6	3.8	19.0 (Update 2)*	是	N/A		10.3
标准化并行 TS	P0024R2	9*		19.14*		18.0*
std::clamp()	P0025R0	7	3.9	19.0 (Update 3)*	10.0.0*	N/A		10.3
硬件干涉大小	P0154R1			19.11*		N/A
(nothrow-)swappable 特性	P0185R1	7	3.9	19.0 (Update 3)*	10.0.0*	N/A		10.3
文件系统库	P0218R1	8	7	19.14*	11.0.0*	N/A		10.3
std::string_view	N3921 P0220R1	7	4	19.10*	10.0.0*	N/A		10.3
std::any	P0220R1	7	4	19.10*	10.0.0*	N/A		10.3
std::optional	P0220R1	7	4	19.10*	10.0.0*	N/A		10.3
多态内存资源	P0220R1	9		19.13*		N/A		10.3
数学特殊函数	P0226R1	7		19.14*		N/A		10.3
C++17 应指代 C11 而非 C99	P0063R3	9	7	19.0 (2015)* (部分)*		N/A		10.3
接合 map 与 set	P0083R3	7	8	19.12*	10.0.0*	N/A
std::variant	P0088R3	7	4	19.10*	10.0.0*	N/A		10.3
std::make_from_tuple()	P0209R2	7	3.9	19.10*	是	N/A		10.3
std::has_unique_object_representations	P0258R2	7	6	19.11*	是	N/A		10.3
std::gcd() 与 std::lcm()	P0295R0	7	4	19.11*	是	N/A		10.3
std::not_fn	P0005R4 P0358R1	7	3.9	19.12*		N/A		10.3
初等字符串转换	P0067R5	8 (无浮点)	7 (无浮点)	19.14* (无浮点)* 19.24*		N/A
有数组支持的 std::shared_ptr 与 std::weak_ptr	P0414R2	7	11	19.12*		N/A		10.3
std::scoped_lock	P0156R2	7	5	19.11*	是	N/A		10.3
std::byte	P0298R3	7	5	19.11*	是	N/A		10.3
std::is_aggregate	LWG2911	7	5	19.15*	是	N/A		10.3
C++17 功能特性	提案	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang	Intel 并行 STL	Sun/Oracle C++ 标准库	Embarcadero C++ Builder 标准库	Cray C++ 标准库

* - 在版本号上停留可以查看注记

• C++17 可行样例