Namespaces
Variants

C++23

From cppreference.net

C++标准的当前修订版本。

目录

新语言特性

void f ( int & x )
{
if ( x )
goto END ;
x = 42 ;
END :
}
  • 初始化语句中的别名声明 ( using ) ( P2360R0 ),例如
for ( using T = int ; T e : v )
/* ... */

新库特性

新增模块

新增头文件

C 兼容性头文件:

库功能特性

通用工具集
协程库
诊断信息
算法、迭代器与区间
容器
编译时支持
内存管理
字符串与文本处理
I/O 与打印

已弃用功能

已移除功能
  • 垃圾回收支持与基于可达性的泄漏检测。( P2186R2 )
  • 混合宽字符串字面量 拼接 支持,例如 const auto * no = u "q" U "p" 属于非法格式。( P2201R1 )
  • 不可编码宽字符字面量与多字符宽字符字面量,例如 wchar_t x = 'db' 属于非法格式。( P2362R3 )
已弃用功能
已撤销的弃用
  • 下标表达式中的 operator, (逗号运算符)(但其语义已更改为支持可重载的多维下标 operator [ ] )。
  • 部分C语言头文件(为兼容C语言保留的对应 <*.h> 头文件)( P2340R1 )

缺陷报告

编译器支持

主要文章: 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
命名通用字符转义 ( 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 变量( 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 需要向上传播 ( 功能测试宏 ) * 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*
堆栈追踪库 ( FTM ) * 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==() ( 功能测试宏 ) * 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 与类元组对象之间的兼容性  ( 功能测试宏 ) * 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 支持独占模式 ( FTM ) * 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 的单子操作 ( 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*

* - 将鼠标悬停在带星号标记的单元格上 * 即可查看附加的弹出说明。
DR nn - "DR"后的数字 nn 表示缺陷报告所适用的目标C++修订版本,例如:DR20 → C++20。

外部链接

1. C++23 - 维基百科