C++17
来自cppreference.com
                    
                                        
                    < cpp
                    
                                                            
                    | 本节未完成 | 
以下特性已被合入 C++17 中:
-  从技术规范中:文件系统库,库基础 v1 (包括 optional, any, string_view, polymorphic allocators, 搜索器, apply),并行库 v1 (包括 执行策略, reduce, inclusive_scan, exclusive_scan),但不包括 
exception_list。从特殊数学函数 IS 中:数学特殊函数,从库基础 v2 中:std::gcd, std::lcm - 从 C11 中:std::aligned_alloc, std::timespec_get
 
废弃
移除
auto_ptr, 之前已被声明弃用的函数对象, std::random_shuffle, std::unexpected, the obsolete iostreams aliases, 三标符, register 关键字, bool 类型的自增操作
声明弃用
std::iterator, 
std::raw_storage_iterator, 
std::get_temporary_buffer, 
std::is_literal_type, 
std::result_of, 
整个 <codecvt> 头文件
新的语言特性
- 折叠表达式
 - 类模板实参推导
 - auto 占位的非类型模板参数
 - 编译期的 constexpr if 语句
 - 内联变量
 - 结构化绑定
 - if 和 switch 语句中的初始化器
 - u8-char
 - 简化的嵌套命名空间
 - using 声明语句可以声明多个名称
 - 将 noexcept 作为类型系统签名的一部分
 - 新的求值顺序规则
 
- 强制的复制消除
 - lambda 表达式捕获 *this
 - constexpr 的 lambda 表达式
 - attribute namespaces don't have to repeat
 -  新属性 
[[fallthrough]][[nodiscard]]和[[maybe_unused]]. - __has_include
 
新的头文件
新的库特性
utility 中
memory 中
- weak_from_this
 - polymorphic allocators
 - aligned_alloc
 - transparent owner_less
 - 针对数组的 shared_ptr 支持
 - 具有显式对齐要求的分配函数
 
- variadic lock_guard
 - cache line interface
 
types 中
- byte
 - conjunction/disjunction/negation
 - 类型特性中的辅助变量模板 xxx_v
 - is_swappable
 - is_invocable
 - is_aggregate
 - has_unique_object_representations.
 
algorithm 中
容器库 相关
- map/set 中的 extract 方法和 merge 方法
 - map/unordered_map 中的 try_emplace 方法和 insert_or_assign 方法
 - 连续迭代器
 - 非成员函数 size/empty/data
 
numeric 中
其他
缺陷报告
编译器支持
Main Article: C++ 编译器支持
C++17 核心语言功能特性
|  C++17 功能特性 | 
 提案 | 
  GCC  | 
  Clang  | 
  MSVC  | 
  Apple Clang  | 
  EDG eccp  | 
  Intel C++  | 
  IBM XLC++  | 
  Sun/Oracle C++  | 
  Embarcadero C++ Builder  | 
  Cray  | 
  Portland Group (PGI)  | 
  Nvidia nvcc  | 
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 直接列表初始化的新 auto 规则 | N3922 | 5 | 3.8 | 19.0* | 是 | 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* | 是 | 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* | 是 | 4.12 | 17.0 | 10.3 | 17.7 | |||||
| 命名空间和枚举项的属性 | N4266 | 4.9 (部分)* 6  | 
3.6 | 19.0* | 是 | 4.11 | 17.0 | 10.3 | 17.7 | |||||
 u8 字符字面量
 | 
N4267 | 6 | 3.6 | 19.0* | 是 | 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  | 
  Portland Group (PGI)  | 
  Nvidia nvcc  | 
C++17 库功能特性
|  C++17 功能特性 | 
 提案 | 
  GCC libstdc++  | 
  Clang libc++  | 
  Apple Clang  | 
  MSVC 标准库  | 
  Intel 并行 STL  | 
  Sun/Oracle C++ 标准库  | 
  Embarcadero C++ Builder 标准库  | 
  Cray C++ 标准库  | 
|
|---|---|---|---|---|---|---|---|---|---|---|
| std::void_t | N3911 | 6 | 3.6 | 是 | 19.0* | N/A | 10.3 | |||
| std::uncaught_exceptions() | N4259 | 6 | 3.7 | 是 | 19.0* | N/A | 10.3 | |||
| std::size() 、 std::empty() 与 std::data() | N4280 | 6 | 3.6 | 是 | 19.0* | N/A | 10.3 | |||
| 改进 std::pair 与 std::tuple | N4387 | 6 | 4 | 是 | 19.0* | N/A | 10.3 | |||
| std::bool_constant | N4389 | 6 | 3.7 | 是 | 19.0* | N/A | 10.3 | |||
| std::shared_mutex (无时限) | N4508 | 6 | 3.7 | 是 | 19.0* | N/A | 10.3 | |||
| 类型特性变量模板 | P0006R0 | 7 | 3.8 | 是 | 19.0* | N/A | 10.3 | |||
| 逻辑运算符类型特性 | P0013R1 | 6 | 3.8 | 是 | 19.0* | N/A | 10.3 | |||
| 标准化并行 TS | P0024R2 | 9* | 19.14* | 18.0* | ||||||
| std::clamp() | P0025R0 | 7 | 3.9 | 
 10.0.0*  | 
19.0* | N/A | 10.3 | |||
| 硬件干涉大小 | P0154R1 | 19.11* | N/A | |||||||
| (nothrow-)swappable 特性 | P0185R1 | 7 | 3.9 | 
 10.0.0*  | 
19.0* | N/A | 10.3 | |||
| 文件系统库 | P0218R1 | 8 | 7 | 
 11.0.0*  | 
19.14* | N/A | 10.3 | |||
| std::string_view |  N3921 P0220R1  | 
7 | 4 | 
 10.0.0*  | 
19.10* | N/A | 10.3 | |||
| std::any | P0220R1 | 7 | 4 | 
 10.0.0*  | 
19.10* | N/A | 10.3 | |||
| std::optional | P0220R1 | 7 | 4 | 
 10.0.0*  | 
19.10* | 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* (部分)*  | 
N/A | 10.3 | ||||
| 接合 map 与 set | P0083R3 | 7 | 8 | 
 10.0.0*  | 
19.12* | N/A | ||||
| std::variant | P0088R3 | 7 | 4 | 
 10.0.0*  | 
19.10* | 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++  | 
  Apple Clang  | 
  MSVC 标准库  | 
  Intel 并行 STL  | 
  Sun/Oracle C++ 标准库  | 
  Embarcadero C++ Builder 标准库  | 
  Cray C++ 标准库  | 
* - 在版本号上停留可以查看注记