C++17

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

版本

C++98

C++03

C++11

C++14

C++17

C++20

C++23

C++26

当前状态

 

以下特性已合并到 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,
• 已过时的 iostreams 别名，
• 三字符组,
• 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

• 变量

  内联变量

  结构化绑定

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

C++17 库功能

C++17 特性	论文	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang*	IBM Open XL C/C++ for AIX*	Intel Parallel STL	Sun/Oracle C++*	Embarcadero C++ Builder*
std::void_t	N3911	6	3.6	19.0 (2015)*	是	17.1.0	不适用		10.3
std::uncaught_exceptions()	N4259	6	3.7	19.0 (2015)*	是	17.1.0	不适用		10.3
std::size(), std::empty() 和 std::data()	N4280	6	3.6	19.0 (2015)*	是	17.1.0	不适用		10.3
改进 std::pair 和 std::tuple	N4387	6	4	19.0 (更新 2)*	是	17.1.0	不适用		10.3
std::bool_constant	N4389	6	3.7	19.0 (2015)*	是	17.1.0	不适用		10.3
std::shared_mutex (无时间限制)	N4508	6	3.7	19.0 (更新 2)*	是	17.1.0	不适用		10.3
类型特征 变量模板	P0006R0	7	3.8	19.0 (更新 2)*	是	17.1.0	不适用		10.3
逻辑运算符类型特征	P0013R1	6	3.8	19.0 (更新 2)*	是	17.1.0	不适用		10.3
并行算法和执行策略	P0024R2	9*	17 (部分)*	19.14*			18.0*
std::clamp()	P0025R1	7	3.9	19.0 (更新 3)*	10.0.0*	17.1.0	不适用		10.3
硬件干扰大小	P0154R1	12	15 (部分)* 19	19.11*			不适用		10.3
(nothrow-) 可交换特征	P0185R1	7	3.9	19.0 (更新 3)*	10.0.0*	17.1.0	不适用		10.3
文件系统库 (std::filesystem)	P0218R1	8	7	19.14*	11.0.0*	17.1.1	不适用		10.3
std::string_view	N3921 P0220R1	7	4	19.10*	10.0.0*	17.1.0	不适用		10.3
std::any	P0220R1	7	4	19.10*	10.0.0*	17.1.0	不适用		10.3
std::optional	P0220R1	7	4	19.10*	10.0.0*	17.1.0	不适用		10.3
多态内存资源	P0220R1	9	16	19.13*	15.0.0*		不适用		10.3
数学特殊函数	P0226R1	7		19.14*			不适用		10.3
C11 标准库的主要部分	P0063R3	9	7	19.0 (2015)* (部分)*	10.0.0*	17.1.1	不适用
拼接 映射 和 集合	P0083R3	7	8	19.12*	10.0.0*	17.1.1	不适用
某些 容器 的 emplace* 函数的返回类型从 void 更改为 reference	P0084R2	7.1	4.0	19.11*	是	17.1.0	不适用
std::variant	P0088R3	7	4	19.10*	10.0.0*	17.1.0	不适用		10.3
std::make_from_tuple()	P0209R2	7	3.9	19.10*	是	17.1.0	不适用		10.3
std::has_unique_object_representations	P0258R2	7	6	19.11*	是	17.1.1	不适用		10.3
std::gcd() 和 std::lcm()	P0295R0	7	4	19.11*	是	17.1.0	不适用		10.3
std::not_fn	P0005R4 P0358R1	7	3.9	19.12*	是	17.1.0	不适用		10.3
基本字符串转换*	P0067R5	8 (无 FP) 11	7 (无 FP) 14 (无 FP from_chars)	19.14* (无 FP)* 19.24*	10.0.0* (无 FP)	17.1.1 (无 FP from_chars)	不适用		10.3 (无 FP from_chars)
支持数组的 std::shared_ptr 和 std::weak_ptr	P0414R2	7	11	19.12*	12.0.0*	17.1.1	不适用		10.3
std::scoped_lock	P0156R2	7	5	19.11*	是	17.1.1	不适用		10.3
std::byte	P0298R3	7	5	19.11*	是	17.1.1	不适用		10.3
std::is_aggregate	LWG2911	7	5	19.15*	是	17.1.1	不适用		10.3
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	Sun/Oracle C++*	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。

外部链接

有效的 C++17 示例