C++23 的编译器支持
来自 cppreference.cn
* - 悬停在标有星号 * 的单元格上,以查看其他弹出注释。
DRnn - "DR" 后的数字 nn 表示缺陷报告应用的目标 C++ 版本,例如,DR20 → C++20。
[编辑] 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 |
14.0.0* | 2022.2 | 20.7 | |||||
修剪行拼接前的空格 | P2223R2 | 是 | 是 | 是 | 6.7 | 2022.2 | 是 | ||||
强制规定声明顺序布局 | P1847R4 | 是 | 是 | 是 | 是 | 2022.2 | 是 | ||||
移除混合宽字符串字面量拼接 | P2201R1 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | |||
显式对象成员函数 (推导 this) (FTM)* | P0847R7 | 14 | 18 19* |
19.32* (部分支持)* 19.43* |
6.3 | 22.5 | |||||
auto(x) 和 auto{x} (FTM)* |
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) (FTM)* | P2242R3 | 12 | 15 | 19.43* | 14.0.3* | 6.3 | 2022.2 | 22.5 | |||
一致的字符字面量编码 | P2316R2 | 是 | 是 | 19.30* | 是 | 是 | 2022.2 | 是 | |||
字符集和编码 | P2314R4 | 10 | 是 | 是 | 是 | 2022.2 | 是 | ||||
扩展 init-statement (的 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 限制 (FTM)* | P2448R2 | 13 | 17 (部分支持) 19 |
2024.0 (部分支持) | |||||||
更简单的隐式移动 (FTM)* | P2266R3 | 13 | 13 | 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 | |||||||||
属性 [[assume]] |
P1774R8 | 13 | 19 | ||||||||
支持 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 | 16.0.0* | 2023.2 | ||||||
扩展基于范围的 for 循环初始化器中临时对象的生命周期 (FTM)* | P2644R1 P2718R0 CWG2659 |
15 | 19 | ||||||||
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 兼容性和可移植性修复 (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* | |
放宽对 time_point<>::clock 的要求 | P2212R2 | 不适用 | 不适用 | 不适用 | 不适用 | |
在分配器接口中提供大小反馈 (FTM)* | P0401R6 | 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 | 17 (部分支持)* 18 |
19.31* | 16.0.0* | ||
禁止从 nullptr 构造 std::basic_string 和 std::basic_string_view | 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 (部分支持)* | 19.33*(部分支持)*** 19.37* |
14.0.3* | |
关联容器的异构擦除重载 (FTM)* | P2077R3 | 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.25* | 14.0.3* | |
要求 std::span & std::basic_string_view 为 可平凡复制 (TriviallyCopyable) | P2251R1 | 是 | 是 | 是 | 是 | |
澄清 “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 |
19 | |||
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 (部分支持)* | 19.34* | |||
views::join_with (FTM)* | P2441R2 | 13 | 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 |
17 (部分支持)* 18 |
19.39* | 15.0.0* | ||
<flat_map> (FTM)* | P0429R9 | 15 | 20 | |||
<flat_set> (FTM)* | P1222R4 | 15 | ||||
ranges::find_last(), ranges::find_last_if(), 和 ranges::find_last_if_not() (FTM)* | P1223R5 | 13 | 19 | 19.36* | ||
自由库:简单的 <utility>, <ranges>, 和 <iterator> | P1642R11 | 13* | 不适用 | |||
views::stride (FTM)* | P1899R3 | 13 | 19.34* | |||
std::tuple 和 tuple-like 对象之间的兼容性 (FTM)* | P2165R4 | 14 | 2.9 (部分支持)* | 19.36* (部分支持)* 19.37* |
部分支持* | |
修正常量迭代器、sentinel 和范围。views::as_const (FTM)* | P2278R4 | 13 | 19.35* (部分支持)* 19.36* |
|||
格式化 范围 (FTM)* | P2286R8 | 16 | 19.37*(部分支持)* 19.39*(部分支持)* 19.41*(部分支持)* 19.42* |
15.0.0* | ||
改进默认容器格式化 (FTM)* | P2585R1 | 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() 的整数重载 (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 | 19.35* | |||
views::cartesian_product (FTM)* | P2374R4 P2540R1 |
13 | 19.37* | |||
为比较概念添加仅移动类型支持 (equality_comparable , totally_ordered , three_way_comparable ) (FTM)* |
P2404R3 | 19.36* | ||||
作为非范围算法输入的范围迭代器 (FTM)* | P2408R5 | 19.34* | ||||
constexpr std::bitset (FTM)* | P2417R2 | 13 | 16 | 19.34* | 15.0.0* | |
basic_string::substr() && |
P2438R2 | 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 范围 构造函数 应该是显式的 | 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 |
|||||
澄清 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 | 19.37* | |||
std::is_implicit_lifetime (FTM)* | P2674R1 | 20 | ||||
std::reference_wrapper 的 std::common_reference_t 应该为引用类型 (FTM)* (FTM)* | P2655R3 | 19.37* | ||||
不允许用户特化 std::allocator_traits | P2652R2 | 19 | 19.37* | |||
弃用 std::numeric_limits::has_denorm | P2614R2 | 18 | 19.37* | 16.0.0* | ||
使 views 的多参数构造函数 explicit | P2711R1 | 17 (部分支持)* | 19.36** | 15.0.0* | ||
DR20: 轻微地放宽范围 (FTM)* | P2609R3 | 15 | 20 | 19.37* | ||
DR20: 暂存暂存迭代器以进行正确的展平 | P2770R0 | 14 | 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:constexpr 用于std::optional和std::variant (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 添加对不可常量格式化类型的支持 | P2418R2 | 13 | 15 | 19.32* | 14.0.3* | |
DR20:std::basic_format_string | P2508R1 | 13 | 15 | 19.35* | 14.0.3* | |
DR20:Poison Pills 过于有害 (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* |