Compiler support for C++23
From cppreference.net
<
cpp
|
compiler support
*
- 将鼠标悬停在带星号标记的单元格上
*
即可查看附加的弹出注释。
DR
nn
- "DR"后的数字
nn
表示缺陷报告所适用的目标C++修订版本,例如:DR20 → C++20。
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 )( 功能测试宏 ) * | 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 | |||||
| 命名通用字符转义 ( FTM ) * | 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 变量 ( 功能测试宏 ) * | 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 需要向上传播 ( 功能测试宏 ) * | 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 | 不适用 | 不适用 | 不适用 | 不适用 | |
| 在分配器接口中提供大小反馈 ( 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==() ( 功能测试宏 ) * | 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() ( 功能测试宏 ) * | 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 与类元组对象之间的兼容性 ( 功能测试宏 ) * | 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 ( 功能测试宏 ) * | 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() ( FTM ) * | 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
)(
功能测试宏
)
*
|
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 :用于范围的同步协程生成器 ( 功能测试宏 ) * |
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 的单子操作 ( 功能测试宏 ) * | 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
(
FTM
)
*
|
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
具备所有权的视图 (
功能测试宏
)
*
|
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*
|