C++ 标准库扩展，版本 3

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行性扩展 (并行性 TS)

并行性扩展 2 (并行性 TS v2)

并发性扩展 (并发性 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

库基础 v3

experimental::scope_exit

experimental::scope_fail

experimental::scope_success

experimental::unique_resource

 

C++ 库基础扩展版本 3，ISO/IEC TS 19568:2024，除了版本 1 和版本 2 中定义的组件外，还为 C++ 标准库定义了以下新组件。

已合并到 C++17/20 中的组件以及在 LFTS v3 中删除的以下组件

• std::experimental::make_array,
• std::experimental::erased_type,
• std::experimental::packaged_task，以及
• std::experimental::promise.

作用域守卫

定义于头文件 <experimental/scope>
scope_exit	封装一个函数对象并在退出作用域时调用它 (类模板)
scope_fail	封装一个函数对象并在通过异常退出作用域时调用它 (类模板)
scope_success	封装一个函数对象并在正常退出作用域时调用它 (类模板)
unique_resource	通用 RAII 资源句柄包装器 (类模板)

特性测试宏

定义于头文件 <experimental/memory_resource>
__cpp_lib_experimental_memory_resources	至少为 201803 的值表示支持 resource_adaptor (宏常量)
定义于头文件 <experimental/functional>
__cpp_lib_experimental_function_polymorphic_allocator	至少为 202211 的值表示 std::pmr::polymorphic_allocator<> 用于 std::experimental::function (宏常量)
定义于头文件 <experimental/scope>
__cpp_lib_experimental_scope	至少为 201902 的值表示支持作用域守卫 (宏常量)

备注

__cpp_lib_experimental_memory_resources 的值在 LFTS v3 中有所增加，因为 resource_adaptor 的设计重新基于 std::pmr::memory_resource。