C++23

C++ 标准的当前版本。

[编辑] 新的语言特性

• 新语言功能特性测试宏
• 显式对象形参，显式对象成员函数，亦称“推导 this” (P0847R7)
• 多维下标运算符（例如 v[1, 3, 7] = 42;）(P2128R6)
• static operator[] (P2589R1) 和 static operator[] 以及静态 lambda (P1169R4)
• auto(x) 与 auto{x}：语言支持的衰退复制 (P0849R8)
• 通过新属性 [[assume(表达式)]] 进行假设 (P1774R8)
• lambda 表达式上的属性 (P2173R1)
• 可选支持的扩展浮点类型：std::float{16|32|64|128}_t 和 std::bfloat16_t (P1467R9)
• 新预处理器指令：#elifdef、#elifndef 与 #warning (P2437R1)
• （signed）std::size_t 字面量的字面量后缀 'Z'/'z' (P0330R8)，例如 auto ouz = 0uz;
• 行拼合��前修剪空白 (P2223R2)
• 更简单的隐式移动 (P2266R3)
• 延展基于范围的 for 循环初始化式中临时量的生存期 (P2718R0)
• 继承构造函数的 CTAD (P2582R1)
• 复合语句末尾的标号 (P2324R2)，例如
  

void f(int& x)
{
    if (x)
        goto END;
    x = 42;
END:
}

• 初始化语句中的别名声明（using）(P2360R0)，例如
  

for (using T = int; T e : v)
    /* ... */

• 进一步让 lambda 表达式中的 () 可选 (P1102R2)
• static_assert 和 if constexpr 中允许窄化的按语境转换为 bool (P1401R5)
• 令声明顺序决定（非静态类数据成员的）布局 (P1847R4)
• 文本编码的改动：
  • 字符集与编码 (P2314R4)
  • 统一的字符字面量编码 (P2316R2)
  • 具名通用字符转义，如 "\N{CAT FACE}" 表示 "🐱" (P2071R2)
  • 带分隔的转义序列，如 "\o{7777}"、"\x{C0DE}"、"\u{CAFE}" (P2290R3)
  • 支持 UTF-8 作为可移植源文件编码 (P2295R6)
• if consteval / if not consteval (P1938R3)
• constexpr 的改动：
  • constexpr 函数中使用非字面量变量、标号和 goto (P2242R3)
  • 允许 constexpr 函数中的常量表达式中使用 static 和 thread_local 变量 (P2647R1)
  • constexpr 函数的返回类型和形参类型不必为字面类型 (P2448R2)
  • 不存在满足核心常量表达式要求的调用的 constexpr 函数 (P2448R2)

[编辑] 新的库特性

• 新的库功能特性测试宏

[编辑] 新模块

• std 及 std.compat (P2465R3)

[编辑] 新标头

• <expected>
• <flat_map>
• <flat_set>
• <generator>
• <mdspan>
• <print>
• <spanstream>
• <stacktrace>
• <stdfloat>

C 兼容性标头:

• <stdatomic.h> (P0943R6)

[编辑] 库特性

[编辑] 通用工具

• std::expected：一种用于返回函数结果的新词汇类型 (<expected>) (P0323R12, P2549R1)
• std::move_only_function：一种仅可移动的可调用包装器 (P0288R9)
• std::bind_back：一种调用包装器 (P2387R3)
• std::byteswap：反转字节 (P1272R4)
• std::forward_like (P2445R1)
• std::invoke_r：调用可调用 (Callable) 对象 (P2136R3)
• std::to_underlying：用于获取 enum 的底层值的工具函数 (P1682R3)
• std::unreachable：用于标记不可达代码的函数 (P0627R6)
• std::optional 和 std::expected 的单子式操作（transform、or_else 与 and_then）(P0798R8, P2505R5)
• std::tuple 与其他元组式对象的兼容 (P2165R4)
• 为 std::pair 的转发构造函数添加默认实参 (P2718R0)
• std::basic_common_reference 针对 std::reference_wrapper 的特化产生引用类型 (P2655R3)

[编辑] 协程库

• std::generator：用于范围的同步协程生成器 (P2502R2, P2787R0)

[编辑] 诊断

• 栈踪迹（stacktrace）库 (P0881R7)

[编辑] 算法，迭代器与范围

• 新的范围适配器：
  • views::adjacent 与 views::adjacent_transform (P2321R2)
  • views::as_const (P2278R4)
  • views::as_rvalue (P2446R2)
  • views::cartesian_product (P2374R4)
  • views::chunk_by (P2443R1)
  • views::chunk (P2442R1)
  • views::enumerate (P2164R9)
  • views::join_with (P2441R2)
  • views::repeat (P2474R2)
  • views::slide (P2442R1)
  • views::stride (P1899R3)
  • views::zip, views::zip_transform (P2321R2)
• ranges::range_adaptor_closure：用于程序定义的范围适配器闭包的辅助类 (P2387R3)
• ranges::to：范围转换函数 (P1206R7)
• 新的受约束范围算法：
  • ranges::starts_with 与 ranges::ends_with (P1659R3)
  • ranges::contains 与 ranges::contains_subrange (P2302R4)
  • ranges::find_last、ranges::find_last_if 与 ranges::find_last_if_not (P1223R5)
  • ranges::iota、ranges::shift_left 与 ranges::shift_right：无约束算法的范围化版本 (P2440R1)
  • ranges::fold_left 等：范围折叠算法 (P2322R6)
• 修补常量迭代器、哨位和范围，意为 ranges::cbegin 与其他类似的返回常量迭代器的工具，即使对浅 const 视图（如 std::span）也应提供完全保证 (P2278R4)
• 使一些视图的多参数构造函数为显式的 (P2711R1)
• 以范围迭代器作为非范围算法的输入 (P2408R5)
• 放宽范围适配器以允许仅移动类型 (P2494R2)

[编辑] 容器

• std::mdspan：无所有权多维数组引用 (P0009R18, P2599R2, P2604R0, P2613R1, P2763R1)
• 容器从其他兼容范围的可构造性与可赋值性 (P1206R7)
• std::flat_set, std::flat_multiset (P1222R4), std::flat_map, std::flat_multimap (P0429R9)：平铺集合与平铺映射——对底层有序随机访问容器进行包装的容器适配器
• 允许 std::stack 与 std::queue 从迭代器对构造 (P1425R4)
• 关联容器的异质擦除重载 (P2077R2)
• 容器推导指引中对于分配器的非推导语境 (P1518R2)
• 要求 std::span 和 std::basic_string_view 可平凡复制 (P2251R1)

[编辑] 编译时支持

• 对以下各项的 constexpr 支持：
  • std::bitset (P2417R2)
  • std::unique_ptr (P2273R3)
  • std::type_info::operator== (P1328R1)
  • 一些 <cmath> 函数 (P0533R9)
  • std::to_chars 和 std::from_chars 的整型重载 (P2291R3)
• 元编程工具：
  • 添加比较概念对仅移动类型的支持 (P2404R3)
  • 类型特征：
    • std::is_scoped_enum (P1048R1)
    • std::is_implicit_lifetime (P2674R1)
    • std::reference_constructs_from_temporary, std::reference_converts_from_temporary (P2255R2)

[编辑] 内存管理

• std::out_ptr 与 std::inout_ptr：用于 C 互操作性的智能指针适配器 (P1132R7)
• std::allocate_at_least 与 std::allocator::allocate_at_least (P0401R6)
• std::start_lifetime_as：用于隐式生存期类型的显式生存期管理函数 (P2590R2)
• 禁止用户对 std::allocator_traits 的特化 (P2652R2)

[编辑] 字符串与文本处理

• 新成员函数与字符串类型的改动：
  • std::basic_string::contains 与 std::basic_string_view::contains (P1679R3)
  • 禁止从 nullptr 构造 std::basic_string 和 std::basic_string_view (P2166R1)
  • std::basic_string_view 的显式范围构造函数 (P1989R2)
  • std::basic_string::resize_and_overwrite (P1072R10)
  • 用于高效切片的 std::basic_string::substr 右值引用重载 (P2438R2)
• 范围、元组、字符与字符串的转义表示、std::thread::id 以及栈踪迹的格式化 (P2286R8) (P2585R1) (P2693R1)

[编辑] I/O 和打印

• 标头 <print> 中提供的格式化输出函数 std::print 和 std::println (P2093R14)
• 标头 <spanstream> 中提供的 spanstream 库（基于 std::span 的字符串流）(P0448R4)
• std::fstreams 支持独占模式 (P2467R1)
• 支持打印 volatile T*：std::basic_ostream::operator<<(const volatile void*) (P1147R1)

[编辑] 过时特性

[编辑] 已移除特性

• 垃圾收集的支持和基于可达性的泄漏检测。(P2186R2)
• 混合宽字符串字面量拼接（如 const auto* no = u"q" U"p"）非良构。(P2201R1)
• 不可编码宽字符字面量和多字节宽字符字面量（如 wchar_t x = 'db'）非良构。(P2362R3)

[编辑] 已弃用特性

• std::aligned_storage 与 std::aligned_union (P1413R3)
• std::numeric_limits::has_denorm (P2614R2)

[编辑] 撤销弃用

• 下表表达式中的 operator,（逗号运算符）（但已改变其语义以支持可重载的多维下标 operator[]）。
• 一些 C 标头（用于 C 兼容性的相应 <*.h> 标头）(P2340R1)

[编辑] 缺陷报告

[编辑] 编译器支持情况

主条目： C++23 编译器支持

[编辑] C++23 核心语言功能特性

[编辑] C++23 库功能特性

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

[编辑] 外部链接