C++20 的编译器支持
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 | 2021.1 | 20.7 | ||||||
| __VA_OPT__ | P0306R4 P1042R1 | 8 (部分)* 10 (部分)* 12 | 9 | 19.25* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 指派初始化器 | P0329R4 | 4.7 (部分)* 8 | 3.0 (部分)* 10 | 19.21* | (部分)* | 5.1 | 2021.1 | 20.7 | ||||||
| 泛型 lambda 的模板形参列表 | P0428R2 | 8 | 9 | 19.22* | 11.0.0* | 5.1 | 2021.1 | 20.7 | ||||||
| 位域的默认成员初始化器 | P0683R1 | 8 | 6 | 19.25* | 10.0.0* | 5.1 | 2021.1 | 20.7 | ||||||
| 类模板实参推导中的 intializer_list 构造函数 | P0702R1 | 8 | 6 | 19.14* | 是 | 5.0 | 2021.1 | 20.7 | ||||||
| const& 限定的成员指针 | P0704R1 | 8 | 6 | 19.0 (2015)* | 10.0.0* | 5.1 | 2021.1 | 20.7 | ||||||
| 概念 | P0734R0 | 6 (仅 TS) 10 | 10 | 19.23* (部分)* 19.30* | 12.0.0* (partial) | 6.1 | 2021.5 | 20.11 | ||||||
| 不求值语境中的 lambda | P0315R4 | 9 | 13 (部分)* 14 (部分)* | 19.28 (16.8)* | 13.1.6* (部分) | |||||||||
| 三路比较运算符 | P0515R3 | 10 | 8 (部分) 10 | 19.20* | 5.1 | 2021.1 | 20.7 | |||||||
| DR :简化隐式 lambda 捕获 | P0588R1 | 8 | 19.24* | 5.1 | 2021.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 | 2021.1 | 20.7 | ||||||
| 预置复制构造函数与 const 的不匹配 | P0641R2 | 9 | 8 | 19.0 (2015)* | 10.0.1* | 5.1 | 2021.1 | 20.7 | ||||||
| 特化上的访问检查 | P0692R1 | 是 | 8 (部分) 14 | 19.26* | 10.0.1* (部分) | 5.1 | 2021.1 | 20.7 | ||||||
| ADL 与不可见的函数模板 | P0846R0 | 9 | 9 | 19.21* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| DR:指定 constexpr函数定义何时为常量求值所需要 | P0859R0 | 5.2 (部分)* 9 | 8 | 19.27* (partial)* 19.31* | 11.0.0* | |||||||||
| 属性 [[likely]]与[[unlikely]] | P0479R5 | 9 | 12 | 19.26* | 13.0.0* | 5.1 | 20.7 | |||||||
| 使 typename 更可选 | P0634R3 | 9 | 16 | 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 | 2021.1 | 20.7 | ||||||
| 条件性平凡的特殊成员函数 | P0848R3 | 10 | 16 | 19.28 (16.8)* | 6.1 | 20.11 | ||||||||
| DR:放松结构化绑定定制点查找规则 | P0961R1 | 8 | 8 | 19.21* | 10.0.1* | 5.1 | 2021.1 | 20.7 | ||||||
| DR:放松范围 for循环定制点查找规则 | P0962R1 | 8 | 8 | 19.25* | 11.0.0* | 5.1 | 2021.1 | 20.7 | ||||||
| DR:允许到可访问成员的结构化绑定 | P0969R0 | 8 | 8 | 19.21* | 10.0.1* | 5.1 | 2021.1 | 20.7 | ||||||
| 销毁的 operator delete | P0722R3 | 9 | 6 | 19.27* | 10.0.0* | 6.1 | 20.11 | |||||||
| 非类型模板形参非类型模板形参中的类类型 | P0732R2 | 9 | 12 (部分) | 19.26*(partial)* 19.28 (16.9)* | 13.0.0* (部分) | 6.2 | ||||||||
| 弃用经由 [=]隐式捕获this | P0806R2 | 9 | 7 | 19.22* | 10.0.1* | 5.1 | 20.7 | |||||||
| explicit(bool) | P0892R2 | 9 | 9 | 19.24* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 集成功能特性测试宏 | P0941R2 | 5 | 3.4 | 19.15* (部分) 19.20* | 是 | 5.0 | 2021.1 | 20.7 | ||||||
| 禁止有用户声明构造函数的聚合体 | P1008R1 | 9 | 8 | 19.20* | 10.0.1* | 5.1 | 2021.1 | 20.7 | ||||||
| constexpr虚函数 | P1064R0 | 9 | 9 | 19.28 (16.9)* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 比较的一致性改进 | P1120R0 | 10 | 8 (部分) 10 | 19.22* | 12.0.0* | 5.1 | 20.7 | |||||||
| char8_t | P0482R6 | 9 | 7* | 19.22* | 10.0.0* | 5.1 | 2021.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 (部分) 14 (部分)* | 19.28 (16.8)** (部分) 19.29 (16.10)* | 11.0.3* (部分) | 5.1 | 2021.1 | 20.7 | ||||||
| 嵌套内联命名空间 | P1094R2 | 9 | 8 | 19.27* | 10.0.1* | 5.1 | 2021.1 | 20.7 | ||||||
| 有约束声明的另一种手段 | P1141R2 | 10 | 10 | 19.26* (部分) 19.28 (16.9)* | 12.0.5* | 6.1 | 20.11 | |||||||
| 有符号整数为补码 | P1236R1 | 9 | 9 | 是 | 11.0.3* | N/A | N/A | 是 | ||||||
| constexprdynamic_cast及多态typeid | P1327R1 | 10 | 9 | 19.29 (16.10)* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 在 constexpr内更改联合体的活跃成员 | P1330R0 | 9 | 9 | 19.10* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 协程 | P0912R5 | 10 | 8 (部分) | 19.0 (2015)* (部分) 19.10* (仅 TS) 19.28 (16.8)* | 10.0.1* (部分) | 5.1 | 2021.1 | |||||||
| 括号形式的聚合体初始化 | P0960R3 | 10 | 19.28 (16.8)* | 5.1 | 2021.1 | 20.7 | ||||||||
| DR: new表达式中的数组大小推导 | P1009R2 | 11 | 9 | 19.27* | 11.0.3* | 5.1 | 2021.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* | 12.0.0* | 5.1 | 2021.1 | 20.7 | ||||||
| DR :拥有不同异常说明的显式默认化函数 | P1286R2 | 10 | 9 | 19.28 (16.8)* | 11.0.3* | 5.1 | 2021.1 | 20.7 | ||||||
| 结构化绑定的 lambda 捕获与存储类说明符 | P1091R3 P1381R1 | 10 | 8 (partial) 16 | 19.11*(P1381R1) 19.24*(P1091R3) | 10.0.1* (部分) | 5.1 | 2021.1 | 20.7 | ||||||
| 容许转换到未知边界数组 | P0388R4 | 10 | 14 | 19.27* | 14.0.0* | 6.0 | 2021.5 | 20.11 | ||||||
| constexpr容器操作 | P0784R7 | 10 | 10 | 19.28 (16.9)* | 12.0.0* | 6.0 | 2021.5 | 20.11 | ||||||
| 弃用 volatile的某些用法 | P1152R4 | 10 | 10 | 19.27* | 12.0.0* | 6.0 | 2021.5 | 20.11 | ||||||
| constinit | P1143R2 | 10 | 10 | 19.29 (16.10)* | 12.0.0* | 6.1 | 20.11 | |||||||
| 弃用下标中的逗号运算符 | P1161R3 | 10 | 9 | 19.25* | 11.0.3* | 6.0 | 2021.5 | 20.11 | ||||||
| 带消息的 [[nodiscard]] | P1301R4 | 10 | 9 | 19.25* | 11.0.3* | 6.0 | 2021.5 | 20.11 | ||||||
| constexpr函数中的平凡默认初始化 | P1331R2 | 10 | 10 | 19.27* | 12.0.0* | 6.1 | 20.11 | |||||||
| constexpr函数中的不求值asm声明 | P1668R1 | 10 | 10 | 19.28 (16.9)* | 12.0.0* | 6.1 | 20.11 | |||||||
| using enum | P1099R5 | 11 | 13 | 19.24* | 13.1.6* | 6.3 | ||||||||
| 对指定的比较类别合成三路比较 | P1186R3 | 11 | 10 | 19.24* | 12.0.0* | 6.0 | 2021.5 | 20.11 | ||||||
| DR:构造函数的 [[nodiscard]] | P1771R1 | 10 | 9 | 19.24* | 11.0.3* | 6.0 | 2021.5 | 20.11 | ||||||
| 别名模板的类模板实参推导 | P1814R0 | 10 | 19.27* | |||||||||||
| 聚合类的类模板实参推导 | P1816R0 P2082R1 | 10(P1816R0) 11(P2082R1) | 19.27* | 6.3 | ||||||||||
| DR :更多局部对象与右值引用的隐式移动 | P1825R0 | 11* | 13 | 19.24* | 13.1.6* | 6.0 | 2021.5 | 20.11 | ||||||
| 允许默认化按值比较 | P1946R0 | 10 | 10 | 19.25* | 12.0.0* | 6.1 | 20.11 | |||||||
| 移除 std::weak_equality与std::strong_equality | P1959R0 | 10 | 10 | 19.25* | 12.0.0* | 6.1 | 20.11 | |||||||
| 非类型模板形参的不一致 | P1907R1 | 10 (部分) 11 | 12 (部分) | 19.26* | 13.1.6* (部分) | 6.2 | ||||||||
| DR:伪析构函数终结对象生存期 | P0593R6 | 11 | 11 | 是 | 12.0.5* | N/A | N/A | |||||||
| DR :应认为从 T*到bool的转换为窄化 | P1957R2 | 10* 11* | 11 | 19.27* | 12.0.5* | 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 | 12 | 15 | 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* (partial) 19.28 (16.9)* | 13.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* | 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 (部分) | 7 (部分) | 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.28 (16.8)* | ||||||
| 关联容器的 contains()成员函数,如 std::map::contains() | P0458R2 | 9 | 13 | 19.21* | 13.1.6* | ||||
| DR :逐片构造的受保证复制消除 | P0475R1 | 9 | 是 | 19.29 (16.10)* | 是 | ||||
| std::bit_cast() | P0476R2 | 11 | 14 | 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)* | 11.0.3* (P0556R3) | ||||
| 改进擦除式算法的返回值 | 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* | ||||
| 添加 std::shift_left/right 到 <algorithm> | 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 (部分)* | 19.22* | 10.0.1* (部分) | ||||
| 实现使用分配器构造的工具函数 | 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) | 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 | 19.28 (16.9)* | ||||||
| 使用默认初始化的智能指针创建(如 make_unique_for_overwrite) | P1020R1 P1973R1 | 11 (unique_ptr) 12 (shared_ptr) | 19.28 (16.9)* | ||||||
| 杂项 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* | |||||
| 一致容器擦除,如 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* 14 | 19.26* | 11.0.3* | ||||
| DR:使 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 | 19.29 (16.10)* | ||||||
| 布局兼容性与指针可互转换性特征 | 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* | 19.29 (16.10)* | |||||
| std::stop_token 与 std::jthread | P0660R10 | 10 | 19.28 (16.9)* | ||||||
| constexprstd::allocator 及相关工具 | P0784R7 | 10 | 12 | 19.29 (16.10)* | 13.0.0* | ||||
| constexprstd::string | P0980R1 | 12 | 15 | 19.29 (16.10)* 19.30** | |||||
| constexprstd::vector | P1004R2 | 12 | 15 | 19.29 (16.10)* 19.30** | |||||
| 输入范围适配器 | P1035R7 | 10 | 19.29 (16.10)* | ||||||
| constexprstd::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 (部分)* | 19.29 (16.10)* | |||||
| 添加 <=> 到标准库 | P1614R2 | 10 | 14 (部分)* | 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 | Sun/Oracle C++ 标准库 | Embarcadero C++ Builder 标准库 | Cray C++ 标准库 |