C++ compiler support
|
|
本页面将尽力维护,但可能滞后于最新的编译器版本。如果您发现内容已过时,请协助我们更新! |
以下表格展示了编译器对新C++功能的支持情况。这些功能包括已采纳的标准修订版本以及各类技术规范:
目录 |
注释
*
- 将鼠标悬停在标有星号
*
的单元格上可查看附加弹窗注释。
DR
nn
- "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++ (原 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 * 类型转换 ( 功能测试宏 ) * | P2738R1 | 14 | 17 | ||||||||
| DR20:关于标准属性的可忽略性 | P2552R3 | 15 | 是 | ||||||||
| DR11:大括号初始化器的静态存储 | P2752R3 | 14 | |||||||||
| 用户生成的 static_assert 消息 ( 功能测试宏 ) * | P2741R3 | 14 | 17 | ||||||||
| 无名占位变量 ( FTM ) * | P2169R4 | 14 | 18 | ||||||||
| 包索引 ( FTM ) * | P2662R3 | 15 | 19 | ||||||||
| 移除枚举上已弃用的算术转换 | P2864R2 | 14 | 18 | ||||||||
| DR11/20: 模板参数初始化 | P2308R1 | 9 | 18 | ||||||||
| 禁止将返回的引用绑定到 临时对象 | P2748R5 | 14 | 19 | ||||||||
| 结构化绑定的 属性 ( 功能测试宏 ) * | P0609R3 | 15 | 19 | ||||||||
未初始化读取的
错误行为
,
[[
indeterminate
]]
属性
|
P2795R5 | ||||||||||
| = delete ( "reason" ) ; ( 功能测试宏 ) * | P2573R2 | 15 | 19 | ||||||||
| 可变参数 友元 ( 功能测试宏 ) * | P2893R3 | 15 | 20 | ||||||||
| DR98:阐明 aggregate initialization 中括号省略的规则 | P3106R1 | 是 | 17 | ||||||||
| DR20:禁止将模块声明用作宏 | P3034R1 | 15 | |||||||||
| DR11: 平凡无限循环不是未定义行为 | P2809R3 | 14 | 19 | ||||||||
| constexpr 布置 new ( 功能测试宏 ) * ( 功能测试宏 ) * | P2747R2 | 15 | 20 | ||||||||
| 结构化绑定 声明作为条件 ( FTM ) * | P0963R3 | 15 |
6
(部分支持)*
21 |
||||||||
| 涉及 约束 与 折叠表达式 的排序规则 ( FTM ) * | P2963R3 | 19 | |||||||||
| 删除 指向不完整类型的指针应为不合规操作 | P3144R2 | 15 | 19 | 6.7 | |||||||
| 结构化绑定 可以引入 包 ( 功能测试宏 ) * | P1061R10 | 21 | |||||||||
| constexpr 结构化绑定 及对 constexpr 变量的引用 | P2686R5 | 6.7 | |||||||||
| constexpr 异常处理 : [1] , [2] ( 功能测试宏 ) * | P3068R6 | ||||||||||
| Oxford 可变参数逗号 | P3176R1 | 15 | 20 | ||||||||
| 移除已弃用的数组比较 | P2865R6 | 15 | 20 | ||||||||
#embed
(
功能测试宏
)
*
|
P1967R14 | 15 | 19 * | ||||||||
| 概念与变量模板的模板参数 ( FTM ) * | P2841R7 | ||||||||||
| 平凡可重定位性 ( FTM ) * | P2786R13 | 21 * | |||||||||
| 平凡联合体 ( FTM ) * | P3074R7 | ||||||||||
| 可观察检查点 | P1494R5 | ||||||||||
| 契约 ( FTM ) * | P2900R14 | ||||||||||
|
C++26 特性 |
提案文档 |
GCC
|
Clang
|
MSVC
|
Apple Clang
|
EDG eccp
|
Intel C++
|
Nvidia HPC C++ (原 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::to_string 和 std::to_wstring 的算术重载使用 std::format ( FTM ) * | P2587R3 | 14 | ||||
| 格式化参数类型检查 ( FTM ) * | P2757R3 | 15 | ||||
| 格式化指针 ( FTM ) * | P2510R3 | 14 * | 17 * | 19.40* * | ||
| 哈希 对 std::chrono 值类的支持 ( 功能测试宏 ) * | P2592R3 | |||||
| <rcu> : 读-复制-更新机制 ( 功能测试宏 ) * | 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() ( 功能测试宏 ) * | P2637R3 | 15 | 19 | |||
| 成员函数 std::variant::visit() ( 功能测试宏 ) * | P2637R3 | 15 | 18 | |||
| std::is_within_lifetime ( 功能测试宏 ) * | P2641R4 | |||||
| 为关联容器补充剩余异构重载 ( FTM ) * | P2363R5 | |||||
| 启用将 std::weak_ptr 作为无序关联容器键的功能 ( 功能测试宏 ) * | P1901R2 | |||||
| 文件流中的原生句柄 ( FTM ) * | P1759R6 | 14 | 18 | 16.0.0* | ||
| 字符串流与 std::string_view 的交互接口 ( 功能测试宏 ) * | P2495R3 | 19 | ||||
| 实现 std::bitset 与 std::string_view 的交互 ( 功能测试宏 ) * | P2697R1 | 18 | 16.0.0* | |||
| 更多 constexpr 用于 <cmath> 和 <complex> ( 功能测试宏 ) * ( 功能测试宏 ) * | P1383R2 | 4.6 (部分实现)* | ||||
| 在比率类型上新增2022年国际单位制词头: std::quecto 、 std::ronto 、 std::ronna 和 std::quetta ( 功能测试宏 ) * | P2734R0 | 14 | 17 * | |||
| std::function_ref :类型擦除的可调用对象引用 ( 功能测试宏 ) * | P0792R14 | |||||
| std::copyable_function ( 功能测试宏 ) * | P2548R6 | 16 | ||||
| std::bind_front 、 std::bind_back 和 std::not_fn 支持NTTP可调用对象 ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * | P2714R1 | |||||
| std::submdspan() ( 功能测试宏 ) * |
P2630R4
P3355R1 |
|||||
| 独立语言环境:可选 ::operator new | P2013R5 | N/A | ||||
| 独立环境 std::char_traits 、 std::errc 及以下头文件中的设施: <charconv> 、 <cstdlib> 、 <cstring> 、 <cwchar> ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * | P2338R4 | 不适用 | ||||
| 更多独立环境设施 ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * | P2198R7 | 不适用 | ||||
| 饱和算术 ( FTM ) * | P0543R3 | 14 | 18 | 16.0.0* | ||
| <debugging> : 调试支持 ( FTM ) * |
P2546R5
P2810R4 |
|||||
| <linalg> :基于BLAS的免费函数线性代数接口( 功能测试宏 ) * |
P1673R13
P3050R2 P3222R0 |
|||||
| 使 assert() 宏用户友好 | P2264R7 | |||||
| 运行时格式字符串 ( FTM ) * | P2918R2 | 14 | 18 | 16.0.0* | ||
| std::span 对初始化列表的支持 ( FTM ) * | P2447R6 | 15 | 18 | 16.0.0* | ||
| std::span::at() ( FTM ) * | P2821R5 | 14 | 18 | 16.0.0* | ||
| 为 std::complex 添加元组协议 ( 功能测试宏 ) * | P2819R2 | 15 | 19 | |||
| 针对 std::generate_canonical 的新规范 | P0952R2 | 19.42* | ||||
| 移除已弃用的类型定义 std::allocator::is_always_equal | P2868R3 | 15 | 18 | 16.0.0* | ||
| 移除不带参数的 std::basic_string::reserve() 函数重载 | P2870R3 | 18 | 16.0.0* | |||
| 移除已弃用的Unicode转换facet ( <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 ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * | 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 ( 功能测试宏 ) * | P2542R8 | 15 | ||||
| 字符串与字符串视图的拼接 ( FTM ) * | P2591R5 | 15 | 19 | |||
| 启用 算法 的列表初始化功能 ( 功能测试宏 ) * |
P2248R8
P3217R0 |
15 | ||||
| std::ranges::generate_random ( 功能测试宏 ) * | P1068R11 | |||||
| 比较操作 用于 std::reference_wrapper ,以及针对 std::pair 、 std::tuple 、 std::optional 和 std::variant 的比较约束 ( 功能测试宏 ) * ( 功能测试宏 ) * | P2944R3 | 14 | 19(部分支持) * | |||
| 填充式 mdspan 布局 ( FTM ) * | P2642R6 | |||||
| 新增针对 std::span 和 std::mdspan 的整型常量CTAD | P3029R1 | 19 | ||||
| 原子最大值与最小值 ( FTM ) * | P0493R5 | |||||
| std::formatter<std::filesystem::path> ( 功能测试宏 ) * | P2845R8 | |||||
| 使用 std::println() 打印空行 ( FTM ) * | P3142R0 | 14 * | 19 * | 19.41* * | ||
| 取消弃用 std::polymorphic_allocator::destroy | P2875R4 | 15 | 19.41* | |||
| 移除已弃用的strstreams | P2867R2 | 19 | ||||
| 移除已弃用的 std::shared_ptr 原子访问 API | P2869R4 | |||||
| 移除 std::wstring_convert | P2872R3 | 19 | ||||
| DR23:允许对 std::print ( FTM )进行高效实现 * |
P3107R5
P3235R3 |
19.43* | ||||
| 执行控制库 ( FTM ) * |
P2300R10
P3396R0 |
|||||
| std::inplace_vector :具有固定容量的动态可调整大小向量 ( 功能测试宏 ) * | P0843R14 | |||||
| std::philox_engine :基于计数器的随机数引擎( 功能测试宏 ) * | P2075R6 | |||||
| std::optional 范围支持 ( 功能测试宏 ) * | P3168R2 | |||||
| std::is_virtual_base_of :用于检测虚基类的类型特征 ( 功能测试宏 ) * | P2985R0 | 15 | 20 | |||
| std::dims 用于 std::mdspan ( 功能测试宏 ) * | P2389R2 | 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 | 是 | 14 | 19.39* | 14.0.3* | |
| std::ranges::cache_latest_view ( 功能测试宏 ) * | P3138R5 | 15 | ||||
| 约束 std::expected 相等运算符 ( FTM ) * | P3379R0 | 15 | ||||
| std::aligned_accessor :一种表达指针超对齐的 std::mdspan 访问器( FTM ) * | P2897R7 | 21 | ||||
| std::is_sufficiently_aligned :检查指针的对齐前提条件( FTM ) * | P2897R7 | 21 | ||||
| std::atomic_ref::address() ( 功能测试宏 ) * | P2835R7 | |||||
| DR11/20: std::atomic 和 std::atomic_ref 中的cv限定类型 | P3323R1 | 19.44* | ||||
| constexpr std::atomic 和 std::atomic_ref ( 功能测试宏 ) * | P3309R3 | |||||
| constexpr 为 专用内存算法 ( FTM ) * |
P3508R0
P3369R0 |
15 | ||||
| <stdbit.h> 和 <stdckdint.h> | P3370R1 | 15 | ||||
| <simd> : 数据并行类型 ( 功能测试宏 ) * ( 功能测试宏 ) * |
P1928R15
P3430R3 P3441R2 P3287R3 P2663R7 P2933R4 |
|||||
| 用于创建 执行环境 的工具 | P3325R5 | |||||
| constexpr 用于异常类型,例如 std::bad_alloc 、 std::bad_cast 等。 ( 功能测试宏 ) * |
P3068R6
P3378R2 |
|||||
| 平凡可重定位特性与操作 ( FTM ) * | P2786R13 | |||||
弃用并削弱
std::memory_order::consume
|
P3475R1 | |||||
| 将 std::monostate 置于 <utility> 头文件中 | P0472R3 | 15 | 21 | 19.50* | ||
| std::indirect ( 功能测试宏 ) * | P3019R14 | |||||
| std::polymorphic ( 功能测试宏 ) * | P3019R14 | |||||
|
更多容器和容器适配器的
constexpr
支持:
std::deque
、
std::flat_map
、
std::flat_multimap
、
std::flat_set
、
std::flat_multiset
、
std::forward_list
、
std::list
、
std::map
、
std::multimap
、
std::queue
、
std::priority_queue
、
std::set
、
std::multiset
、
std::stack
、
std::unordered_map
、
std::unordered_multimap
、
std::unordered_set
和
std::unordered_multiset
|
P3372R3 | |||||
| constexpr std::inplace_vector 用于非平凡类型 ( 功能测试宏 ) * | P3074R7 | |||||
| std::ranges::to_input_view ( 功能测试宏 ) * | P3137R3 | 15 | ||||
| std::ranges::approximately_sized_range 和 std::ranges::reserve_hint ( 功能测试宏 ) * | P2846R6 | |||||
| <hive> :一种基于桶的容器,可重用被擦除元素的内存位置( FTM ) * | P0447R28 | |||||
| <contracts> :契约违反处理支持 ( FTM ) * | P2900R14 | |||||
| 标准库强化 ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * ( FTM ) * | P3471R4 | 15 (部分实现)* | 19.44* (部分实现)* | |||
|
独立实现库:
<algorithm>
,
<numeric>
,
<random>
,(
<execution>
,
<memory>
)
( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * ( 功能测试宏 ) * |
P2976R1 | |||||
| DR20:将连续迭代器转换为指针 | P3349R0 | 15 | ||||
|
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++ (原 PGI)*
|
Nvidia nvcc
|
Cray
|
|
|---|---|---|---|---|---|---|---|---|---|---|---|
| 字面量后缀 用于(有符号) size_t ( FTM ) * | P0330R8 | 11 | 13 | 19.43* | 13.1.6* | 6.5 | 2022.2 | 23.9 | |||
使
()
对于
lambdas
更加可选
|
P1102R2 | 11 | 13 | 19.44* | 13.1.6* | 6.3 | 2022.2 | 22.5 | |||
| if consteval ( 功能测试宏 ) * | P1938R3 | 12 | 14 | 19.44* | 14.0.0* | 6.3 | 2022.2 | 24.1 | |||
| 移除垃圾回收支持 | P2186R2 | 12 | N/A | 19.30* | N/A | N/A | |||||
| static_assert 与 constexpr if 中的窄化上下文转换 | P1401R5 | 9 |
13 (部分支持)*
14 |
14.0.0* | 2022.2 | 20.7 | |||||
| 在行拼接前修剪空白字符 | P2223R2 | 是 | 是 | 是 | 6.7 | 2022.2 | 是 | ||||
| 使声明顺序布局成为强制要求 | P1847R4 | 是 | 是 | 是 | 是 | 2022.2 | 是 | ||||
| 移除混合宽字符串字面量 concatenation | P2201R1 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | |||
| 显式对象成员函数 (推导 this ) ( FTM ) * | P0847R7 | 14 |
18
19* |
19.32*
(部分支持)* 19.43* |
6.3 | 22.5 | |||||
auto(x)
和
auto{x}
(
功能测试宏
)
*
|
P0849R8 | 12 | 15 | 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语句) ( 功能测试宏 ) * | P2242R3 | 12 | 15 | 19.43* | 14.0.3* | 6.3 | 2022.2 | 22.5 | |||
| 一致的字符字面量编码 | P2316R2 | 是 | 是 | 19.30* | 是 | 是 | 2022.2 | 是 | |||
| 字符集与编码 | P2314R4 | 10 | 是 | 是 | 是 | 2022.2 | 是 | ||||
扩展初始化语句(针对
for
循环
)以允许
别名声明
|
P2360R0 | 12 | 14 | 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 | 是* | 是 | 15.0.0* | 6.5 | 2023.2 | 是 | ||||
| 移除不可编码的宽字符字面量和多字符宽字符字面量 | P2362R3 | 13 | 14 | 15.0.0* | 6.7 | 2023.2 | |||||
| 复合语句末尾的标签 | P2324R2 | 13 | 16 | 16.0.0* | 6.5 | 2023.2 | 23.9 | ||||
| 定界转义序列 | P2290R3 | 13 | 15 | 15.0.0* | 6.7 | 2023.2 | |||||
| 命名通用字符转义 ( 功能测试宏 ) * | P2071R2 | 13 | 15 | 15.0.0* | 6.7 | 2023.2 | |||||
| 放宽部分 constexpr 限制( 功能测试宏 ) * | P2448R2 | 13 |
17(部分)
19 |
2024.0(部分) | |||||||
| 更简化的隐式移动 ( FTM ) * | P2266R3 | 13 | 13 | 6.7 | 2022.2 | ||||||
| static operator ( ) ( 功能测试宏 ) * | P1169R4 | 13 | 16 | 19.44* | 16.0.0* | 6.7 | 2023.2 | ||||
| 可选 扩展浮点类型 的要求 | P1467R9 | 13 | N/A | 6.4 | |||||||
| 从继承构造函数推导类模板参数 | P2582R1 | 14 | |||||||||
属性
[[
assume
]]
|
P1774R8 | 13 | 19 | ||||||||
| 支持 将UTF-8作为可移植的源文件编码 | P2295R6 | 13* | 15* | 19.0 (Update 2)* * | 15.0.0* | 2023.2 | |||||
| static operator [ ] ( 功能测试宏 ) * | P2589R1 | 13 | 16 | 19.44* | 16.0.0* | 6.7 | 2023.2 | ||||
| 允许在 constexpr 函数中使用 static constexpr 变量( FTM ) * | P2647R1 | 13 | 16 | 16.0.0* | 2023.2 | ||||||
| 扩展基于范围的for循环初始化器中临时对象的生命周期 ( FTM ) * |
P2644R1
P2718R0 CWG2659 |
15 | 19 | ||||||||
| 声明及其查找位置 | P1787R6 | ||||||||||
| DR11:修改 lambda 尾随返回类型的作用域 |
P2036R3
P2579R0 |
17 | 2023.2 | ||||||||
| DR20: 有意义的导出 | P2615R1 | 15 | 17 (部分支持) | ||||||||
| DR20: consteval 需要向上传播 ( FTM ) * | P2564R3 | 14 | 17 | 16.0.0* | 6.7 | 2024.0 | |||||
| DR98:基于Unicode技术报告31的C++标识符语法 | P1949R7 | 12 | 14 | 14.0.0* | 6.4 | 2022.2 | |||||
| DR11:允许重复 属性 | P2156R1 | 11 | 13 | 13.1.6* | 6.5 | 23.9 | |||||
DR20:调整特性测试宏
__cpp_concepts
的值
|
P2493R0 | 12 | 19.32* | 6.4 | 23.3 | ||||||
| DR98: 放宽对 wchar_t 的要求以匹配现有实践 | P2460R2 | 是 | 是 | 是 | 15.0.0* | 不适用 | 2023.2 | ||||
| DR11:在常量表达式中使用未知指针和引用 | P2280R4 | 14 | 20 * | ||||||||
| DR20:您正在寻找的相等运算符 | P2468R2 | 13 | 16 | 16.0.0* | 2023.2 | ||||||
| DR20: char8_t 兼容性与可移植性修复( 功能测试宏 ) * | 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++ (原 PGI)*
|
Nvidia nvcc
|
Cray
|
C++23 标准库特性
|
C++23 特性
|
提案文档
|
GCC libstdc++
|
Clang libc++
|
MSVC STL
|
Apple Clang*
|
|
|---|---|---|---|---|---|---|
| 堆栈追踪库 ( 功能测试宏 ) * |
P0881R7
P2301R1 |
12 (部分支持)*
14* |
19.34* | |||
| <stdatomic.h> ( 功能测试宏 ) * | P0943R6 | 12 | 15 | 19.31* | 14.0.3* | |
| std::is_scoped_enum ( 功能测试宏 ) * | P1048R1 | 11 | 12 | 19.30* | 13.0.0* | |
| std::basic_string::contains() , std::basic_string_view::contains() ( 功能测试宏 ) * | P1679R3 | 11 | 12 | 19.30* | 13.0.0* | |
| std::to_underlying ( 功能测试宏 ) * | P1682R3 | 11 | 13 | 19.30* | 13.1.6* | |
| 放宽对 time_point<>::clock 的要求 | P2212R2 | N/A | N/A | N/A | N/A | |
| 在分配器接口中提供大小反馈 ( FTM ) * | P0401R6 | 15 | 19.30* | 14.0.3* | ||
| <spanstream> :基于 std::span 缓冲区的字符串流 ( 功能测试宏 ) * | P0448R4 | 12 | 19.31* | |||
| std::out_ptr() , std::inout_ptr() ( 功能测试宏 ) * | P1132R8 | 14 | 19 | 19.30* | ||
| constexpr type_info::operator==() ( FTM ) * | P1328R1 | 12 | 17 |
19.33*
*
19.34* |
15.0.0* | |
| std::stack 和 std::queue 的迭代器对构造函数 ( 功能测试宏 ) * | P1425R4 | 12 | 14 | 19.31* | 14.0.3* | |
| 容器推导指南中分配器的非推导上下文 | P1518R2 | 12 * | 13 * | 19.31* * | 13.1.6* * | |
| ranges::starts_with() 和 ranges::ends_with() ( 功能测试宏 ) * | P1659R3 |
17 (部分支持)*
18 |
19.31* | 16.0.0* | ||
| 禁止从 std::basic_string 和 std::basic_string_view 构造时使用 nullptr | P2166R1 | 12 | 13 | 19.30* | 13.1.6* | |
| std::invoke_r() ( 功能测试宏 ) * | P2136R3 | 12 | 17 | 19.31* | 15.0.0* | |
| Range 构造函数 用于 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 ( 功能测试宏 ) * | P2321R2 | 13 | 15(部分支持)* |
19.33*
(部分支持)*
*
*
19.37* |
14.0.3* | |
| 关联容器的异构擦除重载 ( FTM ) * | P2077R3 | 19.32* | ||||
| std::byteswap() ( 功能测试宏 ) * | P1272R4 | 12 | 14 | 19.31* | 14.0.3* | |
| 输出 volatile T * | P1147R1 | 11.3 | 14 | 19.31* | 14.0.3* | |
| basic_string::resize_and_overwrite() ( 功能测试宏 ) * | P1072R10 | 12 | 14 | 19.31* | 14.0.3* | |
| std::optional 的单子操作 std::optional ( FTM ) * | P0798R8 | 12 | 14 | 19.32* | 14.0.3* | |
| std::move_only_function ( 功能测试宏 ) * | P0288R9 | 12 | 19.32* | |||
| 为 std::exchange 添加条件性 noexcept 规范 | P2401R0 | 12 | 14 | 19.25* | 14.0.3* | |
| 要求 std::span 和 std::basic_string_view 为 TriviallyCopyable | P2251R1 | 是 | 是 | 是 | 是 | |
| 阐明“C 头文件”的状态 | P2340R1 | Yes | Yes | Yes | Yes | |
| <expected> ( 功能测试宏 ) * |
P0323R12
P2549R1 |
12 | 16 | 19.33* | 15.0.0* | |
| <cmath> 与 <cstdlib> 的常量表达式支持 ( 功能测试宏 ) * | P0533R9 | 4.6 (部分支持)* | ||||
| std::unreachable() ( 功能测试宏 ) * | 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 ( 功能测试宏 ) * | P2255R2 |
13 (部分实现)*
14 |
21 (部分实现)* | |||
| constexpr std::unique_ptr ( 功能测试宏 ) * | P2273R3 | 12 | 16 | 19.33* | 15.0.0* | |
| 通过 ranges::to() 从范围构造容器和字符串, 标签化构造函数、插入及赋值成员函数 ( FTM ) * ( FTM ) * | P1206R7 |
14 (部分支持)*
15 |
17 | 19.34* | 15.0.0* | |
| 用户定义范围适配器的管道支持 ( ranges::range_adaptor_closure , std::bind_back ) ( 功能测试宏 ) * ( 功能测试宏 ) * | P2387R3 |
13 (部分支持)*
14 |
19 | 19.34* | ||
| ranges::iota() 、 ranges::shift_left() 和 ranges::shift_right() ( 功能测试宏 ) * ( 功能测试宏 ) * | P2440R1 | 13(部分支持)* | 19.34* | |||
| views::join_with ( 功能测试宏 ) * | P2441R2 | 13 | 19.34* | |||
| views::chunk 和 views::slide ( 功能测试宏 ) * ( 功能测试宏 ) * | P2442R1 | 13 | 19.33* | |||
| views::chunk_by ( 功能测试宏 ) * | P2443R1 | 13 | 18 | 19.33* | 16.0.0* | |
| std::mdspan :非拥有多维数组引用( 功能测试宏 ) * |
P0009R18
P2599R2 P2604R0 P2613R1 P2763R1 |
17(部分支持)*
18 |
19.39* | 15.0.0* | ||
| <flat_map> ( 功能测试宏 ) * | P0429R9 | 15 | 20 | |||
| <flat_set> ( 功能测试宏 ) * | P1222R4 | 15 | 21 | |||
| ranges::find_last() 、 ranges::find_last_if() 和 ranges::find_last_if_not() ( 功能测试宏 ) * | P1223R5 | 13 | 19 | 19.36* | ||
| 独立库:简易 <utility> 、 <ranges> 与 <iterator> | P1642R11 | 13 * | N/A | |||
| views::stride ( 功能测试宏 ) * | P1899R3 | 13 | 19.34* | |||
| std::tuple 与类元组对象之间的兼容性 ( FTM ) * | P2165R4 | 14 | 2.9 (部分支持)* |
19.36*
(部分支持)
*
19.37* |
部分支持* | |
| 修正常量迭代器、哨兵及范围。 views:: as_const ( FTM ) * | P2278R4 | 13 |
19.35*
(部分实现)*
19.36* |
|||
| 格式化 范围 ( FTM ) * | P2286R8 |
15 (部分支持)*
15.2 |
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*
*
16.0.0* |
|
| 格式化 std::thread::id 和 std::stacktrace ( FTM ) * | P2693R1 | 14 | 17 (部分支持)* | 19.38* | 15.0.0* | |
| constexpr 用于 std::to_chars() 和 std::from_chars() 的整型重载 ( 功能测试宏 ) * | P2291R3 | 13 | 16 | 19.34* | 15.0.0* | |
| ranges::contains() 和 ranges::contains_subrange() ( 功能测试宏 ) * | P2302R4 | 13 |
18(部分实现)*
19 |
19.34* | 16.0.0* * | |
| 范围折叠算法 ( 功能测试宏 ) * | P2322R6 | 13 | 19.35* | |||
| views::cartesian_product ( 功能测试宏 ) * |
P2374R4
P2540R1 |
13 | 19.37* | |||
为比较概念添加仅移动类型支持 (
equality_comparable
,
totally_ordered
,
three_way_comparable
) (
FTM
)
*
|
P2404R3 | 19.36* | ||||
| 范围迭代器作为非范围算法的输入 ( FTM ) * | P2408R5 | 19.34* | ||||
| constexpr std::bitset ( 功能测试宏 ) * | P2417R2 | 13 | 16 | 19.34* | 15.0.0* | |
basic_string::substr()
&&
|
P2438R2 | 16 | 19.34* | 15.0.0* | ||
| views::as_rvalue ( 功能测试宏 ) * | P2446R2 | 13 | 16 | 19.34* | 15.0.0* | |
| 标准库模块 ( FTM ) * | P2465R3 | 15* | 17 (部分支持)* |
19.35*
(部分支持)* 19.36* |
||
| std::forward_like() ( 功能测试宏 ) * | P2445R1 | 14 | 16 | 19.34* | 15.0.0* | |
| 为 std::fstream 支持独占模式 ( 功能测试宏 ) * | P2467R1 | 12 | 18 | 19.36* | 16.0.0* | |
| views::repeat ( 功能测试宏 ) * | P2474R2 | 13 | 17 | 19.36* | 15.0.0* | |
| 放宽范围适配器以允许移动仅类型 ( FTM ) * | P2494R2 | 14 | 17 | 19.34* | 15.0.0* | |
| std::basic_string_view 范围 构造函数 应为显式 | 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 ) ( 功能测试宏 ) * |
P2590R2
P2679R2 |
|||||
| 澄清 chrono 类型本地化格式化中的编码处理方式 ( FTM ) * | P2419R2 | 15* | 19.34* * | |||
std::move_iterator
不应始终为
input_iterator
(
功能测试宏
)
*
|
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 ( 功能测试宏 ) * | P2164R9 | 13 | 19.37* | |||
| std::is_implicit_lifetime ( 功能测试宏 ) * | P2674R1 | 20 | ||||
| std::common_reference_t 对于 std::reference_wrapper 应为引用类型 ( 功能测试宏 ) * ( 功能测试宏 ) * | P2655R3 | 19.37* | ||||
| 禁止用户特化 std::allocator_traits | P2652R2 | 19 | 19.37* | |||
| 弃用 std::numeric_limits::has_denorm | P2614R2 | 18 | 19.37* | 16.0.0* | ||
| 使多参数构造函数 view 的 explicit | P2711R1 | 17 (部分)* | 19.36* * | 15.0.0* | ||
| DR20: 略微放宽范围约束 ( FTM ) * | P2609R3 | 15 | 20 | 19.37* | ||
| DR20:为正确扁平化而暂存迭代器 | P2770R0 | 14 | 18 | 19.37* | ||
| DR17: std::visit() 用于派生自 std::variant 的类 ( 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
(
功能测试宏
)
*
|
P2325R3 | 11.3 | 16 | 19.30* | 15.0.0* | |
| DR20:范围适配器对象按值绑定参数 | P2281R1 | 11 | 14 |
19.29 (16.10)*
(部分支持)* 19.31* |
14.0.3* | |
| DR20: constexpr 用于 std::optional 和 std::variant ( 功能测试宏 ) * ( 功能测试宏 ) * | 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 添加对非常量可格式化类型的支持 | 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++ (原 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 | |
| 指定初始化器 ( 功能测试宏 ) * | 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 & const 限定的成员指针 | P0704R1 | 8 | 6 | 19.0 (2015)* | 10.0.0* | 5.1 | 2021.1 | 20.7 | 12.0 | 11.0 | |
| 概念 ( 功能测试宏 ) * | 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 | |
| 默认可构造且可赋值的无状态 lambdas | 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 | ||
| Pack-expansions 在 lambda 初始化捕获 中 ( 功能测试宏 ) * | 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:放宽 structured bindings 定制点查找规则 | P0961R1 | 8 | 8 | 19.20* | 10.0.1* | 5.1 | 2021.1 | 20.7 | 12.0 | 11.0 | |
| DR11:放宽 range-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
(
功能测试宏
)
*
|
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) ( 功能测试宏 ) * | 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 虚函数 ( 功能测试宏 ) * | 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
(
功能测试宏
)
*
|
P0482R6 | 9 | 7* | 19.22* | 10.0.0* | 5.1 | 2021.1 | 20.7 | 12.0 | 11.0 | |
| std::is_constant_evaluated() ( 功能测试宏 ) * | 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 中更改联合体的活跃成员 ( 功能测试宏 ) * | P1330R0 | 9 | 9 | 19.10* | 11.0.3* | 5.1 | 2021.1 | 20.7 | 12.0 | 11.0 | |
| 协程 ( 功能测试宏 ) * ( 功能测试宏 ) * |
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 (仅主机代码) | ||
| 聚合类的 括号初始化 ( 功能测试宏 ) * | P0960R3 | 10 | 16 | 19.28 (16.8)* | 16.0.0* | 5.1 | 2021.1 | 20.7 | 12.0 | ||
DR11:
new
表达式中的数组大小推导
new
-expressions
|
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* * |
是 | N/A | 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 ( 功能测试宏 ) * | 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 | |
| 未求值的 asm 声明在 constexpr 函数中 | 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 | |
| 常量模板参数的不一致性问题 ( 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++ (原 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() 以支持数组 ( FTM ) * | 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* | |
| 工具函数 用于将指针转换为原始指针 ( FTM ) * | 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* | |
| 日历 与 时区 ( 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 要求 ( 功能测试宏 ) * ( 功能测试宏 ) * | 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* | |
|
整型二次幂
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 ( 功能测试宏 ) * | P0722R3 | 9 | 9 | 19.27* | 11.0.3* | |
| std::is_convertible ( 功能测试宏 ) * | 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 ( 功能测试宏 ) * | P0887R1 | 9 | 8 | 19.21* | 10.0.1* | |
| 概念库 ( FTM ) * | P0898R3 | 10 | 13 | 19.23* | 13.1.6* | |
constexpr
比较运算符
用于
std::array
|
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
的库支持
(
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* | 是 | |
| 迭代器 范围 提案 ( 功能测试宏 ) * | 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 ) ( FTM ) * |
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<> 作为词汇类型 ( 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() ( 功能测试宏 ) * | 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* | |
| 布局 - 兼容性 及 指针 - 互转换性 特征 ( FTM ) * ( FTM ) * | 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* | |
| 文本格式化 ( 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 及相关工具 ( 功能测试宏 ) * | 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* | |
| 安全整数比较函数 ( FTM ) * | P0586R2 | 10 | 13 | 19.27* | 13.1.6* | |
|
C++20 特性 |
提案文档 |
GCC libstdc++
|
Clang libc++
|
MSVC STL
|
Apple Clang*
|
早期标准
另请参阅
| 功能测试 (C++20) | 用于测试对应C++语言及库功能的一组预处理器宏 |
|
C文档
关于
编译器支持
|
|