C++20 的编译器支持
来自cppreference.com
< cpp | compiler support
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_equality 与 std::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_ptr 与 std::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::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* | |||||
不完整类型的 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::variant 与 std::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_token 与 std::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_semaphore 、 std::latch 及 std::barrier | P1135R6 | 11 | 11 | 19.28 (16.8)* | |||||
std::source_location | P1208R6 | 11 | 19.29 (16.10)* | ||||||
添加 <=> 到标准库
|
P1614R2 | 10 | 19.29 (16.10)* | ||||||
std::atomic 与 std::atomic_flag 的 constexpr 默认构造函数
|
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++ 标准库 |