C++20
来自 cppreference.cn
< cpp
C++20 是 C++17 之后的主要版本,具有主要特性(概念、模块、协程和范围)以及其他语言和库特性。该标准于 2020 年 12 月发布。
本节尚不完整 |
目录 |
[编辑] 新语言特性
- 特性测试宏
- 三路比较 运算符 <=> 和 operator==() = default
- 指定初始化器
- 范围
for
中的初始化语句和初始化器 - char8_t
- 新的 属性:
[[no_unique_address]]
、[[likely]]
、[[unlikely]]
- 包展开 在 lambda 初始化捕获 中
- 在许多上下文中,移除使用
typename
来消除类型歧义的要求 - consteval, constinit
- 进一步放宽 constexpr
- 有符号整数是 2 的补码
- 位移运算符 统一行为
- 聚合初始化 使用圆括号
- 协程
- 模块
- 约束和概念
- 缩写函数模板
- DR11:数组 new 可以推导数组大小
[编辑] 新库特性
[编辑] 新头文件
- <bit>
- <compare>
- <concepts>
- <coroutine>
- <format>
- <numbers>
- <ranges>
- <source_location>
- <span>
- <syncstream>
- <version>
在 线程支持库 中
[编辑] 库特性
- 库特性测试宏
- 格式化库
- 概念库
- 日历 和 时区 库在 <chrono> 中
- std::source_location
- std::span
- std::endian:
big
/little
/native
- 2 的整数次幂运算和 std::bit_cast 在 <bit> 中
- 数组支持 std::make_shared
- std::remove_cvref
- std::to_address
- 浮点原子操作, std::shared_ptr 原子操作
- 线程协调类:std::barrier, std::latch, 和 std::counting_semaphore
- std::jthread 和 线程取消 类:std::stop_token, std::stop_source, 和 std::stop_callback
- std::basic_osyncstream
- std::basic_string 和其他 char8_t 用途
- constexpr 用于 <algorithm>, <utility>, <complex>
- string::starts_with / ends_with 和 string_view::starts_with / ends_with
- std::assume_aligned
- std::bind_front
- std::c8rtomb / std::mbrtoc8
- std::make_obj_using_allocator 等
- std::make_shared_for_overwrite / std::make_unique_for_overwrite
- 无序关联容器中的异构查找
- std::pmr::polymorphic_allocator 带有附加成员函数和 std::byte 作为其默认模板参数
- execution::unseq
- std::midpoint 和 std::lerp
- std::ssize
- std::is_bounded_array, std::is_unbounded_array
- 范围
- 统一容器擦除:std::erase / std::erase_if, 例如 std::erase(std::list) 或 erase_if(std::map) 等
- 数学常数 在 <numbers> 中
[编辑] 缺陷报告
[编辑] 编译器支持
主要文章: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_equality 和 std::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_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* | |
整数二次幂运算 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::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* | |
constexpr 在 std::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_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 (特性测试宏)* | 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::latch 和 std::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::atomic 和 std::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 示例 |