C++23 功能特性
|
提案
|
|
|
|
|
|
| 栈踪迹库 (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*
|
| 放松 std::chrono::time_point 的要求
|
P2212R2
|
不适用
|
不适用
|
不适用
|
不适用
|
| 在分配器接口中提供大小反馈 (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*
|
| 禁止 basic_string 与 basic_string_view 从 nullptr 构造
|
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 的单子操作 (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.31*
|
14.0.3*
|
| 要求 std::span 与 std::basic_string_view 为 可平凡复制 (TriviallyCopyable)
|
P2251R1
|
是
|
是
|
19.31*
|
是
|
| 澄清“C 头文件”的状况
|
P2340R1
|
是
|
是
|
是
|
是
|
| <expected> (FTM)*
|
P0323R12 P2549R1
|
12
|
16
|
19.33*
|
15.0.0*
|
| constexpr 的 <cmath> 与 <cstdlib> (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
|
21 (部分)*
|
19.51*
|
|
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
|
19.51*
|
|
| <flat_set> (FTM)*
|
P1222R4
|
15
|
21
|
19.51*
|
|
| ranges::find_last(),ranges::find_last_if(),和 ranges::find_last_if_not() (FTM)*
|
P1223R5
|
13
|
19
|
19.36*
|
|
| 独立式库:简单的 <utility>,<ranges> 和 <iterator>
|
P1642R11
|
13*
|
|
19.38*
|
|
| views::stride (FTM)*
|
P1899R3
|
13
|
|
19.34*
|
|
| 比较 std::tuple 和 tuple-like 对象 (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**
|
| 格式化 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 范围构造函数 应为 explicit
|
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
|
|
|
19.51*
|
|
| 明确 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 的单子操作 (FTM)*
|
P2505R5
|
13
|
17
|
19.36*
|
15.0.0*
|
| views::enumerate (FTM)*
|
P2164R9
|
13
|
|
19.37*
|
|
| std::is_implicit_lifetime (FTM)*
|
P2674R1
|
|
20
|
19.51*
|
|
| std::reference_wrapper 的 std::common_reference_t 应该为引用类型 (FTM)* (FTM)*
|
P2655R3
|
|
|
19.37*
|
|
| 禁止用户特化 std::allocator_traits
|
P2652R2
|
|
19
|
19.37*
|
|
| 弃用 std::numeric_limits::has_denorm
|
P2614R2
|
|
18
|
19.37*
|
16.0.0*
|
| 为 view 创造 explicit 的多参构造函数
|
P2711R1
|
|
17 (部分)*
|
19.36**
|
15.0.0*
|
| DR20:稍微放松 range 的要求 (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:修复输入范围适配器与 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:std::optional 与 std::variant 的 constexpr (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 功能特性
|
提案
|
|
|
|
|