C++20 的编译器支持
来自cppreference.com
< cpp | compiler support
* - 在版本号上停留可以查看注记 * 查看其他注记
DRnn - 在 "DR" 后的数字 nn 表示应用该缺陷报告的目标 C++ 修订版本,例如 DR20 → 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* | (部分)* | 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 | |
| 类模板实参推导中的 intializer_list 构造函数 | 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 | * | 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 (host code only) | ||
| 括号形式的聚合体初始化 (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 | |
| 模块 (FTM)* | 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 容器操作 (FTM)*
|
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 (FTM)* | 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 (FTM)* | 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 | |
| 别名模板的类模板实参推导 (FTM)* | P1814R0 | 10 | 19 | 19.27* | 6.5 | 23.9 | 12.0 | ||||
| 聚合类的类模板实参推导 (FTM)* | 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_equality 与 std::strong_equality
|
P1959R0 | 10 | 10 | 19.25* | 12.0.0* | 6.1 | 2021.7 | 20.11 | 12.0 | 11.0 | |
| 非类型模板形参的不一致 (FTM)* | 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 |
