C++ 编译器支持情况表

来自cppreference.com
< cpp


 
C++
 
编译器支持
 
我们尽可能努力维护这个页面，但仍可能缺少最新发布的编译器的版本信息。如果你发现有过时的内容的话，请帮助我们来更新它吧！


以下各表给出各个编译器对新的 C++ 功能的支持情况。包括已经接受的修订版本以及大量技术规范：

[编辑]
[编辑]
[编辑]

注解

* - 在版本号上停留可以查看注记 * 查看其他注记
DRnn - 在 "DR" 后的数字 nn 表示应用该缺陷报告的目标 C++ 修订版本，例如 DR20 → C++20。

C++26 功能特性

请注意这个列表可能随着 C++26/2c 标准草案的演进而修改。

[编辑]

C++26 核心语言功能特性

C++26 功能特性

  		提案

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Cray
DR98: 从词法分析中删除未定义行为 P2621R3 是 3.3 16.0.0*
DR98: 使不可编码的字符串文本格式非良构 P1854R4 14 14 16.0.0*
不求值字符串 P2361R6 14 17 (部分)*
18 		16.0.0*
将 @，$，和 ` 添加至基本字符集 P2558R2 15 是 16.0.0*
constexpr 的从 void* 转换  (FTM)* P2738R1 14 17
DR20: 使标准属性可忽略 P2552R3 15 是
DR11: 花括号初始化的静态存储 P2752R3 14
用户生成的 static_assert 消息  (FTM)* P2741R3 14 17
没有名字的占位符变量  (FTM)* P2169R4 14 18
包索引  (FTM)* P2662R3 15 19
删除枚举被弃用的算术转换 P2864R2 14 18
DR11/20：模板形参初始化 P2308R1 9 18
不允许绑定返回的引用到临时量 P2748R5 14 19
结构化绑定的属性  (FTM)* P0609R3 15 19
未初始化读取的错误行为，[[indeterminate]] 属性 P2795R5
P3684R1 		16
= delete("reason");  (FTM)* P2573R2 15 19
可变参数友元  (FTM)* P2893R3 15 20
DR98：澄清聚合初始化中的括号消除规则 P3106R1 是 17
DR20：不允许模块声明为宏 P3034R1 15
DR11：平凡的无限循环不是未定义行为 P2809R3 14 19
constexpr 布置 new  (FTM)* P2747R2 15 20
用结构化绑定声明作为条件  (FTM)* P0963R3 15 6(部分)*
21
涉及折叠表达式的约束定序  (FTM)* P2963R3 19
删除指向不完整类型的指针应当非良构 P3144R2 15 19 6.7
结构化绑定可以引入包  (FTM)* P1061R10 16 21
constexpr 结构化绑定与 constexpr 变量的引用 P2686R5 16* 22 (部分)* 6.7
constexpr 异常  (FTM)* P3068R6 16
牛津可变逗号 P3176R1 15 20
移除已弃用的数组比较 P2865R6 15 20
#embed  (FTM)* P1967R14 15 19*
概念和可变模板模板参数  (FTM)* P2841R7 22 (部分)*
平凡联合体  (FTM)* P3074R7
P3726R2
可观测检查点 P1494R5 16
契约  (FTM)* P2900R14 16
反射  (FTM)* P2996R13
P3096R12
P3293R3
P3394R4
P3795R2 		16*
展开语句  (FTM)* P1306R5 16
constexpr 虚继承  (FTM)* P3533R2 16
诊断预处理器错误 P2843R3 16
允许将主函数附加到全局模块 P3618R0 16
DR20：允许 #line 出现于模块声明之前 P3868R1
DR17：对类模板模板形参进行类模板实参推导 P3865R3
契约断言中拼接表达式的 const 化 P3598R0
 

C++26 功能特性 		 

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

C++26 库功能特性

C++26 功能特性

  		提案

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
测试 <charconv> 函数的成功或失败  (FTM)* P2497R0 14 18 16.0.0*
std::text_encoding：文本编码识别  (FTM)* P1885R12
P2862R1 		14
使用 std::format 实现 std::to_string 和 std::to_wstring 的算术类型重载  (FTM)* P2587R3 14
类型检查格式参数  (FTM)* P2757R3 15
格式化指针  (FTM)* P2510R3 14* 17* 19.40**
std::chrono 各值类型的散列支持  (FTM)* P2592R3 16
<rcu>：读-复制-更新（RCU）  (FTM)* P2545R4
<hazard_pointer>：风险指针  (FTM)* P2530R3
免遭 ADL 的 std::projected P2538R1 14* 18* 19.38** 16.0.0*
constexpr 的稳定排序  (FTM)* P2562R1 15 21
成员 std::basic_format_arg::visit()  (FTM)* P2637R3 15 19
成员 std::variant::visit()  (FTM)* P2637R3 15 18
std::is_within_lifetime  (FTM)* P2641R4
P3450R1 		22 (部分)*
使用既存的异构重载扩展关联容器  (FTM)* P2363R5 16
允许在无序关联容器中使用 std::weak_ptr 作为 key  (FTM)* P1901R2 16
从文件流获得本机句柄  (FTM)* P1759R6 14 18 16.0.0*
字符串流的 std::string_view 接口  (FTM)* P2495R3 16 19
std::bitset 的 std::string_view 接口  (FTM)* P2697R1 16 18 16.0.0*
使 <cmath> 和 <complex> 更 constexpr  (FTM)*  (FTM)* P1383R2 4.6 (部分)*
为 <ratio> 添加新的 2022 国际单位制（SI）前缀：std::quecto、std::ronto、std::ronna 和 std::quetta  (FTM)* P2734R0 14 17*
std::function_ref：类型擦除的可调用引用  (FTM)* P0792R14
P3961R1 		16
std::copyable_function  (FTM)* P2548R6 16
使用 NTTP 可调用对象的 std::bind_front、std::bind_back 和 std::not_fn
  (FTM)*  (FTM)*  (FTM)* 		P2714R1 16
std::submdspan()  (FTM)* P2630R4
P3355R1
P3663R3
P3982R2 		16
独立式语言：可选 ::operator new P2013R5 19.38*
独立的 std::char_traits，std::errc 和 <charconv>、<cstdlib>、<cstring>、<cwchar> 中的设施  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* P2338R4 19.38*
更多独立设施
  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* 		P2198R7 19.38*
饱和算术  (FTM)* P0543R3
P4052R0 		14
16* 		18 16.0.0*
<debugging>：调试支持  (FTM)* P2546R5
P2810R4 		16*
<linalg>：基于 BLAS 的自由函数线性代数接口  (FTM)* P1673R13
P3050R2
P3222R0
P3371R5
使 assert() 宏用户友好 P2264R7 是*
动态格式化字符串  (FTM)* P2918R2
P3953R3 		14*
16* 		18 16.0.0*
std::span::at()  (FTM)* P2821R5 14 18 16.0.0*
向 std::complex 添加元组协议  (FTM)* P2819R2 15 19
std::generate_canonical 的新规范 P0952R2 16 19.42*
删除被弃用的类型别名 std::allocator::is_always_equal P2868R3 15 18 16.0.0*
删除 std::basic_string::reserve() 的无参重载 P2870R3 18 16.0.0*
删除被弃用的 Unicode 转换设施 (<codecvt>) P2871R3 18 16.0.0*
独立式：删除 std::strtok  (FTM)* P2937R0 14 19.40*
独立式库：使得部分类独立  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* P2407R5 14 19.42*
独立式库：std::inout、std::expected、std::span
  (FTM)*  (FTM)*  (FTM)*  (FTM)* 		P2833R2 14 19.42*
DR23：std::basic_const_iterator 应该遵从其底层类型的可转换性  (FTM)* P2836R1
P2950R0 		14 19.40*
DR20：std::make_format_args 只接受左值引用而不是转发引用 P2905R2 14 18 19.40* 16.0.0*
DR20：修复格式化代码单元为整数  (FTM)* P2909R4 13.3 18 19.40* 16.0.0*
views::concat  (FTM)* P2542R8 15
连接字符串和字符串视图  (FTM)* P2591R5 15 19
为算法启用列表初始化  (FTM)* P2248R8
P3217R0
P3787R2 		15
std::ranges::generate_random  (FTM)* P1068R11
std::reference_wrapper 的比较，以及对 std::pair、std::tuple、std::optional 和 std::variant 的比较的约束  (FTM)*  (FTM)* P2944R3 14 22
19 (部分)*
有填充 mdspan 布局  (FTM)* P2642R6 16
新的 std::span 和 std::mdspan 以整数常量进行的 CTAD P3029R1 16 19
原子的最大值与最小值  (FTM)* P0493R5 16
std::formatter<std::filesystem::path>  (FTM)* P2845R8 16
用 std::println() 打印空行  (FTM)* P3142R0 14* 19* 19.41**
取消弃用 std::polymorphic_allocator::destroy P2875R4 14.3* 15 19.41*
移除已弃用的 strstream P2867R2 19
移除已弃用的 std::shared_ptr 原子访问 API P2869R4
移除 std::wstring_convert P2872R3 19
DR23：允许 std::print 的一种高效实现  (FTM)* P3107R5
P3235R3 		16 19.43*
constexpr 布置 new  (FTM)* P2747R2 15 20
执行控制库  (FTM)* P2300R10
P3396R0
P3570R2
P3481R5
P3433R1
P3682R0
P3388R3
P3887R1
额外的执行控制库修复 P3826R5
P4159R0
P4154R0
P3373R4
P3986R1
std::inplace_vector：具有固定容量的可动态调整大小向量  (FTM)* P0843R14
P3981R2
P4022R0 		16
std::philox_engine：基于计数器的随机数引擎  (FTM)* P2075R6 16
std::optional 的范围支持  (FTM)* P3168R2
P3913R1 		16 22 (部分)*
std::is_virtual_base_of：用于检测虚基类的类型特征  (FTM)* P2985R0 15 20
用于 std::mdspan 的 std::dims  (FTM)* P2389R2 16 19
DR11：std::ignore 的类型的正式规范 P2968R2 15 19 19.42*
DR20：移除可间接调用概念中对公共引用的要求  (FTM)* P2997R1 15 19 19.42*
弃用 std::is_trivial 和 std::is_trivial_v P3247R2 15 21
DR20：算法函数对象 P3136R1 是 是 19.39* 是
std::ranges::cache_latest_view  (FTM)* P3138R5 15
约束 std::expected 的相等运算符  (FTM)* P3379R0 15 22
std::aligned_accessor：使用过量对齐指针的 std::mdspan 访问器  (FTM)* P2897R7 16
std::is_sufficiently_aligned：检查指针的对齐前条件  (FTM)* P2897R7 16
std::atomic_ref::address()  (FTM)* P2835R7
P3936R1 		16 (部分)* 22 (部分)*
DR11/20：std::atomic 与 std::atomic_ref 中的 cv 限定类型 P3323R1 16 19.44*
constexpr 的 std::atomic 与 std::atomic_ref  (FTM)* P3309R3
constexpr 的特化内存算法  (FTM)* P3508R0
P3369R0 		15
<stdbit.h> 与 <stdckdint.h>  (FTM)*  (FTM)* P3370R1 15*
16
<simd>：数据并行类型  (FTM)* P1928R15
P3430R3
P2876R3
P3691R1
P3922R1
P3690R1
P3932R0
P4012R1 		16 (部分)*
SIMD 数学运算 P1928R15
P3844R4
用于创建执行环境的工具 P3325R5
constexpr 的异常类型，例如 std::bad_alloc、std::bad_cast 等  (FTM)* P3068R6
P3378R2
P3842R2 		16
std::simd::chunk P3441R2 16
SIMD 位运算  (FTM)* P2933R4
std::simd 中对交错 std::complex 值的支持  (FTM)* P3475R1
无害化和弃用 std::memory_order::consume P2663R7
将 std::monostate 放入 <utility> P0472R3 15 21 19.50*
std::indirect  (FTM)* P3019R14 16
std::polymorphic  (FTM)* P3019R14 16
更多 constexpr 容器和适配器
  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* 		P3372R3 16 (部分)* 21 (部分)*
22 (部分)*
非平凡类型 std::inplace_vector 的 constexpr  (FTM)* P3074R7
std::ranges::as_input_view  (FTM)* P3828R1 15*
16*
std::ranges::approximately_sized_range 和 std::ranges::reserve_hint  (FTM)* P2846R6
<hive>：一种基于桶的重用已擦除元素内存位置的容器  (FTM)* P0447R28
对可观测检查点的库支持  (FTM)* P1494R5
P3641R0 		16
<contracts>：契约违背处理支持  (FTM)* P2900R14
P3819R0 		16
标准库加固 P3471R4
P3697R1
P3878R1 		15 (部分)* 19.44* (部分)*
19.50* (部分)*
独立式库：<algorithm>、<numeric> 和 <random>
  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* 		P2976R1
DR20：将连续迭代器转换为指针 P3349R0 15 19.51*
<meta>: 反射的库支持  (FTM)* P2996R13
P3394R4
P3293R3
P3096R12
P3795R2
P4156R0 		16 (partial)*
以 constexpr 异常用作反射中的错误处理  (FTM)* P3560R2 16
std::define_static_object, std::define_static_array, std::define_static_string  (FTM)* P3491R3 16
std::simd::basic_vec 和 std::simd::basic_mask 是范围类型 P3480R6 16
std::optional<T&>  (FTM)*  (FTM)* P2988R12
P3836R2 		16 22
std::string::subview()  (FTM)* P3044R2 16 22
constexpr std::shared_ptr 和类似物  (FTM)* P3037R6
协程任务类型  (FTM)* P3552R3
P3980R1
P3927R2
P3941R4
P4151R1
异步作用域：创建用于非序列并发的作用域  (FTM)* P3149R11
P3815R1
并行调度器  (FTM)* P2079R10
P3804R2
使用 constexpr 异常的高质量发送器诊断 P3557R3
execution::write_env 和 execution::unstoppable 发送器适配器 P3284R4
std::views::indices  (FTM)* P3060R3 16
并行范围算法  (FTM)* P3179R9
P3709R2
原子浮点数最大值与最小值  (FTM)* P3008R6
原子的归约操作  (FTM)* P3111R8
SIMD 排列操作  (FTM)* P2664R11
std::mdspan::at() P3383R3 16
std::exception_ptr_cast()  (FTM)* P2927R3
P3748R0
P3981R2 		16 (部分)*
标准化 constexpr 类型排序  (FTM)* P2830R10
P3778R0
P4140R0 		16
std::constant_wrapper  (FTM)* P2781R9
P3978R3 		16 23
std::apply 改动：std::apply_result、std::is_applicable 和 std::is_nothrow_applicable  (FTM)* P1317R2
使 std::promise 和 std::packaged_task 中类型擦除分配器的使用保持一致 P3503R3 17 19.51*
std::filesystem::path::display_string() 与 std::filesystem::path::native_encoded_string()  (FTM)* P2319R5
使 std::istream::ignore() 的行为更不令人意外 P3223R2 16 19.50*
解决了 std::valarray 和 std::initializer_list 在 begin/end 上的不一致性问题。  (FTM)*  (FTM)* P3016R6 19.51*
std::flat_meow 修正  (FTM)*  (FTM)* P3567R2 22 19.51*
使 std::integer_sequence 能用于结构化绑定和展开语句  (FTM)* P1789R3 16 22
constexpr 文本格式化  (FTM)* P3391R2
std::start_lifetime  (FTM)* P3726R2
std::is_structural：用于检测结构式类型的类型特征  (FTM)* P3856R8 16
std::constant_wrapper 用作 std::function_ref 构造函数实参 P3948R1 16
在随机数生成中支持 signed char 和 unsigned char P4037R1
使用功能特性宏实现由实现定义的合约违规处理器的可替换性检测  (FTM)* P3886R0 16
DR20：将视图迭代器/哨位的用户定义构造函数设为私有 P3059R2 是
DR20：用于更安全使用的过滤器视图扩展  (FTM)* P3725R3 16
 

C++26 功能特性 		 

提案
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*

C++23 功能特性

[编辑]

C++23 核心语言功能特性

C++23 功能特性

  		提案

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Cray
（有符号）size_t 的字面量后缀  (FTM)* P0330R8 11 13 19.43* 13.1.6* 6.5 2022.2 23.9
使更多 lambda 的 () 可以被省略 P1102R2 11 13 19.44* 13.1.6* 6.3 2022.2 22.5
if consteval  (FTM)* P1938R3 12 14 19.44* 14.0.0* 6.3 2022.2 24.1
移除垃圾收集支持 P2186R2 12 不适用 19.30* 不适用 不适用
允许在 static_assert 和 constexpr if 中进行窄化的上下文转换 P1401R5 9 13 (部分)*
14 		19.44* 14.0.0* 2022.2 20.7
行拼接之前剔除空白 P2223R2 是 是 19.50* 是 6.7 2022.2 是
使类布局更遵守声明顺序 P1847R4 是 是 19.30* 是 2022.2 是
移除混合宽度字符串字面量拼接 P2201R1 是 是 19.44* 是 是 是 是
显式对象成员函数（推导 this）  (FTM)* P0847R7 14 18
19* 		19.32* (部分)*
19.43* 		6.3 22.5
auto(x) 与 auto{x}  (FTM)* P0849R8 12 15 19.50* 14.0.3* 6.4 2022.2 23.3
#elifdef 与 #elifndef P2334R1 12 13 19.40* 13.1.6* 6.5 2022.2 23.9
constexpr 函数中的非字面类型变量（以及句标与 goto）  (FTM)* P2242R3 12 15 19.43* 14.0.3* 6.3 2022.2 22.5
一致的字符字面量编码 P2316R2 是 是 19.30* 是 是 2022.2 是
字符集与编码 P2314R4 10 是 19.51* 是 是 2022.2 是
扩展（for 循环 的）初始化语句以允许别名声明 P2360R0 12 14 19.50* 14.0.0* 2022.2
多维数组下标运算符  (FTM)* P2128R6 12 15 19.42* 14.0.3* 2022.2
lambda 上的属性 P2173R1 9 13 19.44* 13.1.6* 6.6 2022.2 22.5
#warning P2437R1 是* 是 19.50* 15.0.0* 6.5 2023.2 是
移除不可编码的宽字符字面量和多字符宽字符字面量 P2362R3 13 14 19.51* 15.0.0* 6.7 2023.2
复合语句末尾的标签 P2324R2 13 16 19.51* 16.0.0* 6.5 2023.2 23.9
划线的转义序列 P2290R3 13 15 19.50* 15.0.0* 6.7 2023.2
命名的通用转义字符  (FTM)* P2071R2 13 15 19.51* 15.0.0* 6.7 2023.2
放松 constexpr 的限制  (FTM)* P2448R2 13 17 (部分)
19 		19.51* 2024.0 (部分)
简化的隐式移动  (FTM)* P2266R3 13 13 19.50* 6.7 2022.2
static operator()  (FTM)* P1169R4 13 16 19.44* 16.0.0* 6.7 2023.2
可选的扩展浮点数类型要求 P1467R9 13 不适用 6.4
从继承的构造函数中推导出类模板参数 P2582R1 14 19.51*
[[assume]] 属性 P1774R8 13 19 19.51*
支持 UTF-8 作为一种可移植的源文件编码 P2295R6 13* 15* 19.0 (Update 2)** 15.0.0* 2023.2
static operator[]  (FTM)* P2589R1 13 16 19.44* 16.0.0* 6.7 2023.2
允许 constexpr 函数中的 static constexpr 变量  (FTM)* P2647R1 13 16 19.51* 16.0.0* 2023.2
延长范围 for 循环初始化器中临时变量的生命  (FTM)* P2644R1
P2718R0
CWG2659 		15 19 19.51*
DR11：更改 lambda 尾随返回类型的作用域 P2036R3
P2579R0 		16 17 19.50* 2023.2
DR20：有意义的导出 P2615R1 15 17 (部分) 19.28 (16.8)*
DR20：consteval 需要向上传播  (FTM)* P2564R3 14 17 19.52* 16.0.0* 6.7 2024.0
DR98：C++ 标识符语法使用 Unicode 标准附录 31 P1949R7 12 14 19.50* 14.0.0* 6.4 2022.2
DR11：允许重复属性 P2156R1 11 13 19.50* 13.1.6* 6.5 23.9
DR20：调整功能特性测试宏 __cpp_concepts 的值 P2493R0 12 19.50* 6.4 23.3
DR98：放宽 wchar_t 的要求以符合现有实践 P2460R2 是 是 19.44* 15.0.0* 不适用 2023.2
DR11：在常量表达式中使用未知的指针和引用 P2280R4 14 20* 19.50*
DR20：放宽相等性运算的重写规则 P2468R2 13 16 19.36* 16.0.0* 2023.2
DR20：char8_t 兼容性和可移植性修复  (FTM)* P2513R4 13 16 19.34* 16.0.0* 2023.2
DR98/11：澄清诊断指令报告的内容并允许 static_assert 模板上下文中使用非值依赖性表达式 CWG2518 13 17 16.0* (部分)*
19.40*
 

C++23 功能特性 		 

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

C++23 库功能特性

C++23 功能特性

  		提案

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
栈踪迹库  (FTM)* P0881R7
P2301R1 		12 (部分)*
14* 		19.34*
<stdatomic.h>  (FTM)* P0943R6 12 15 19.31* 14.0.3*
std::is_scoped_enum  (FTM)* P1048R1 11 12 19.30* 13.0.0*
std::basic_string::contains(), std::basic_string_view::contains()  (FTM)* P1679R3 11 12 19.30* 13.0.0*
std::to_underlying  (FTM)* P1682R3 11 13 19.30* 13.1.6*
放松 std::chrono::time_point 的要求 P2212R2 不适用 不适用 不适用 不适用
在分配器接口中提供大小反馈  (FTM)* P0401R6 16 15 19.30* 14.0.3*
<spanstream>：以 std::span 为基础的字符串流  (FTM)* P0448R4 12 19.31*
std::out_ptr()、std::inout_ptr()  (FTM)* P1132R8 14 19 19.30*
constexpr type_info::operator==()  (FTM)* P1328R1 12 17 19.33**
19.34* 		15.0.0*
std::stack 与 std::queue 的迭代器对构造函数  (FTM)* P1425R4 12 14 19.31* 14.0.3*
容器推导指引中分配器的非推导语境 P1518R2 12* 13* 19.31** 13.1.6**
ranges::starts_with() 与 ranges::ends_with()  (FTM)* P1659R3 16 17 (部分)*
18 		19.31* 16.0.0*
禁止 basic_string 与 basic_string_view 从 nullptr 构造 P2166R1 12 13 19.30* 13.1.6*
std::invoke_r()  (FTM)* P2136R3 12 17 19.31* 15.0.0*
std::basic_string_view 的范围构造函数 P1989R2 11 14 19.30* 14.0.3*
std::pair 的转发构造函数的默认模板实参 P1951R1 14 14 19.30* 14.0.3*
移除垃圾收集与基于可达性的泄漏检测（库支持） P2186R2 12 14 19.30* 14.0.3*
zip: views::zip, views::zip_transform, views::adjacent, 和 views::adjacent_transform  (FTM)* P2321R2 13 15 (部分)*
22 		19.33* (部分)***
19.37* 		14.0.3*
关联容器的异质擦除重载  (FTM)* P2077R3 16 19.32*
std::byteswap()  (FTM)* P1272R4 12 14 19.31* 14.0.3*
打印 volatile T* P1147R1 11.3 14 19.31* 14.0.3*
basic_string::resize_and_overwrite()  (FTM)* P1072R10 12 14 19.31* 14.0.3*
std::optional 的单子操作  (FTM)* P0798R8 12 14 19.32* 14.0.3*
std::move_only_function  (FTM)* P0288R9 12 19.32*
为 std::exchange 添加条件性 noexcept 说明 P2401R0 12 14 19.31* 14.0.3*
要求 std::span 与 std::basic_string_view 为 可平凡复制 (TriviallyCopyable) P2251R1 是 是 19.31* 是
澄清“C 头文件”的状况 P2340R1 是 是 是 是
<expected>  (FTM)* P0323R12
P2549R1 		12 16 19.33* 15.0.0*
constexpr 的 <cmath> 与 <cstdlib>  (FTM)* P0533R9 4.6 (部分)*
std::unreachable()  (FTM)* P0627R6 12 15 19.32* 14.0.3*
弃用 std::aligned_storage 与 std::aligned_union P1413R3 13 16 19.33*
std::reference_constructs_from_temporary & std::reference_converts_from_temporary  (FTM)* P2255R2 13 (部分)*
14 		21 (部分)* 19.51*
constexpr std::unique_ptr  (FTM)* P2273R3 12 16 19.33* 15.0.0*
以 ranges::to()，带标签构造函数，insert 和 assign 成员函数从范围来构造容器和字符串  (FTM)*  (FTM)* P1206R7 14 (部分)* 17 19.34* 15.0.0*
用户定义适配器范围的管道支持（ranges::range_adaptor_closure, std::bind_back）  (FTM)*  (FTM)* P2387R3 13 (部分)*
14 		19 19.34*
ranges::iota()、 ranges::shift_left() 及 ranges::shift_right()  (FTM)*  (FTM)* P2440R1 13 (部分)*
16 		23 19.34*
views::join_with  (FTM)* P2441R2 13 21 19.34*
views::chunk 与 views::slide  (FTM)*  (FTM)* P2442R1 13 19.33*
views::chunk_by  (FTM)* P2443R1 13 18 19.33* 16.0.0*
std::mdspan：非所有者的多维数组引用  (FTM)* P0009R18
P2599R2
P2604R0
P2613R1
P2763R1 		16 17 (部分)
18* 		19.39* 15.0.0*
<flat_map>  (FTM)* P0429R9 15 20 19.51*
<flat_set>  (FTM)* P1222R4 15 21 19.51*
ranges::find_last()，ranges::find_last_if()，和 ranges::find_last_if_not()  (FTM)* P1223R5 13 19 19.36*
独立式库：简单的 <utility>，<ranges> 和 <iterator> P1642R11 13* 19.38*
views::stride  (FTM)* P1899R3 13 23 19.34*
比较 std::tuple 和 tuple-like 对象  (FTM)* P2165R4 14 2.9 (部分)* 19.36* (部分)*
19.37* 		部分*
矫正常量迭代器、哨位和范围。 views::as_const  (FTM)* P2278R4 13 19.35* (部分)*
19.36*
格式化范围  (FTM)* P2286R8 15 16 19.37* (部分)*
19.39* (部分)*
19.41* (部分)*
19.42* 		15.0.0*
改进容器的默认格式化  (FTM)* P2585R1 15 16 (部分)*
17 		19.42* 15.0.0*
格式化输出库 <print>  (FTM)* P2093R14
P2539R4 		14 17 (部分)
18* 		19.37* 15.0.0**
格式化 std::thread::id 和 std::stacktrace  (FTM)* P2693R1 14 17 (部分)* 19.38* 15.0.0*
constexpr 的 std::to_chars() 和 std::from_chars() 对整数的重载  (FTM)* P2291R3 13 16 19.34* 15.0.0*
ranges::contains() 和ranges::contains_subrange()  (FTM)* P2302R4 13 19 19.34* 16.0.0**
范围折叠算法  (FTM)* P2322R6 13 23
18 (部分)* 		19.35*
views::cartesian_product  (FTM)* P2374R4
P2540R1 		13 19.37*
对仅移动类型添加可比较概念 (equality_comparable，totally_ordered 和 three_way_comparable) 的支持  (FTM)* P2404R3 16 22 19.36*
非范围算法输入范围迭代器  (FTM)* P2408R5 16 19.34*
constexpr 的 std::bitset  (FTM)* P2417R2 13 16 19.34* 15.0.0*
basic_string::substr() && P2438R2 16 16 19.34* 15.0.0*
views::as_rvalue  (FTM)* P2446R2 13 16 19.34* 15.0.0*
标准库模块  (FTM)* P2465R3 15* 17 (部分)* 19.35* (部分)*
19.36*
std::forward_like()  (FTM)* P2445R1 14 16 19.34* 15.0.0*
为 std::fstream 添加独占模式  (FTM)* P2467R1 12 18 19.36* 16.0.0*
views::repeat  (FTM)* P2474R2 13 17 19.36* 15.0.0*
放宽范围适配器对只移动类型的要求  (FTM)* P2494R2 14 17 19.34* 15.0.0*
std::basic_string_view 范围构造函数 应为 explicit P2499R0 12.2 16 19.34* 15.0.0*
std::generator：范围同步协程生成器  (FTM)* P2502R2
P2787R0 		14 19.43*
为 std::apply 添加条件 noexcept 说明 P2517R1 10 18 19.34* 16.0.0*
显式生命周期管理 (std::start_lifetime_as)  (FTM)* P2590R2
P2679R2 		16 19.51*
明确 chrono 类型本地化格式中编码的处理方法  (FTM)* P2419R2 15* 19.34**
std::move_iterator 不应该总为 input_iterator  (FTM)* P2520R0 12.3* 17* 19.34** 15.0.0*
对 显式对象实参函数调用运算符 的推导指引更新 LWG3617 14 19.34*
对 static operator() 的推导指引更新 P1169R4 13 16 19.39* 15.0.0*
扩展浮点数类型的标准名字以及库支持 P1467R9 13 19.37**
std::expected 的单子操作  (FTM)* P2505R5 13 17 19.36* 15.0.0*
views::enumerate  (FTM)* P2164R9 13 23 19.37*
std::is_implicit_lifetime  (FTM)* P2674R1 16 20 19.51*
std::reference_wrapper 的 std::common_reference_t 应该为引用类型  (FTM)*  (FTM)* P2655R3 16 21* 19.37*
禁止用户特化 std::allocator_traits P2652R2 19 19.37*
弃用 std::numeric_limits::has_denorm P2614R2 17 18 19.37* 16.0.0*
为 view 创造 explicit 的多参构造函数 P2711R1 16 21
17 (部分)* 		19.36** 15.0.0*
DR20：稍微放松 range 的要求  (FTM)* P2609R3 15 20 19.37*
DR20：储存储存迭代器以实现适当的扁平化 P2770R0 14 21
18 (部分) 		19.37*
DR17：std::variant 的派生类的 std::visit()  (FTM)* P2162R2 11.3 13 19.20**
19.30* 		13.1.6*
DR20：条件性借用范围 P2017R1 11 16 19.30*
DR20：修复输入范围适配器与 std::counted_iterator P2259R1 12 19.30* (部分)*
19.31*
DR20: views::join 应结合所有范围 P2328R1 11.2 15 19.30* 14.0.3*
DR20：view 不要求 default_initializable  (FTM)* P2325R3 11.3 16 19.30* 15.0.0*
DR20：范围适配器对象按值绑定实参 P2281R1 11 14 19.29 (16.10)* (部分)*
19.31* 		14.0.3*
DR20：std::optional 与 std::variant 的 constexpr  (FTM)*  (FTM)* P2231R1 11.3 (部分)*
12 		13 (部分)*
19 		19.31* 13.1.6* (部分)
DR20: views::lazy_split 与重新设计的 views::split P2210R2 12 16 19.31* 15.0.0*
DR20：修复 ranges::istream_view P2432R1 12 16 19.31* 15.0.0*
DR20：带所有权的 view  (FTM)* P2415R2 12 14 19.31* 14.0.3*
DR20：修复 chrono 格式化器中的本地环境支持  (FTM)* P2372R3
P2418R2 		13 19.31*
DR20：清理整数类类型 P2393R1 19.32*
DR20：编译时格式字符串检查；减小 std::format() 族函数二进制代码大小  (FTM)* P2216R3 13 14 (部分)*
15 		19.32* 14.0.3*
DR20：为 std::format 添加不可 const 格式化类型的支持 P2418R2 13 15 19.32* 14.0.3*
DR20：std::basic_format_string P2508R1 13 15 19.35* 14.0.3*
DR20：放松对定制点对象的限制  (FTM)* P2602R2 14 19 19.36*
DR20：std::format 补齐填充字符 P2572R1 14 17 19.37*
DR20：改进 std::format 的宽度估计 P2675R1 14 17 19.38*
DR20：std::barrier 的阶段完成保证  (FTM)* P2588R3 19.28 (16.8)**
19.36*
 

C++23 功能特性 		 

提案
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*

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

C++20 库功能特性

C++20 功能特性

  		提案

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
std::endian  (FTM)* P0463R1 8 7 19.22* 10.0.0*
扩展 std::make_shared() 以支持数组  (FTM)* P0674R1 12 15 19.27* 14.0.3*
原子浮点数类型  (FTM)* P0020R6 10 18 19.22* 16.0.0*
同步缓冲（std::basic_osyncstream）  (FTM)* P0053R7 11 18 19.29 (16.10)*
<algorithm> 与 <utility> 的 constexpr  (FTM)* P0202R3 10 8 (部分)
12 		19.26* 10.0.1* (部分)
13.0.0*
<complex> 的更多 constexpr  (FTM)* 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  (FTM)* P0457R2 9 6 19.21* 10.0.0*
operator<=> 的库支持 <compare>  (FTM)* P0768R1 10 7 (部分)
12 (部分)*
17 		19.20* (部分)
19.28 (16.9)* 		13.0.0*
std::remove_cvref  (FTM)* 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*
转换指针为裸指针的工具  (FTM)* P0653R2 8 6 19.22* 是
原子 std::shared_ptr 与 std::weak_ptr  (FTM)* P0718R2 12 19.27*
std::span  (FTM)* P0122R7 10 7 19.26* 10.0.0*
日历与时区  (FTM)* 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) 要求  (FTM)*  (FTM)* 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  (FTM)* 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()  (FTM)* P0476R2 11 14 19.27* 14.0.3*
2 的整数次幂运算：

std::bit_ceil()、 std::bit_floor()、 std::bit_width()、 std::has_single_bit()  (FTM)*

P0556R3
P1956R1 		9*
10* 		9*
12* 		19.25**
19.27**
19.28 (16.8)* 		11.0.3**
13.0.0**
改进擦除式算法的返回值  (FTM)* P0646R1 9 10 19.21* 12.0.0*
std::destroying_delete_t  (FTM)* P0722R3 9 9 19.27* 11.0.3*
std::is_convertible  (FTM)* P0758R1 9 9 19.23* 11.0.3*
添加 std::shift_left/right 到 <algorithm>  (FTM)* P0769R2 10 12 (部分)* 19.21* 13.0.0* (部分)*
std::swap() 与 swap 相关函数的 constexpr P0879R0 10 13 19.26* 13.1.6*
std::type_identity  (FTM)* P0887R1 9 8 19.21* 10.0.1*
概念库  (FTM)* 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  (FTM)* P0318R1 9 8 19.21* 10.0.1*
std::bind_front()  (FTM)* 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 的库支持  (FTM)* P0482R6 9 8 (部分)
16 		19.22* 10.0.1* (部分)
15.0.0*
实现使用分配器构造的工具函数 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* 是
唯一范围提案  (FTM)* P0896R4 10 13 (部分)
15* 		19.29 (16.10)* 14.0.3*
无序关联容器的异质查找  (FTM)* P0919R3
P1690R1 		11 12 19.23**
19.25** 		13.0.0*
<chrono> zero()、min() 及 max() 应为 noexcept P0972R0 9 8 19.14* 10.0.1*
std::pointer_traits 中的 constexpr  (FTM)* P1006R1 9 8 19.26* 10.0.1*
std::assume_aligned()  (FTM)* P1007R3 9*
11 		15 19.28 (16.9)* 14.0.3*
使用默认初始化的智能指针创建（如 make_unique_for_overwrite）  (FTM)* P1020R1
P1973R1 		11*
12* 		16 19.28 (16.9)* 15.0.0*
杂项 constexpr 小部分  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* 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)  (FTM)* P1209R0
P1115R3 		9*
10* 		8*
11* 		19.25**
19.27** 		10.0.1**
12.0.5**
标准库头文件单元 P1502R1 11 19.29 (16.10)*
polymorphic_allocator<> 作为词汇类型  (FTM)* P0339R6 9 16 19.28 (16.9)* 15.0.0*
std::execution::unseq  (FTM)* P1001R2 9 17 19.28 (16.8)*
std::lerp() 与 std::midpoint()  (FTM)* 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 的无符号长度  (FTM)* P1227R2 10 9 19.25* 11.0.3*
有界及无界数组特征  (FTM)* P1357R1 9 9 19.25* 11.0.3*
std::to_array()  (FTM)* P0325R4 10 10 19.25* 12.0.0*
std::basic_stringbuf 缓冲的有效访问 P0408R7 11 17 19.29 (16.10)* 15.0.0*
布局兼容性与指针可互转换性特征  (FTM)*  (FTM)* P0466R5 12 19.29 (16.10)**
位操作：std::

rotl()、 rotr()、 countl_zero()、 countl_one()、 countr_zero()、 countr_one()、 popcount()  (FTM)*

P0553R4 9 9 19.25**
19.28 (16.8)* 		11.0.3*
数学常数  (FTM)* P0631R8 10 11 19.25* 12.0.5*
文本格式化  (FTM)* P0645R10 13 14**
17 		19.29 (16.10)* 15.0.0*
std::stop_token 与 std::jthread  (FTM)* P0660R10 10 17 (部分)*
20* 		19.28 (16.9)*
constexpr std::allocator 及相关工具  (FTM)* P0784R7 10 12 19.29 (16.10)* 13.0.0*
constexpr std::string  (FTM)* P0426R1
P1032R1
P0980R1 		12 15 19.29 (16.10)*
19.30** 		14.0.3*
constexpr std::vector  (FTM)* 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  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)* P1135R6 11 11 19.28 (16.9)* 13.1.6*
std::source_location  (FTM)* P1208R6 11 15* (部分)
16 		19.29 (16.10)* 15.0.0*
添加 <=> 到标准库 P1614R2 10 14* (部分)
17* (部分)
19 		19.29 (16.10)* 13.1.6* (部分)
std::atomic 与 std::atomic_flag 的 constexpr 默认构造函数  (FTM)* P0883R2 10 13 19.26* 13.1.6*
数值算法的 constexpr  (FTM)* P1645R1 10 12 19.26* 13.0.0*
安全整数比较  (FTM)* P0586R2 10 13 19.27* 13.1.6*
 

C++20 功能特性 		 

提案
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*

旧标准

[编辑]
[编辑]
[编辑]

参阅

功能特性测试 (C++20) 一组预处理器宏，用于测试与 C++ 语言和库功能特性的对应关系
编译器支持的 C 文档