命名空间
变体
操作

C++20

来自 cppreference.com
< cpp
 
C++
 
版本
 

C++ 标准的当前版本

本节尚未完工

目录

[编辑] 新的语言特性

[编辑] 新的库特性

[编辑] 新的头文件

在 线程支持库 中

[编辑] 库特性

[编辑] 缺陷报告

C++20 中修复的缺陷报告（158 个核心，345 个库）

[编辑] 编译器支持

主要文章：C++20 编译器支持

[编辑] C++20 核心语言特性

C++20 特性

  		论文

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
适用于 AIX 的 IBM Open XL C++
适用于 z/OS 的 IBM Open XL C++
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (原 PGI)*
Nvidia nvcc
允许 Lambda 捕获 [=, this] P0409R2 8 6 19.22*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
__VA_OPT__ P0306R4
P1042R1 		8（部分）*
10（部分）*
12 		9 19.25*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
指定初始化器 P0329R4 4.7（部分）*
8 		3.0（部分）*
10 		19.21*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
泛型 lambdas 的模板参数列表 P0428R2 8 9 19.22*

11.0.0*

5.1 2021.1 11.0 20.7 12.0
位字段的默认成员初始化器 P0683R1 8 6 19.25*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
类模板参数推导中的初始化列表构造函数 P0702R1 8 6 19.14* 是 5.0 2021.1 11.0 20.7 12.0
成员的 const& 限定指针 P0704R1 8 6 19.0 (2015)*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
概念 P0734R0 6
（仅限 TS）
10 		10 19.23* （部分）*
19.30*

12.0.0*（部分）

 6.1 2023.1* 11.0 20.11 12.0
未求值上下文中的 Lambdas P0315R4 9 13（部分）*
14（部分）*
17 		19.28 (16.8)*

13.1.6*（部分）

 6.2 2023.1（部分）
2024.0 		12.0
三路比较运算符 P0515R3 10 8（部分）
10 		19.20*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
DR11：简化隐式 lambda 捕获 P0588R1 8 19.24* 5.1 2021.1 20.7 12.0
基于范围的 for 的 init 语句 P0614R1 9 8 19.25*

11.0.0*

6.0 2021.7 11.0 20.11 12.0
默认可构造和可赋值的无状态lambdas P0624R2 9 8 19.22*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
默认特殊成员函数的类型不匹配 P0641R2 9 （部分）* 8 19.0 (2015)* （部分）*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
特化的访问检查 P0692R1 是 8（部分）
14 		19.26*

14.0.0*

5.1 2021.1 20.7 12.0
ADL 和不可见的函数模板 P0846R0 9 9 19.21*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
DR11：指定何时需要 constexpr 函数定义进行常量求值 P0859R0 5.2（部分）*
9 		8 19.27*（部分）*
19.31**

11.0.0*

11.0 12.0
属性 [[likely]] 和 [[unlikely]] P0479R5 9 12 19.26*

13.0.0*

5.1 2021.7 20.7 12.0
使 typename 更可选 P0634R3 9 16 19.29 (16.10)* 5.1 2023.1 20.7 12.0
包扩展 在 lambda 初始化捕获 中 P0780R2 9 9 19.22*

11.0.3*

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

11.0.3*

5.1 2021.1 11.0 20.7 12.0
条件平凡特殊成员函数 P0848R3 10 16 19.28 (16.8)* 6.1 2021.7 20.11 12.0
DR17：放宽结构化绑定自定义点查找规则 P0961R1 8 8 19.21*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
DR11：放宽range-for 循环自定义点查找规则 P0962R1 8 8 19.25*

11.0.0*

5.1 2021.1 11.0 20.7 12.0
DR17：允许结构化绑定到可访问成员 P0969R0 8 8 19.21*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
销毁 operator delete P0722R3 9 6 19.27*

10.0.0*

6.1 2023.1 11.0 20.11 12.0
非类型模板参数中的类类型 P0732R2 9 12（部分） 19.26*（部分）*
19.28 (16.9)*

13.0.0*（部分）

 6.2 2023.1（部分） 12.0
弃用通过 [=] 隐式捕获 this P0806R2 9 7 19.22*

10.0.1*

5.1 11.0 20.7 12.0
explicit(bool) P0892R2 9 9 19.24*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
集成特性测试宏 P0941R2 5 3.4 19.15*（部分）
19.20* 		是 5.0 2021.1 11.0 20.7 12.0
禁止使用用户声明的构造函数的聚合 P1008R1 9 8 19.20*

10.0.1*

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

11.0.3*

5.1 2021.1 11.0 20.7 12.0
比较的一致性改进 P1120R0 10 8（部分）
10 		19.22*

12.0.0*

5.1 2023.1 11.0 20.7 12.0
char8_t P0482R6 9 7* 19.22*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
std::is_constant_evaluated() P0595R2 9 9 19.25*

11.0.3*

5.1 19.1 11.0 12.0
constexpr try-catch 块 P1002R1 9 8 19.25*

10.0.1*

5.1 2023.1 11.0 20.7 12.0
立即函数 (consteval) P1073R3 10（部分）*
11 		11（部分）
14（部分）*
17 		19.28 (16.8)*
（部分）*
19.29 (16.10)*

11.0.3*（部分）
15.0.0*

5.1 2021.1 20.7 12.0
嵌套内联命名空间 P1094R2 9 8 19.27*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
受限 声明的另一种方法 P1141R2 10 10 19.26*（部分）
19.28 (16.9)*

12.0.5*

6.1 2023.1 11.0 20.11 12.0
有符号整数是二进制补码 P1236R1 9 9 是

11.0.3*

不适用 2023.1* 11.0 是* 12.0
dynamic_cast 和常量表达式中的多态 typeid P1327R1 10 9 19.29 (16.10)*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
在 constexpr 内更改联合的活动成员 P1330R0 9 9 19.10*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
协程 P0912R5 10 8（部分）
17（部分）* 		19.0 (2015)*（部分）
19.10*（仅限 TS）
19.28 (16.8)*

10.0.1*（部分）

 5.1 2021.1 12.0（仅限宿主代码）
聚合的带括号初始化 P0960R3 10 16 19.28 (16.8)* 5.1 2021.1 20.7 12.0
DR11：new 表达式中的数组大小推导 P1009R2 11 9 19.27*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
模块 P1103R3 11（部分） 8（部分） 19.0 (2015)*（部分）
19.10*（仅限 TS）
19.28 (16.8)*

10.0.1*（部分）

 2023.1（部分）
更严格的 Unicode 要求 P1041R4
P1139R2 		10 是 19.0 (2015)* (P1041R4)
19.26* (P1139R2)		 是 不适用 2023.1* 11.0 12.0
<=> != == P1185R2 10 10 19.22*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
DR11：具有不同异常规范的显式默认函数 P1286R2 10 9 19.28 (16.8)*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
结构化绑定的 Lambda 捕获和存储类说明符 P1091R3
P1381R1 		10 8（部分）
16 		19.11*(P1381R1)
19.24*(P1091R3)

10.0.1*（部分）

 5.1 2021.1 20.7 12.0
允许转换为未知边界数组 P0388R4 10 14 19.27*

14.0.0*

6.0 2021.5 20.11 12.0
constexpr 容器操作 P0784R7 10 10 19.28 (16.9)*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
弃用 volatile 的某些用法 P1152R4 10 10 19.27*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
constinit P1143R2 10 10 19.29 (16.10)*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
弃用下标中的逗号运算符 P1161R3 10 9 19.25*

11.0.3*

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

11.0.3*

6.0 2021.5 11.0 20.11 12.0
constexpr 函数中的平凡默认初始化 P1331R2 10 10 19.27*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
constexpr 函数中未评估的 asm 声明 P1668R1 10 10 19.28 (16.9)*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
使用枚举 P1099R5 11 13 19.24*

13.1.6*

6.3 2023.1 12.0
为指定的比较类别合成三路比较 P1186R3 11 10 19.24*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
DR17：构造函数的 [[nodiscard]] P1771R1 10 9 19.24*

11.0.3*

6.0 2021.5 11.0 20.11 12.0
别名模板的类模板参数推导 P1814R0 10 19 19.27* 6.5 12.0
聚合的类模板参数推导 P1816R0
P2082R1 		10(P1816R0)
11(P2082R1)		 17 19.27* 6.3 2023.1（部分）*
2024.1 		12.0
DR11：更多局部对象和右值引用的隐式移动 P1825R0 11* 13 19.24*

13.1.6*

6.0 2021.5 20.11 12.0
允许按值默认比较 P1946R0 10 10 19.25*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
移除 std::weak_equality 和 std::strong_equality P1959R0 10 10 19.25*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
非类型模板参数的不一致性 P1907R1 10（部分）
11 		18（部分）* 19.26*

13.1.6*（部分）

 6.2 2023.1（部分） 12.0
DR98：伪析构函数结束对象生命周期 P0593R6 11 11 是

12.0.5*

不适用 2023.1* 11.0 12.0
DR11：从 T* 转换为 bool 应视为窄化 P1957R2 10*
11* 		11 19.27*

12.0.5*

6.1 11.0 12.0
 

C++20 特性		  

论文
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
适用于 AIX 的 IBM Open XL C++
适用于 z/OS 的 IBM Open XL C++
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (原 PGI)*
Nvidia nvcc

[编辑] C++20 库功能

C++20 特性

  		论文

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*
std::endian P0463R1 8 7 19.22*

10.0.0*

扩展 std::make_shared() 以支持数组 P0674R1 12 15 19.27*

14.0.3*

浮点原子 P0020R6 10 18 19.22*
同步缓冲 (std::basic_osyncstream) P0053R7 11 18 19.29 (16.10)*
<algorithm> 和 <utility> 的 constexpr P0202R3 10 8（部分）
12 		19.26*

10.0.1*（部分）
13.0.0*

<complex> 的更多 constexpr P0415R1 9 7（部分）
16 		19.27*

10.0.0*（部分）
15.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*

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

13.0.0*

std::remove_cvref P0550R2 9 6 19.20*

10.0.0*

标准库 中的 [[nodiscard]] P0600R1 9 7（部分）
16 		19.13*（部分）
19.22*

10.0.0*（部分）
15.0.0*

在 数值算法 中使用 std::move P0616R0 9 12 19.23*

13.0.0*

将指针转换为原始指针的实用工具 P0653R2 8 6 19.22* 是
原子 std::shared_ptr 和 std::weak_ptr P0718R2 12 19.27*
std::span P0122R7 10 7 19.26*

10.0.0*

日历 和 时区 P0355R7 11（部分）*
13（部分）*
14 		7（部分）
19 (部分)* 		19.29 (16.10)*

10.0.0*（部分）
<version> P0754R2 9 7 19.22*

10.0.0*

比较无序容器 P0809R0 是 是 16.0* 是
ConstexprIterator 要求 P0858R0 9 12 19.11*

13.0.0*

std::basic_string::reserve() 不应收缩 P0966R1 11 8 19.25*

10.0.1*

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

13.1.6*

DR11：分段构造 的保证复制省略 P0475R1 9 是 19.29 (16.10)* 是
std::bit_cast() P0476R2 11 14 19.27*

14.0.3*

整数 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)*

11.0.3* (P0556R3)
13.0.0* (P1956R1)
改进类 erase 算法的返回值 P0646R1 9 10 19.21*

12.0.0*

std::destroying_delete P0722R3 9 9 19.27*

11.0.3*

std::is_nothrow_convertible P0758R1 9 9 19.23*

11.0.3*

向 <algorithm> 添加 std::shift_left/right P0769R2 10 12 19.21*

13.0.0*

std::swap() 和 swap 相关函数的 Constexpr P0879R0 10 13 19.26*

13.1.6*

std::type_identity P0887R1 9 8 19.21*

10.0.1*

概念库 P0898R3 10 13 19.23*

13.1.6*

std::array 的 constexpr 比较运算符 P1023R0 10 8 19.27*

10.0.1*

std::unwrap_ref_decay 和 std::unwrap_reference P0318R1 9 8 19.21*

10.0.1*

std::bind_front() P0356R5 9 13 19.25*

13.1.6*

用于不完整类型的 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（部分）
16 		19.22*

10.0.1*（部分）
15.0.0*

实用函数，用于实现 uses-allocator 构造 P0591R4 9 16 19.29 (16.10)*

15.0.0*

DR17：std::variant 和 std::optional 应该传播复制/移动的平凡性 P0602R4 8.3 8 19.11*

10.0.1*

DR17：一个合理的 std::variant 转换构造函数 P0608R3 10 9 19.29 (16.10)**
19.42**

11.0.3*

std::function 的移动构造函数应该是 noexcept P0771R1 7.2 6 19.22* 是
单 区间 提案 P0896R4 10 13（部分）
15* 		19.29 (16.10)*

14.0.3*

对 无序容器 的异构查找 P0919R3 P1690R1 11 12 19.23* (P0919R3)
19.25* (P1690R1)

13.0.0*

<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 		15 19.28 (16.9)*

14.0.3*

使用默认初始化创建智能指针（例如 make_unique_for_overwrite） P1020R1
P1973R1 		11 (unique_ptr)
12 (shared_ptr)		 16 19.28 (16.9)*

15.0.0*

其他 constexpr 部分 P1032R1 10 13 19.28 (16.8)*

13.1.6*

删除 std::span 的比较运算符 P1085R2 10 8 19.26*

10.0.1*

使有状态分配器传播对于 operator+(basic_string) 更一致 P1165R1 10 15 19.26*

14.0.3*

一致的容器擦除，例如 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)
12.0.5* (P1115R3)
标准库头单元 P1502R1 11 19.29 (16.10)*
polymorphic_allocator<> 作为词汇类型 P0339R6 9 16 19.28 (16.9)*

15.0.0*

std::execution::unseq P1001R2 9 17 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*
14 		19.26*

11.0.3*

DR17：使 create_directory() 更直观 P1164R1 8.3 12 19.20*

13.0.0*

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*

12.0.0*

对 std::basic_stringbuf 缓冲区的有效访问 P0408R7 11 17 19.29 (16.10)*

15.0.0*

布局-兼容性 和 指针-可互换性 特征 P0466R5 12 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*

12.0.5*

文本格式化 P0645R10 13 14*
17 		19.29 (16.10)*

15.0.0*

std::stop_token 和 std::jthread P0660R10 10 17
（部分）*
20* 		19.28 (16.9)*
constexpr std::allocator 和相关实用程序 P0784R7 10 12 19.29 (16.10)*

13.0.0*

constexpr std::string P0980R1 12 15 19.29 (16.10)*
19.30**

14.0.3*

constexpr std::vector P1004R2 12 15 19.29 (16.10)*
19.30**

14.0.3*

输入 区间适配器 P1035R7 10 16 19.29 (16.10)*

15.0.0*

constexpr std::invoke() 和相关实用程序 P1065R2 10 12 19.28 (16.8)*

13.0.0*

原子等待和通知，std::counting_semaphore、std::latch 和 std::barrier P1135R6 11 11 19.28 (16.8)*

13.1.6*

std::source_location P1208R6 11 15*
（部分）
16 		19.29 (16.10)*

15.0.0*

向标准库添加 <=> P1614R2 10 14*
（部分）
17*
（部分）
19 		19.29 (16.10)*

13.1.6*（部分）
std::atomic 和 std::atomic_flag 的 constexpr 默认构造函数 P0883R2 10 13 19.26*

13.1.6*

数值算法 的 constexpr P1645R1 10 12 19.26*

13.0.0*

安全的整数比较 P0586R2 10 13 19.27*

13.1.6*

 

C++20 特性		  

论文
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*

* - 将鼠标悬停在标有星号 * 的单元格上，以查看其他弹出注释。
DRnn - “DR” 后的数字 nn 表示缺陷报告所应用的目标 C++ 版本，例如，DR20 → C++20。

[编辑] 外部链接

  有效的 C++20 示例
取自“https://cppreference.cn/mwiki/index.php?title=cpp/20&oldid=168853”