C++23 的编译器支持
来自cppreference.com
< cpp | compiler support
* - 在版本号上停留可以查看注记 * 查看其他注记
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 | 是 | ||||
扩展(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:C++ 标识符语法使用 Unicode 标准附录 31 | 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* | ||
禁止 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 (部分)* | 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 |
21 (部分)* | |||
constexpr std::unique_ptr (FTM)* | P2273R3 | 12 | 16 | 19.33* | 15.0.0* | |
以 ranges::to(),带标签构造函数,insert 和 assign 成员函数从范围来构造容器和字符串 (FTM)* (FTM)* | P1206R7 | 14 (部分)* 15 |
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 | 21 | |||
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* |
部分* | |
矫正常量迭代器、哨位和范围。 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** | |
格式化 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 | 18 (部分)* 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 范围构造函数 应为 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 |
|||||
明确 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* | ||
为 view 创造 explicit 的多参构造函数 | P2711R1 | 17 (部分)* | 19.36** | 15.0.0* | ||
DR20:稍微放松 range 的要求 (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: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* |