命名空间
变体
操作

C++20

来自 cppreference.cn
< cpp

C++20 是 C++17 之后的主要版本,具有主要特性(概念、模块、协程和范围)以及其他语言和库特性。该标准于 2020 年 12 月发布。

目录

[编辑] 新语言特性

[编辑] 新库特性

[编辑] 新头文件

线程支持库

[编辑] 库特性

[编辑] 缺陷报告

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

[编辑] 编译器支持

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

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

C++20 特性

 
论文

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Cray
允许 Lambda 捕获 [=, this] P0409R2 8 6 19.22* 10.0.0* 5.1 2021.1 20.7 12.0 11.0
__VA_OPT__ P0306R4
P1042R1
8 (部分)*
10 (部分)*
12
9 19.25* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
指定初始化器  (FTM)* P0329R4 4.7 (部分)*
8
3.0 (部分)*
10
19.21* 12.0.0* 5.1 2021.1 20.7 12.0 11.0
泛型 lambda 的模板形参列表  (FTM)* P0428R2 8 9 19.22* 11.0.0* 5.1 2021.1 20.7 12.0 11.0
位域的默认成员初始化器 P0683R1 8 6 19.25* 10.0.0* 5.1 2021.1 20.7 12.0 11.0
类模板参数推导中的初始化器列表构造函数 P0702R1 8 6 19.14* 5.0 2021.1 20.7 12.0 11.0
const& 限定的成员指针 P0704R1 8 6 19.0 (2015)* 10.0.0* 5.1 2021.1 20.7 12.0 11.0
概念  (FTM)* P0734R0 5*
10
10 19.23* (部分)*
19.30*
12.0.0* (部分) 6.1 2023.1* 20.11 12.0 11.0
未求值上下文中的 Lambda P0315R4 9 13 (部分)*
14 (部分)*
17
19.28 (16.8)* 13.1.6* (部分) 6.2 2023.1 (部分)
2024.0
20.7 12.0
三路比较 运算符  (FTM)* P0515R3 10 8 (部分)
10
19.20* 12.0.0* 5.1 2021.1 20.7 12.0 11.0
DR11:简化隐式 lambda 捕获 P0588R1 8 19.24* 5.1 2021.1 20.7 12.0
基于范围的 for 循环的初始化语句 P0614R1 9 8 19.25* 11.0.0* 6.0 2021.7 20.11 12.0 11.0
默认可构造和可赋值的无状态 lambda P0624R2 9 8 19.22* 10.0.1* 5.1 2021.1 20.7 12.0 11.0
默认特殊成员函数的类型不匹配 P0641R2 9 (部分)* 8 19.0 (2015)* (部分)* 10.0.1* 5.1 2021.1 20.7 12.0 11.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 20.7 12.0 11.0
DR11:指定何时 constexpr 函数定义是 常量求值所必需的  (FTM)* P0859R0 5.2 (部分)*
9
8 19.27* (部分)*
19.31**
11.0.0* (部分) 12.0 11.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)* 16.0.0* 5.1 2023.1 20.7 12.0
包展开lambda 初始化捕获 中  (FTM)* P0780R2 9 9 19.22* 11.0.3* 6.1 2021.7 20.11 12.0 11.0
属性 [[no_unique_address]] P0840R2 9 9 19.28 (16.9)** 11.0.3* 5.1 2021.1 20.7 12.0 11.0
有条件地平凡的特殊成员函数  (FTM)* P0848R3 10 16 19.28 (16.8)* 6.1 2021.7 20.11 12.0
DR17:放宽 结构化绑定 自定义点查找规则 P0961R1 8 8 19.20* 10.0.1* 5.1 2021.1 20.7 12.0 11.0
DR11:放宽 范围 for 循环 自定义点查找规则 P0962R1 8 8 19.25* 11.0.0* 5.1 2021.1 20.7 12.0 11.0
DR17:允许结构化绑定到可访问的成员 P0969R0 8 8 19.20* 10.0.1* 5.1 2021.1 20.7 12.0 11.0
销毁 operator delete  (FTM)* P0722R3 9 6 19.27* 10.0.0* 6.1 2023.1 20.11 12.0 11.0
非类型模板参数 中的类类型 P0732R2 9 12 (部分) 19.26*(部分)*
19.28 (16.9)*
13.0.0* (部分) 6.2 2023.1 (部分) 21.3 12.0
弃用通过 [=] 隐式 捕获 this P0806R2 9 7 19.22* 10.0.1* 5.1 20.7 12.0 11.0
explicit(bool)  (FTM)* P0892R2 9 9 19.24* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
集成 特性测试宏 P0941R2 5 3.4 19.15* (部分)
19.20*
5.0 2021.1 20.7 12.0 11.0
禁止使用用户声明的构造函数的聚合 P1008R1 9 8 19.20* 10.0.1* 5.1 2021.1 20.7 12.0 11.0
constexpr 虚函数  (FTM)* P1064R0 9 9 19.28 (16.9)* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
比较的一致性改进 P1120R0 10 8 (部分)
10
19.22* 12.0.0* 5.1 2023.1 20.7 12.0 11.0
char8_t  (FTM)* P0482R6 9 7* 19.22* 10.0.0* 5.1 2021.1 20.7 12.0 11.0
std::is_constant_evaluated()  (FTM)* P0595R2 9 9 19.25* 11.0.3* 5.1 19.1 21.1 12.0 11.0
constexpr try-catch P1002R1 9 8 19.25* 10.0.1* 5.1 2023.1 20.7 12.0 11.0
立即函数 (consteval)  (FTM)* 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 20.7 12.0 11.0
另一种 约束 声明 的方法 P1141R2 10 10 19.26* (部分)
19.28 (16.9)*
12.0.5* 6.1 2023.1 20.11 12.0 11.0
有符号整数是二的补码 P1236R1 9 9 11.0.3* 不适用 2023.1* 是* 12.0 11.0
dynamic_cast 和多态 typeid常量表达式 P1327R1 10 9 19.28 (16.9)* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
constexpr 内部更改联合的活动成员  (FTM)* P1330R0 9 9 19.10* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
协程  (FTM)*  (FTM)* P0912R5
LWG3393
10 8 (部分)
17 (部分)*
19.0 (2015)* (部分)
19.10**
19.28 (16.8)*
10.0.1* (部分) 5.1 2021.1 23.3* 12.0 (仅主机代码)
聚合的带圆括号的初始化  (FTM)* P0960R3 10 16 19.28 (16.8)* 16.0.0* 5.1 2021.1 20.7 12.0
DR11:new 表达式中的数组大小推导 P1009R2 11 9 19.27* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
模块  (特性测试宏)* P1103R3 11 (部分) 8 (部分) 19.0 (2015)* (部分)
19.10**
19.28 (16.8)*
10.0.1* (部分) 2023.1 (部分)
更强的 Unicode 要求 P1041R4
P1139R2
10 19.0 (2015)**
19.26**
不适用 2023.1* 12.0 11.0
<=> != == P1185R2 10 10 19.22* 12.0.0* 5.1 2021.1 20.7 12.0 11.0
DR11: 显式默认函数的不同异常规范 P1286R2 10 9 19.28 (16.8)* 11.0.3* 5.1 2021.1 20.7 12.0 11.0
Lambda 捕获和结构化绑定的存储类说明符 P1091R3
P1381R1
10 8 (部分)
16
19.11**
19.24**
16.0.0* 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 20.11 12.0 11.0
弃用 volatile 的某些用法 P1152R4 10 10 19.27* 12.0.0* 6.0 2021.5 20.11 12.0 11.0
constinit  (特性测试宏)* P1143R2 10 10 19.29 (16.10)* 12.0.0* 6.1 2021.7 20.11 12.0 11.0
弃用下标中的逗号运算符 P1161R3 10 9 19.25* 11.0.3* 6.0 2021.7 20.11 12.0 11.0
[[nodiscard]] 带消息 P1301R4 10 9 19.25* 11.0.3* 6.0 2021.5 20.11 12.0 11.0
constexpr 函数中的平凡默认初始化 P1331R2 10 10 19.27* 12.0.0* 6.1 2021.7 20.11 12.0 11.0
constexpr 函数中未求值的 asm-声明 P1668R1 10 10 19.28 (16.9)* 12.0.0* 6.1 2021.7 20.11 12.0 11.0
using enum  (特性测试宏)* P1099R5 11 13 19.24* 13.1.6* 6.3 2023.1 22.5 12.0
为指定的比较类别合成 三路比较 P1186R3 11 10 19.24* 12.0.0* 6.0 2021.5 20.11 12.0 11.0
DR17: 构造函数的 [[nodiscard]] P1771R1 10 9 19.24* 11.0.3* 6.0 2021.5 20.11 12.0 11.0
别名模板的 类模板参数推导  (特性测试宏)* P1814R0 10 19 19.27* 6.5 23.9 12.0
聚合的 类模板参数推导  (特性测试宏)* P1816R0
P2082R1
10*
11*
17 19.27* 6.3 2023.1 (部分)*
2024.1
23.3 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 20.11 12.0 11.0
移除 std::weak_equalitystd::strong_equality P1959R0 10 10 19.25* 12.0.0* 6.1 2021.7 20.11 12.0 11.0
非类型模板参数的不一致性  (特性测试宏)* P1907R1 10 (部分)
11
18 (部分)* 19.26* 13.1.6* (部分) 6.2 2023.1 (部分) 21.3 12.0
DR98: 伪析构函数结束对象生命周期 P0593R6 11 11 12.0.5* 不适用 2023.1* 12.0 11.0
DR11: 从 T* 转换为 bool 应被视为窄化转换 P1957R2 10*
11*
11 19.27* 12.0.5* 6.1 12.0 11.0
 

C++20 特性
 

论文
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Cray

[编辑] C++20 库功能

C++20 特性

 
论文

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
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* 16.0.0*
同步缓冲 (std::basic_osyncstream)  (特性测试宏)* P0053R7 11 18 19.29 (16.10)*
constexpr 用于 <algorithm><utility>  (特性测试宏)* P0202R3 10 8 (部分)
12
19.26* 10.0.1* (部分)
13.0.0*
更多 constexpr 用于 <complex>  (特性测试宏)* 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*
operator<=> 的库支持 <compare>  (特性测试宏)* 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_ptrstd::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*
整数二次幂运算

std::bit_ceil(), std::bit_floor(), std::bit_width(), std::has_single_bit()  (特性测试宏)*

P0556R3
P1956R1
9*
10*
9*
12*
19.25**
19.27**
19.28 (16.8)*
11.0.3**
13.0.0**
改进类似擦除算法的返回值  (特性测试宏)* P0646R1 9 10 19.21* 12.0.0*
std::destroying_delete_t  (特性测试宏)* P0722R3 9 9 19.27* 11.0.3*
std::is_convertible  (特性测试宏)* P0758R1 9 9 19.23* 11.0.3*
添加 std::shift_left/right<algorithm>  (特性测试宏)* P0769R2 10 12 19.21* 13.0.0*
constexpr 用于 std::swap()swap 相关函数 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::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* 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::variantstd::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*
constexprstd::pointer_traits 中  (特性测试宏)* 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*
12*
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*
10*
8*
11*
19.25**
19.27**
10.0.1**
12.0.5**
标准库头单元 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: 使 std::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_tokenstd::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  (特性测试宏)* P0426R1
P1032R1
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::latchstd::barrier  (特性测试宏)*  (特性测试宏)*  (特性测试宏)*  (特性测试宏)*  (特性测试宏)*  (特性测试宏)* P1135R6 11 11 19.28 (16.9)* 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* (部分)
constexpr std::atomicstd::atomic_flag 的默认构造函数  (特性测试宏)* 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*

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

[编辑] 外部链接

1.  C++20 - 维基百科
2.  可工作的 C++20 示例