命名空间
变体
操作

C++23

来自 cppreference.com
< cpp
 
C++
 
版本
 

下一代 C++ 标准。

请参阅：C++23 的当前 IS 时间表 (2023-05-10)。

本节内容尚未完善
原因：检查是否提到了所有重要的功能（使用下面的编译器支持表）。添加更多链接，可能需要重新分组一些行。

内容

[edit] 新的语言功能

void f(int& x)
{
    if (x)
        goto END;
    x = 42;
END:
}
  • 在 init-statements 中使用别名声明 (using) (P2360R0)，例如
for (using T = int; T e : v)
    /* ... */

[edit] 新的库功能

[edit] 新的模块

[edit] 新的头文件

C 兼容性头文件

[编辑] 库特性

[编辑] 通用工具
[编辑] 协程库
[编辑] 诊断
[编辑] 算法、迭代器和范围
[编辑] 容器
[编辑] 编译时支持
[edit] 内存管理
[edit] 字符串和文本处理
[edit] I/O 和打印

[edit] 已过时

[edit] 已移除
  • 垃圾回收支持和基于可达性的泄漏检测。 (P2186R2)
  • 混合宽字符串字面量 连接 支持，例如，const auto* no = u"q" U"p" 是非法的。 (P2201R1)
  • 不可编码宽字符字面量和多字符宽字符字面量，例如 wchar_t x = 'db' 是非法的。 (P2362R3)
[edit] 已弃用
[edit] 已恢复的弃用
  • 在索引表达式中使用 operator, (逗号运算符)（但语义已更改为支持可重载的多维索引 operator[]）。
  • 一些 C 头文件（与 C 兼容的相应 <*.h> 头文件）(P2340R1)

[edit] 错误报告

[edit] 编译器支持

主要文章：C++23 编译器支持

[edit] C++23 核心语言特性

C++23 特性

  		论文

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
IBM Open XL C++ for AIX
IBM Open XL C++ for z/OS
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
字面量后缀 用于 (有符号) size_t P0330R8 11 13

13.1.6*

6.5 2022.2
使 lambda 表达式 的 () 更加可选 P1102R2 11 13

13.1.6*

6.3 2022.2
if consteval P1938R3 12 14

14.0.0*

6.3 2022.2
移除垃圾回收支持 P2186R2 12 N/A 19.30* N/A
在 static_assert 和 constexpr if 中缩窄上下文转换 P1401R5 9 13 (部分)*
14

14.0.0*

2022.2
在行拼接之前修剪空白 P2223R2 是 是 是 2022.2
使声明顺序布局强制执行 P1847R4 是 是 是 是 2022.2
移除混合宽字符串字面量 连接 P2201R1 是 是 是 是 是 是
显式对象成员函数 (推断 this) P0847R7 14 18
19* 		19.32*
(部分)* 		6.3
auto(x) 和 auto{x} P0849R8 12 15

14.0.3*

6.4 2022.2
#elifdef 和 #elifndef P2334R1 12 13 19.40*

13.1.6*

6.5 2022.2
在 constexpr 函数中使用非字面量变量 (以及标签和 goto) P2242R3 12 15

14.0.3*

6.3 2022.2
一致的字符字面量编码 P2316R2 是 是 19.30* 是 是 2022.2
字符集和编码 P2314R4 10 是 是 2022.2
扩展 init-statement (of for 循环) 以允许 别名声明 P2360R0 12 14

14.0.0*

2022.2
多维 索引运算符 P2128R6 12 15

14.0.3*

2022.2
在 lambda 表达式 上使用属性 P2173R1 9 13

13.1.6*

6.6 2022.2
#warning P2437R1 是* 是

15.0.0*

6.5 2023.2
移除不可编码宽字符字面量和多字符宽字符字面量 P2362R3 13 14

15.0.0*

2023.2
复合语句末尾的标签 P2324R2 13 16 6.5 2023.2
分隔的转义序列 P2290R3 13 15

15.0.0*

2023.2
命名通用字符转义 P2071R2 13 15

15.0.0*

6.7 2023.2
放松一些 constexpr 限制 P2448R2 13 17 (部分)
19 		2024.0 (部分)
更简单的隐式移动 P2266R3 13 13 2022.2
static operator() P1169R4 13 16 2023.2
可选扩展浮点类型的要求 P1467R9 13 N/A 6.4
从继承的构造函数中推断类模板参数 P2582R1 14
属性[[assume]] P1774R8 13 19
支持UTF-8 作为可移植源文件编码 P2295R6 13* 15* 19.0 (更新 2)**

15.0.0*

2023.2
static operator[] P2589R1 13 16 6.7 2023.2
允许在constexpr 函数中使用static constexpr 变量 P2647R1 13 16 2023.2
扩展基于范围的 for 循环初始化器中临时变量的生命周期 P2718R0 15 19


DR11: 更改lambda 尾随返回类型的作用域 P2036R3
P2579R0 		17 2023.2
DR20: 有意义的导出 P2615R1 15 17 (部分)
DR20: consteval 需要向上传播 P2564R0 14 17 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
DR20: 调整功能测试宏__cpp_concepts 的值 P2493R0 12 19.32* 6.4
DR98: 放宽对wchar_t 的要求 以匹配现有实践 P2460R2 是 是

15.0.0*

2023.2
DR11: 在常量表达式中使用未知指针和引用 P2280R4 14
DR20: 您正在寻找的相等运算符 P2468R2 13 16 2023.2
DR20: char8_t 兼容性和可移植性修复 P2513R4 13 16 19.34* 2023.2
DR98/11: 阐明诊断指令 的报告，并允许在模板上下文中对非值相关表达式的static_assert CWG2518 13 17 16.0*
(部分)*
19.40*
 

C++23 特性		  

论文
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
IBM Open XL C++ for AIX
IBM Open XL C++ for z/OS
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc

[edit] C++23 库功能

C++23 特性

  		论文

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*
堆栈跟踪库 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
在分配器接口中提供大小反馈 P0401R6 15 19.30*

14.0.3*

<spanstream>: 具有std::span 为基础的缓冲区的字符串流 P0448R4 12 19.31*
std::out_ptr()，std::inout_ptr() P1132R8 14 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*
禁止从nullptr 构造std::basic_string 和std::basic_string_view P2166R1 12 13 19.30*

13.1.6*

std::invoke_r() 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 P2321R2 13 15 (部分)* 19.33*(部分)***
19.37*

14.0.3*

关联容器的异构擦除重载 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 的单子运算 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 是 是 是 是
<expected> P0323R12
P2549R1 		12 16 19.33*

15.0.0*

用于<cmath> 和<cstdlib> 的 constexpr 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 		19
constexpr std::unique_ptr P2273R3 12 16 19.33*

15.0.0*

使用ranges::to()、标记构造函数、insert 和 assign 成员函数从范围构造容器和字符串 P1206R7 14 (部分)* 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*
std::mdspan: 一个非拥有多维数组引用 P0009R18
P2599R2
P2604R0
P2613R1
P2763R1 		17 (部分)*
18 		19.39*

15.0.0*

<flat_map> P0429R9
<flat_set> P1222R4
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 P2278R4 13 19.35* (部分)*
19.36*
格式化 范围 P2286R8 16 19.37*(部分)*
19.39*(部分)*
19.41*(部分)*
19.42*

15.0.0*

改进默认容器格式化 P2585R1 16 (部分)*
17 		19.42*

15.0.0*

格式化输出库<print> P2093R14
P2539R4 		14 17 (部分)*
18 		19.37*

15.0.0**

格式化 std::thread::id 和std::stacktrace P2693R1 14 17 (部分)* 19.38*

15.0.0*

用于std::to_chars() 和std::from_chars() 的整数重载的 constexpr。 P2291R3 13 16 19.34*

15.0.0*

ranges::contains() 和ranges::contains_subrange() P2302R4 13 19 19.34*
范围折叠算法 P2322R6 13 19.35*
views::cartesian_product P2374R4
P2540R1 		13 19.37*
为比较概念（equality_comparable，totally_ordered，three_way_comparable）添加仅移动类型支持 P2404R3 19.36*
范围迭代器作为非范围算法的输入 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*

标准库模块 P2465R3 17 (部分)* 19.35*
(部分)*
19.36*
std::forward_like() P2445R1 14 16 19.34*

15.0.0*

支持std::fstream 的独占模式 P2467R1 12 18 19.36*
views::repeat P2474R2 13 17 19.36*

15.0.0*

放宽范围适配器以允许仅移动类型 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*
显式生命周期管理 (std::start_lifetime_as) P2590R2
P2679R2
澄清本地化格式化的 chrono 类型中的编码处理 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
std::common_reference_t of std::reference_wrapper 应为引用类型 P2655R3 19.37*
不允许用户专门化 std::allocator_traits P2652R2 19 19.37*
弃用 std::numeric_limits::has_denorm P2614R2 18 19.37*
使 view 的多参数构造函数 explicit P2711R1 17 (部分)* 19.36**

15.0.0*

DR20: 稍微放宽范围 P2609R3 15 20 19.37*
DR20: 存储迭代器以进行正确的扁平化 P2770R0 14 18 19.37*
DR17: 针对从 std::variant 派生的类的 std::visit() 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 for 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 格式化程序中的区域设置处理 P2372R3 13 19.31*
DR20: 清理整数类类型 P2393R1 19.32*
DR20: std::format() 改进 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: 毒药丸太有毒了 P2602R2 14 19 19.36*
DR20: std::format 填充字符允许 P2572R1 14 17 19.37*
DR20: 改善 std::format 的宽度估计 P2675R1 14 17 19.38*
DR20: std::barrier 的阶段完成保证 P2588R3 19.28 (16.8)**
19.36*
 

C++23 特性		  

论文
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*

* - 将鼠标悬停在带有星号 * 的单元格上，查看其他弹出注释。
DRnn - “DR” 后面的数字 nn 表示应用缺陷报告的目标 C++ 版本，例如，DR20 → C++20。

[编辑] 外部链接

  C++23 - 维基百科
检索自 "https://cppreference.cn/mwiki/index.php?title=cpp/23&oldid=176382"