C++20

来自cppreference.com
< cpp

C++ 标准的下一主要修订版

新的语言特性

新的库特性

新的头文件

线程支持库中:

库特性

缺陷报告

C++20 中修正的缺陷报告(核心 158 个,库 345 个)

编译器支持情况

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

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

C++20 功能特性
 
提案
 
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
允许 lambda 捕获 [=, this] P0409R2 8 6 19.22*

10.0.0*

5.1 20.7
__VA_OPT__ P0306R4
P1042R1
8 (部分)*
10
9 19.25*

11.0.3*

5.1 20.7
指派初始化器 P0329R4 4.7 (部分)*
8
3.0 (部分)*
10
19.21* (部分)* 5.1 20.7
泛型 lambda 的模板形参列表 P0428R2 8 9 19.22*

11.0.0*

5.1 20.7
位域的默认成员初始化器 P0683R1 8 6 19.25*

10.0.0*

5.1 20.7
类模板实参推导中的 intializer_list 构造函数 P0702R1 8 6 19.14* 5.0 20.7
const& 限定的成员指针 P0704R1 8 6 19.14* 5.0 20.7
概念 P0734R0 6
(仅 TS)
10
10 19.23* (部分)* 20.11
不求值语境中的 lambda P0315R4 9 19.28 (16.8)*
三路比较运算符 P0515R3 10 8 (部分)
10
19.20* 5.1 20.7
DR :简化隐式 lambda 捕获 P0588R1 8 19.24* 5.1 20.7
基于范围的 for 的初始化语句 P0614R1 9 8 19.25*

11.0.0*

6.0 20.11
可默认构造与可赋值的无状态 lambda P0624R2 9 8 19.22*

10.0.1*

5.1
预置复制构造函数与 const 的不匹配 P0641R2 9 8 19.0 (2015)*

10.0.1*

5.1 20.7
特化上的访问检查 P0692R1 8 (部分) 19.26*

10.0.1* (部分)

5.1 20.7
ADL 与不可见的函数模板 P0846R0 9 9 19.21*

11.0.3*

5.1 20.7
DR:指定 constexpr 函数定义何时为常量求值所需要 P0859R0 5.2 (部分)*
9
8 19.27* (部分)*
属性 [[likely]][[unlikely]] P0479R5 9 12 19.26* 5.1 20.7
使 typename 更可选 P0634R3 9 19.29 (16.10)* 5.1 20.7
Lambda 初始化捕获中的包展开 P0780R2 9 9 19.22*

11.0.3*

6.1 20.11
属性 [[no_unique_address]] P0840R2 9 9 19.28 (16.9)**

11.0.3*

5.1 20.7
条件性平凡的特殊成员函数 P0848R3 10 19.28 (16.8)* 6.1 20.11
DR:放松结构化绑定定制点查找规则 P0961R1 8 8 19.21*

10.0.1*

5.1
DR:放松范围 for 循环定制点查找规则 P0962R1 8 5.1
DR :允许到可访问成员的结构化绑定 P0969R0 8 8 19.21*

10.0.1*

5.1
销毁的 operator delete P0722R3 9 6 19.27*

10.0.0*

6.1
非类型模板形参非类型模板形参中的类类型 P0732R2 9 12 (部分) 19.26*(部分)*
19.28 (16.9)*
6.2
弃用经由 [=] 隐式捕获 this P0806R2 9 7 19.22* 5.1 20.7
explicit(bool) P0892R2 9 9 19.24*

11.0.3*

5.1 20.7
集成功能特性测试宏 P0941R2 5 3.4 19.15* (部分)
19.20*
5.0 20.7
禁止有用户声明构造函数的聚合体 P1008R1 9 8 19.20*

10.0.1*

5.1 20.7
constexpr 虚函数 P1064R0 9 9 19.28 (16.9)*

11.0.3*

5.1 20.7
比较的一致性改进 P1120R0 10 8 (部分)
10
19.22*

10.0.1* (部分)

5.1 20.7
char8_t P0482R6 9 7 19.22*

10.0.0*

5.1 20.7
std::is_constant_evaluated() P0595R2 9 9 19.25*

11.0.3*

5.1 19.1
constexpr 函数中的 try-catch P1002R1 9 8 19.25*

10.0.1*

5.1 20.7
立即函数consteval P1073R3 10 (部分)*
11
11 (部分) 19.28 (16.8)**
(部分)
19.29 (16.10)*
5.1 20.7
嵌套内联命名空间 P1094R2 9 8 19.27*

10.0.1*

5.1 20.7
有约束声明的另一种手段 P1141R2 10 10 19.26* (部分)
19.28 (16.9)*
6.1 20.11
有符号整数为补码 P1236R1 9

11.0.3*

N/A
constexpr dynamic_cast 及多态 typeid P1327R1 10 9 19.29 (16.10)*

11.0.3*

5.1 20.7
constexpr 内更改联合体的活跃成员 P1330R0 9 9 19.10*

11.0.3*

5.1 20.7
协程 P0912R5 10 8 (部分) 19.0 (2015)* (部分)
19.10* (仅 TS)
19.28 (16.8)*

10.0.1* (部分)

5.1
括号形式的聚合体初始化 P0960R3 10 19.28 (16.8)* 5.1 20.7
DR: new 表达式中的数组大小推导 P1009R2 11 9 19.27*

11.0.3*

5.1 20.7
模块 P1103R3 11 (部分) 8 (部分) 19.0 (2015)* (部分)
19.10* (仅 TS)
19.28 (16.8)*

10.0.1* (部分)

更强的 Unicode 要求 P1041R4
P1139R2
10 19.0 (2015)* (P1041R4)
19.26* (P1139R2)
N/A
<=> != == P1185R2 10 10 19.22* 5.1 20.7
DR :拥有不同异常说明的显式默认化函数 P1286R2 10 9 19.28 (16.8)*

11.0.3*

5.1 20.7
结构化绑定的 lambda 捕获与存储类说明符 P1091R3
P1381R1
10 8 (部分) 19.11*(P1381R1)
19.24*(P1091R3)

10.0.1* (部分)

5.1 20.7
容许转换到未知边界数组 P0388R4 10 19.27* 6.0 20.11
constexpr 容器操作 P0784R7 10 10 19.28 (16.9)* 6.0 20.11
弃用 volatile 的某些用法 P1152R4 10 10 19.27* 6.0 20.11
constinit P1143R2 10 10 19.29 (16.10)* 6.1 20.11
弃用下标中的逗号运算符 P1161R3 10 9 19.25*

11.0.3*

6.0 20.11
带消息的 [[nodiscard]] P1301R4 10 9 19.25*

11.0.3*

6.0 20.11
constexpr 函数中的平凡默认初始化 P1331R2 10 10 19.27* 6.1 20.11
constexpr 函数中的不求值 asm 声明 P1668R1 10 10 19.28 (16.9)* 6.1 20.11
using enum P1099R5 11 13 19.24* 6.3
对指定的比较类别合成三路比较 P1186R3 11 10 19.24* 6.0 20.11
DR:构造函数的 [[nodiscard]] P1771R1 10 9 19.24*

11.0.3*

6.0 20.11
别名模板的类模板实参推导 P1814R0 10 19.27*
聚合类的类模板实参推导 P1816R0
P2082R1
10(P1816R0)
11(P2082R1)
19.27*
DR :更多局部对象与右值引用的隐式移动 P1825R0 11* 13 19.24* 6.0 20.11
允许默认化按值比较 P1946R0 10 10 19.25* 6.1 20.11
移除 std::weak_equalitystd::strong_equality P1959R0 10 10 19.25* 6.1 20.11
非类型模板形参的不一致 P1907R1 10 (部分)
11
12 (部分) 19.26* 6.2
DR:伪析构函数终结对象生存期 P0593R6 11 11 N/A
DR :应认为从 T*bool 的转换为窄化 P1957R2 10*
11*
11 19.27* 6.1
C++20 功能特性
 
提案
 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XLC++
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++
Nvidia nvcc

C++20 库功能特性

C++20 功能特性
 
提案
 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang
Sun/Oracle C++
标准库
Embarcadero C++ Builder
标准库
Cray C++
标准库
std::endian P0463R1 8 7 19.22*

10.0.0*

扩展 std::make_shared() 以支持数组 P0674R1 19.27*
浮点原子类型 P0020R6 10 19.22*
同步缓冲std::basic_osyncstream P0053R7 11 19.29 (16.10)*
<algorithm><utility>constexpr P0202R3 10 8 (部分)
12
19.26*

10.0.1* (部分)

<complex> 的更多 constexpr P0415R1 9 7 (部分) 19.27*

10.0.0* (部分)

使 std::memory_order 为有作用域枚举 P0439R0 9 9 19.25*

11.0.3*

字符串前缀后缀检查: string(_view) ::starts_with/ends_with P0457R2 9 6 19.21*

10.0.0*

=operator<=> 的库支持 <compare> P0768R1 10 7 (部分)
12
19.20* (部分)
19.28 (16.9)*

10.0.0* (部分)

std::remove_cvref P0550R2 9 6 19.20*

10.0.0*

标准库中的 [[nodiscard]] P0600R1 9 7 (部分) 19.13* (部分)
19.22*

10.0.0* (部分)

数值算法使用 std::move P0616R0 9 12 19.23*
转换指针为裸指针的工具 P0653R2 8 6 19.22*
原子 std::shared_ptrstd::weak_ptr P0718R2 19.27*
std::span P0122R7 10 7 19.26*

10.0.0*

日历时区 P0355R7 11 (部分) 7 (部分) 19.29 (16.10)*

10.0.0* (部分)

<version> P0754R2 9 7 19.22*

10.0.0*

比较无序容器 P0809R0 16.0*
常量表达式迭代器 (ConstexprIterator) 要求 P0858R0 9 19.11*
std::basic_string::reserve() 不应收缩 P0966R1 11 8 19.25*

10.0.1*

带填充位的原子比较交换 P0528R3 19.28 (16.8)*
std::atomic_ref P0019R8 10 19.28 (16.8)*
关联容器的 contains() 成员函数,如 std::map::contains() P0458R2 9 9 (部分)*
13
19.21*

11.0.3*

DR :逐片构造的受保证复制消除 P0475R1 9 19.29 (16.10)*
std::bit_cast() P0476R2 11 19.27*
整数的 2 的幂的运算

std::bit_ceil()std::bit_floor()std::bit_width()std::has_single_bit()

P0556R3
P1956R1
9 (P0556R3)
10 (P1956R1)
9 (P0556R3)
12 (P1956R1)
19.25* (P0556R3)*
19.27* (P1956R1)*
19.28 (16.8)*
改进擦除式算法的返回值 P0646R1 9 10 19.21*
std::destroying_delete P0722R3 9 9 19.27*

11.0.3*

std::is_nothrow_convertible P0758R1 9 9 19.23*

11.0.3*

添加 std::shift_left/right<algorithm> P0769R2 10 12 19.21*
std::swap()swap 相关函数的 constexpr P0879R0 10 12 (部分)
13
19.26*
std::type_identity P0887R1 9 8 19.21*

10.0.1*

概念库 P0898R3 10 13 19.23*
std::arrayconstexpr 比较运算符 P1023R0 10 8 19.27*

10.0.1*

std::unwrap_ref_decaystd::unwrap_reference P0318R1 9 8 19.21*

10.0.1*

std::bind_front() P0356R5 9 13 19.25*
不完整类型的 std::reference_wrapper P0357R3 9 8 19.26*

10.0.1*

修正 operator>>(basic_istream&, CharT*) P0487R1 11 8 19.23*

10.0.1*

char8_t 的库支持 P0482R6 9 8 (部分)*
19.22*
实现使用分配器构造工具函数 P0591R4 9 19.29 (16.10)*
DR: std::variantstd::optional 应传播复制/移动平凡性 P0602R4 8.3 8 19.11*

10.0.1*

理智的 std::variant 转换构造函数 P0608R3 10 9 19.29 (16.10)*

11.0.3*

std::function 的移动构造函数应为 noexcept P0771R1 7.2 6 19.22*
一个范围提案 P0896R4 10 13 (部分) 19.29 (16.10)*
无序容器的异质查找 P0919R3 P1690R1 11 12 19.23* (P0919R3)
19.25* (P1690R1)
<chrono> zero()min()max() 应为 noexcept P0972R0 9 8 19.14*

10.0.1*

std::pointer_traits 中的 constexpr P1006R1 9 8 19.26*

10.0.1*

std::assume_aligned() P1007R3 9*
11
19.28 (16.9)*
使用默认初始化的智能指针创建(如 make_unique_for_overwrite P1020R1
P1973R1
19.28 (16.9)*
杂项 constexpr 小部分 P1032R1 10 13 19.28 (16.8)*
移除 std::span 的比较运算符 P1085R2 10 8 19.26*

10.0.1*

使 operator+(basic_string) 的有状态分配器传播更加一致 P1165R1 10 19.26*
一致容器擦除,如 std::erase(std::vector)std::erase_if(std::map) P1209R0 P1115R3 9 (P1209R0)
10 (P1115R3)
8 (P1209R0)
11 (P1115R3)
19.25* (P1209R0)
19.27* (P1115R3)

10.0.1* (P1209R0)

标准库头文件单元 P1502R1 11 19.29 (16.10)*
polymorphic_allocator<> 作为词汇类型 P0339R6 9 19.28 (16.9)*
std::execution::unseq P1001R2 9 19.28 (16.8)*
std::lerp()std::midpoint() P0811R3 9 9 19.23* (部分)
19.28 (16.8)*

11.0.3*

std::span 的实用性增强 P1024R3 10 9 19.26*

11.0.3*

DR:使 create_directory() 自发 P1164R1 8.3 12 19.20*
std::ssize()std::span 的无符号长度 P1227R2 10 9 19.25*

11.0.3*

有界无界数组特征 P1357R1 9 9 19.25*

11.0.3*

std::to_array() P0325R4 10 10 19.25*
std::basic_stringbuf 缓冲的有效访问 P0408R7 11 19.29 (16.10)*
布局兼容性指针可互转换性特征 P0466R5 19.29 (16.10)**
位操作std::

rotl()rotr()countl_zero()countl_one()countr_zero()countr_one()popcount()

P0553R4 9 9 19.25**
19.28 (16.8)*

11.0.3*

数学常数 P0631R8 10 11 19.25*
文本格式化 P0645R10 19.29 (16.10)*
std::stop_tokenstd::jthread P0660R10 10 19.28 (16.9)*
constexpr std::allocator 及相关工具 P0784R7 10 12 19.29 (16.10)*
constexpr std::string P0980R1 19.29 (16.10)*
constexpr std::vector P1004R2 19.29 (16.10)*
输入范围适配器 P1035R7 10 19.29 (16.10)*
constexpr std::invoke() 及相关工具 P1065R2 10 12 19.28 (16.8)*
原子等待与提醒、 std::counting_semaphorestd::latchstd::barrier P1135R6 11 11 19.28 (16.8)*
std::source_location P1208R6 11 19.29 (16.10)*
添加 <=> 到标准库 P1614R2 10 19.29 (16.10)*
std::atomicstd::atomic_flagconstexpr 默认构造函数 P0883R2 10 13 19.26*
数值算法constexpr P1645R1 10 12 19.26*
安全整数比较 P0586R2 10 13 19.27*
C++20 功能特性
 
提案
 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang
Sun/Oracle C++
标准库
Embarcadero C++ Builder
标准库
Cray C++
标准库

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