命名空间
变体
操作

C++23

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

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

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

目录

[edit] 新的语言特性

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

[edit] 新的库特性

[edit] 新模块

[edit] 新头文件

C 兼容性头文件

[edit] 库特性

[edit] 通用工具
[edit] 协程库
[edit] 诊断
[edit] 算法、迭代器和范围
[edit] 容器
[edit] 编译时支持
[edit] 内存管理
[edit] 字符串和文本处理
[编辑] 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++ (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 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 是
移除混合宽字符串字面量 连接 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 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[]  (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：有意义的 exports 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* N/A 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 N/A N/A N/A N/A
在分配器接口中提供大小反馈  (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 的 Range 构造函数 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* N/A
views::stride  (FTM)* P1899R3 13 19.34*
std::tuple 和类元组对象之间的兼容性  (FTM)* P2165R4 14 2.9 (部分支持)* 19.36* (部分支持)*
19.37* 		部分支持*
修正常量迭代器、哨兵和范围。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 范围 constructor 应为显式的 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
澄清时间类型本地化格式中编码的处理  (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：稍微放宽范围  (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：修复 input range adaptors 和 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”后的数字表示缺陷报告应用的目标 C++ 版本，例如，DR20 → C++20。

[编辑] 外部链接

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