命名空间
变体
操作

C++23

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

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

本节不完整
原因：检查是否提到了所有重要特性（使用下面的编译器支持表）。添加更多链接，并可能重新组合一些行。

目录

[编辑] 新语言特性

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

[编辑] 新库特性

[编辑] 新模块

[编辑] 新头文件

C 兼容头文件

[编辑] 库特性

[编辑] 通用工具
[编辑] 协程库
[编辑] 诊断
[编辑] 算法、迭代器和 Ranges
[编辑] 容器
[编辑] 编译时支持
[编辑] 内存管理
[编辑] 字符串和文本处理
[编辑] 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
用于 (signed) 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   (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：使用 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++ (前 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-based 缓冲区的字符串流   (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 的 Monadic 操作   (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*
<cmath> 和 <cstdlib> 的 constexpr   (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 对象之间的兼容性   (FTM)* P2165R4 14 2.9 (部分)* 19.36* (部分)*
19.37* 		部分*
纠正常量迭代器、哨兵和范围。views::as_const   (FTM)* P2278R4 13 19.35* (部分)*
19.36*
格式化 Ranges   (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**
Ranges 折叠算法   (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*
将 Ranges 迭代器作为非 Ranges 算法的输入   (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: 用于 Ranges 的同步协程生成器   (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 的 Monadic 操作   (FTM)* P2505R5 13 17 19.36* 15.0.0*
views::enumerate   (FTM)* P2164R9 13 19.37*
std::is_implicit_lifetime   (FTM)* P2674R1 20
std::common_reference_t of std::reference_wrapper 应该是一个引用类型   (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：Ranges 只是一点点放松   (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  (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*

* - 将鼠标悬停在标有星号 * 的单元格上可查看额外的弹出式注释。
DRnn - “DR”后的数字 nn 表示该缺陷报告（Defect Report）所适用的 C++ 修订版本，例如 DR20 → C++20。

[edit] 外部链接

1.  C++23 - Wikipedia
摘自 "https://cppreference.cn/mwiki/index.php?title=cpp/23&oldid=179940"