C++23

来自cppreference.com
< cpp


 
C++
 
版本
 

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++ (ex PGI)*
Nvidia nvcc
Cray
（有符号）size_t 的字面量后缀  (FTM)*P0330R8111319.43*13.1.6*6.52022.223.9
使更多 lambda 的 () 可以被省略P1102R2111319.44*13.1.6*6.32022.222.5
if consteval  (FTM)*P1938R3121419.44*14.0.0*6.32022.224.1
移除垃圾收集支持P2186R212不适用19.30*不适用不适用
允许在 static_assert 和 constexpr if 中进行窄化的上下文转换P1401R5913 (部分)*
14		14.0.0*2022.220.7
行拼接之前剔除空白P2223R2是是是6.72022.2是
使类布局更遵守声明顺序P1847R4是是是是2022.2是
移除混合宽度字符串字面量拼接P2201R1是是是是是是是
显式对象成员函数（推导 this）  (FTM)*P0847R71418
19*		19.32* (部分)*
19.43*		6.322.5
auto(x) 与 auto{x}  (FTM)*P0849R8121514.0.3*6.42022.223.3
#elifdef 与 #elifndefP2334R1121319.40*13.1.6*6.52022.223.9
constexpr 函数中的非字面类型变量（以及句标与 goto）  (FTM)*P2242R3121519.43*14.0.3*6.32022.222.5
一致的字符字面量编码P2316R2是是19.30*是是2022.2是
字符集与编码P2314R410是是是2022.2是
扩展（for 循环 的）初始化语句以允许别名声明P2360R0121414.0.0*2022.2
多维数组下标运算符  (FTM)*P2128R6121519.42*14.0.3*2022.2
lambda 上的属性P2173R191319.44*13.1.6*6.62022.222.5
#warningP2437R1是*是15.0.0*6.52023.2是
移除不可编码的宽字符字面量和多字符宽字符字面量P2362R3131415.0.0*6.72023.2
复合语句末尾的标签P2324R2131616.0.0*6.52023.223.9
划线的转义序列P2290R3131515.0.0*6.72023.2
命名的通用转义字符  (FTM)*P2071R2131515.0.0*6.72023.2
放松 constexpr 的限制  (FTM)*P2448R21317 (部分)
19		2024.0 (部分)
简化的隐式移动  (FTM)*P2266R313136.72022.2
static operator()  (FTM)*P1169R4131619.44*16.0.0*6.72023.2
可选的扩展浮点数类型要求P1467R913不适用6.4
从继承的构造函数中推导出类模板参数P2582R114
[[assume]] 属性P1774R81319
支持 UTF-8 作为一种可移植的源文件编码P2295R613*15*19.0 (Update 2)**15.0.0*2023.2
static operator[]  (FTM)*P2589R1131619.44*16.0.0*6.72023.2
允许 constexpr 函数中的 static constexpr 变量  (FTM)*P2647R1131616.0.0*2023.2
延长范围 for 循环初始化器中临时变量的生命  (FTM)*P2644R1
P2718R0
CWG2659		1519
DR11：更改 lambda 尾随返回类型的作用域P2036R3
P2579R0		172023.2
DR20：有意义的导出P2615R11517 (部分)
DR20：consteval 需要向上传播  (FTM)*P2564R3141716.0.0*6.72024.0
DR98：C++ 标识符语法使用 Unicode 标准附录 31P1949R7121414.0.0*6.42022.2
DR11：允许重复属性P2156R1111313.1.6*6.523.9
DR20：调整功能特性测试宏 __cpp_concepts 的值P2493R01219.32*6.423.3
DR98：放宽 wchar_t 的要求以符合现有实践P2460R2是是是15.0.0*不适用2023.2
DR11：在常量表达式中使用未知的指针和引用P2280R41420*
DR20：放宽相等性运算的重写规则P2468R2131616.0.0*2023.2
DR20：char8_t 兼容性和可移植性修复  (FTM)*P2513R4131619.34*16.0.0*2023.2
DR98/11：澄清诊断指令报告的内容并允许 static_assert 模板上下文中使用非值依赖性表达式CWG2518131716.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)*P0943R6121519.31*14.0.3*
std::is_scoped_enum  (FTM)*P1048R1111219.30*13.0.0*
std::basic_string::contains(), std::basic_string_view::contains()  (FTM)*P1679R3111219.30*13.0.0*
std::to_underlying  (FTM)*P1682R3111319.30*13.1.6*
放松 time_point<>::clock 的要求P2212R2不适用不适用不适用不适用
在分配器接口中提供大小反馈  (FTM)*P0401R61519.30*14.0.3*
<spanstream>：以 std::span 为基础的字符串流  (FTM)*P0448R41219.31*
std::out_ptr()、std::inout_ptr()  (FTM)*P1132R8141919.30*
constexpr type_info::operator==()  (FTM)*P1328R1121719.33**
19.34*		15.0.0*
std::stack 与 std::queue 的迭代器对构造函数  (FTM)*P1425R4121419.31*14.0.3*
容器推导指引中分配器的非推导语境P1518R212*13*19.31**13.1.6**
ranges::starts_with() 与 ranges::ends_with()  (FTM)*P1659R317 (部分)*
18		19.31*16.0.0*
禁止 basic_string 与 basic_string_view 从 nullptr 构造P2166R1121319.30*13.1.6*
std::invoke_r()  (FTM)*P2136R3121719.31*15.0.0*
std::basic_string_view 的范围构造函数P1989R2111419.30*14.0.3*
std::pair 的转发构造函数的默认模板实参P1951R1141419.30*14.0.3*
移除垃圾收集与基于可达性的泄漏检测（库支持）P2186R2121419.30*14.0.3*
zip: views::zip, views::zip_transform, views::adjacent, 和 views::adjacent_transform  (FTM)*P2321R21315 (部分)*19.33* (部分)***
19.37*		14.0.3*
关联容器的异质擦除重载  (FTM)*P2077R319.32*
std::byteswap()  (FTM)*P1272R4121419.31*14.0.3*
打印 volatile T*P1147R111.31419.31*14.0.3*
basic_string::resize_and_overwrite()  (FTM)*P1072R10121419.31*14.0.3*
std::optional 的单子操作  (FTM)*P0798R8121419.32*14.0.3*
std::move_only_function  (FTM)*P0288R91219.32*
为 std::exchange 添加条件性 noexcept 说明P2401R0121419.25*14.0.3*
要求 std::span 与 std::basic_string_view 为 可平凡复制 (TriviallyCopyable) P2251R1是是是是
澄清“C 头文件”的状况P2340R1是是是是
<expected>  (FTM)*P0323R12
P2549R1		121619.33*15.0.0*
constexpr 的 <cmath> 与 <cstdlib>  (FTM)*P0533R94.6 (部分)*
std::unreachable()  (FTM)*P0627R6121519.32*14.0.3*
弃用 std::aligned_storage 与 std::aligned_unionP1413R3131619.33*
std::reference_constructs_from_temporary & std::reference_converts_from_temporary  (FTM)*P2255R213 (部分)*
14		21 (部分)*
constexpr std::unique_ptr  (FTM)*P2273R3121619.33*15.0.0*
以 ranges::to()，带标签构造函数，insert 和 assign 成员函数从范围来构造容器和字符串  (FTM)*  (FTM)*P1206R714 (部分)*1719.34*15.0.0*
用户定义适配器范围的管道支持（ranges::range_adaptor_closure, std::bind_back）  (FTM)*  (FTM)*P2387R313 (部分)*
14		1919.34*
ranges::iota()、 ranges::shift_left() 及 ranges::shift_right()  (FTM)*  (FTM)*P2440R113 (部分)*19.34*
views::join_with  (FTM)*P2441R21319.34*
views::chunk 与 views::slide  (FTM)*  (FTM)*P2442R11319.33*
views::chunk_by  (FTM)*P2443R1131819.33*16.0.0*
std::mdspan：非所有者的多维数组引用  (FTM)*P0009R18
P2599R2
P2604R0
P2613R1
P2763R1		17 (部分)
18*		19.39*15.0.0*
<flat_map>  (FTM)*P0429R91520
<flat_set>  (FTM)*P1222R41521
ranges::find_last()，ranges::find_last_if()，和 ranges::find_last_if_not()  (FTM)*P1223R5131919.36*
独立式库：简单的 <utility>，<ranges> 和 <iterator>P1642R1113*不适用
views::stride  (FTM)*P1899R31319.34*
比较 std::tuple 和 tuple-like 对象  (FTM)*P2165R4142.9 (部分)*19.36* (部分)*
19.37*		部分*
矫正常量迭代器、哨位和范围。 views::as_const  (FTM)*P2278R41319.35* (部分)*
19.36*
格式化范围  (FTM)*P2286R81619.37* (部分)*
19.39* (部分)*
19.41* (部分)*
19.42*		15.0.0*
改进容器的默认格式化  (FTM)*P2585R116 (部分)*
17		19.42*15.0.0*
格式化输出库 <print>  (FTM)*P2093R14
P2539R4		1417 (部分)
18*		19.37*15.0.0**
格式化 std::thread::id 和 std::stacktrace  (FTM)*P2693R11417 (部分)*19.38*15.0.0*
constexpr 的 std::to_chars() 和 std::from_chars() 对整数的重载  (FTM)*P2291R3131619.34*15.0.0*
ranges::contains() 和ranges::contains_subrange()  (FTM)*P2302R4131919.34*16.0.0**
范围折叠算法  (FTM)*P2322R61319.35*
views::cartesian_product  (FTM)*P2374R4
P2540R1		1319.37*
对仅移动类型添加可比较概念 (equality_comparable，totally_ordered 和 three_way_comparable) 的支持  (FTM)*P2404R319.36*
非范围算法输入范围迭代器  (FTM)*P2408R519.34*
constexpr 的 std::bitset  (FTM)*P2417R2131619.34*15.0.0*
basic_string::substr() &&P2438R21619.34*15.0.0*
views::as_rvalue  (FTM)*P2446R2131619.34*15.0.0*
标准库模块  (FTM)*P2465R315*17 (部分)*19.35* (部分)*
19.36*
std::forward_like()  (FTM)*P2445R1141619.34*15.0.0*
为 std::fstream 添加独占模式  (FTM)*P2467R1121819.36*16.0.0*
views::repeat  (FTM)*P2474R2131719.36*15.0.0*
放宽范围适配器对只移动类型的要求  (FTM)*P2494R2141719.34*15.0.0*
std::basic_string_view 范围构造函数 应为 explicitP2499R012.21619.34*15.0.0*
std::generator：范围同步协程生成器  (FTM)*P2502R2
P2787R0		1419.43*
为 std::apply 添加条件 noexcept 说明P2517R1101819.34*16.0.0*
显式生命周期管理 (std::start_lifetime_as)  (FTM)*P2590R2
P2679R2
明确 chrono 类型本地化格式中编码的处理方法  (FTM)*P2419R215*19.34**
std::move_iterator 不应该总为 input_iterator  (FTM)*P2520R012.3*17*19.34**15.0.0*
对 显式对象实参函数调用运算符 的推导指引更新LWG36171419.34*
对 static operator() 的推导指引更新P1169R4131619.39*15.0.0*
扩展浮点数类型的标准名字以及库支持P1467R91319.37**
std::expected 的单子操作  (FTM)*P2505R5131719.36*15.0.0*
views::enumerate  (FTM)*P2164R91319.37*
std::is_implicit_lifetime  (FTM)*P2674R120
std::reference_wrapper 的 std::common_reference_t 应该为引用类型  (FTM)*  (FTM)*P2655R319.37*
禁止用户特化 std::allocator_traitsP2652R21919.37*
弃用 std::numeric_limits::has_denormP2614R21819.37*16.0.0*
为 view 创造 explicit 的多参构造函数P2711R117 (部分)*19.36**15.0.0*
DR20：稍微放松 range 的要求  (FTM)*P2609R3152019.37*
DR20：储存储存迭代器以实现适当的扁平化P2770R0141819.37*
DR17：std::variant 的派生类的 std::visit()  (FTM)*P2162R211.31319.20**
19.30*		13.1.6*
DR20：条件性借用范围P2017R1111619.30*
DR20：修复输入范围适配器与 std::counted_iteratorP2259R11219.30* (部分)*
19.31*
DR20: views::join 应结合所有范围P2328R111.21519.30*14.0.3*
DR20：view 不要求 default_initializable  (FTM)*P2325R311.31619.30*15.0.0*
DR20：范围适配器对象按值绑定实参P2281R1111419.29 (16.10)* (部分)*
19.31*		14.0.3*
DR20：std::optional 与 std::variant 的 constexpr  (FTM)*  (FTM)*P2231R111.3 (部分)*
12		13 (部分)*
19		19.31*13.1.6* (部分)
DR20: views::lazy_split 与重新设计的 views::splitP2210R2121619.31*15.0.0*
DR20：修复 ranges::istream_viewP2432R1121619.31*15.0.0*
DR20：带所有权的 view  (FTM)*P2415R2121419.31*14.0.3*
DR20：修复 chrono 格式化器中的本地环境支持  (FTM)*P2372R3
P2418R2		1319.31*
DR20：清理整数类类型P2393R119.32*
DR20：编译时格式字符串检查；减小 std::format() 族函数二进制代码大小  (FTM)*P2216R31314 (部分)*
15		19.32*14.0.3*
DR20：为 std::format 添加不可 const 格式化类型的支持P2418R2131519.32*14.0.3*
DR20：std::basic_format_stringP2508R1131519.35*14.0.3*
DR20：放松对定制点对象的限制  (FTM)*P2602R2141919.36*
DR20：std::format 补齐填充字符P2572R1141719.37*
DR20：改进 std::format 的宽度估计P2675R1141719.38*
DR20：std::barrier 的阶段完成保证  (FTM)*P2588R319.28 (16.8)**
19.36*
 

C++23 功能特性		 

提案
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*

* - 在版本号上停留可以查看注记 * 查看其他注记
DRnn - 在 "DR" 后的数字 nn 表示应用该缺陷报告的目标 C++ 修订版本，例如 DR20 → C++20。

外部链接

1. C++23 - Wikipedia
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/23&oldid=100295”