C++ 标准库扩展，版本 2
来自 cppreference.com
< cpp | experimental
C++ 库基础扩展的版本 2，ISO/IEC TS 19568:2017，除了在 版本 1 中定义的那些之外，还为 C++ 标准库定义了以下新组件。
目录 |
[编辑] C++ 检测惯用法
| 定义在头文件
<experimental/type_traits> 中 | |
| 别名模板，用于检测模板 ID 是否格式良好 (别名模板) | |
| 在失败时由 detected_t 返回的类类型 (类) | |
[编辑] 用于指针类对象的常量传播包装器
| 定义在头文件
<experimental/propagate_const> 中 | |
| 用于指针类对象的常量传播包装器 (类模板) | |
[编辑] 非拥有指针
| 定义在头文件
<experimental/memory> 中 | |
| 一个表示非拥有指针的类 (类模板) | |
[编辑] std::array 创建
| 定义在头文件
<experimental/array> 中 | |
| (库基础 TS v2) |
创建一个 std::array 对象，其大小和可选的元素类型从参数推断 (函数模板) |
[编辑] ostream_joiner
| 定义在头文件
<experimental/iterator> 中 | |
| 一个输出迭代器，将连续元素写入输出流，并用分隔符分隔相邻元素 (类模板) | |
[编辑] 简单的随机数生成设施
一个类型为 std::default_random_engine 的每个线程的引擎，初始化为不可预测的状态，为每个线程维护，并由以下函数使用。
| 定义在头文件
<experimental/random> 中 | |
| 在指定范围内生成一个随机整数 (函数模板) | |
| 重新播种每个线程的随机引擎 (函数) | |
| 定义在头文件
<experimental/algorithm> 中 | |
| 从序列中选择 n 个随机元素 (函数模板) | |
| 随机重新排序范围内的元素 (函数模板) | |
[编辑] 特性测试宏
| 定义在头文件
<experimental/type_traits> 中 | |
| __cpp_lib_experimental_logical_traits |
至少为 201511 的值表示支持逻辑运算符类型特质 (宏常量) |
| __cpp_lib_experimental_detect |
至少为 201505 的值表示支持检测惯用法 (宏常量) |
| 定义在头文件
<experimental/propagate_const> 中 | |
| __cpp_lib_experimental_propagate_const |
至少为 201505 的值表示支持 propagate_const (宏常量) |
| 定义在头文件
<experimental/functional> 中 | |
| __cpp_lib_experimental_not_fn |
至少为 201406 的值表示支持 not_fn (宏常量) |
| 定义在头文件
<experimental/memory> 中 | |
| __cpp_lib_experimental_observer_ptr |
至少为 201411 的值表示支持 observer_ptr (宏常量) |
| 定义在头文件
<experimental/array> 中 | |
| __cpp_lib_experimental_make_array |
至少为 201505 的值表示支持 make_array (宏常量) |
| 定义在头文件
<experimental/iterator> 中 | |
| __cpp_lib_experimental_ostream_joiner |
至少为 201411 的值表示支持 ostream_joiner (宏常量) |
| 定义在头文件
<experimental/vector> 中 | |
| __cpp_lib_experimental_erase_if |
至少为 201411 的值表示支持统一容器擦除 (宏常量) |
| 定义在头文件
<experimental/numeric> 中 | |
| __cpp_lib_experimental_gcd_lcm |
至少为 201411 的值表示支持 gcd 和 lcm (宏常量) |
| 定义在头文件
<experimental/random> 中 | |
| __cpp_lib_experimental_randint |
至少为 201511 的值表示 randint 及相关函数受支持 (宏常量) |
| 在头文件
<experimental/source_location> 中定义 | |
| __cpp_lib_experimental_source_location |
至少为 201505 的值表示 source_location 受支持 (宏常量) |
[编辑] 合并到 C++17
库基础 v2 的以下组件已被纳入 C++17 标准。
| 定义在头文件
<experimental/type_traits> 中 | |
void 的可变参数别名模板(别名模板) | |
| 定义在头文件
<experimental/type_traits> 中 | |
| 可变参数逻辑与元函数 (类模板) | |
| 可变参数逻辑或元函数 (类模板) | |
| 逻辑非元函数 (类模板) | |
| 定义在头文件
<experimental/functional> 中 | |
| 创建一个函数对象，该对象返回其保存的函数对象的返回值的补码 (函数模板) | |
| 定义在头文件
<experimental/numeric> 中 | |
constexpr 函数模板，返回两个整数的最大公约数(函数模板) | |
constexpr 函数模板，返回两个整数的最小公倍数(函数模板) | |
[编辑] 合并到 C++20
库基础 v2 的以下组件已被纳入 C++20 标准。
[编辑] 统一容器擦除
| 在头文件
<experimental/string> 中定义 | |
| 从 std::basic_string 中擦除所有等于特定值的元素 (函数模板) | |
| 从 std::basic_string 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/deque> 中定义 | |
| 从 std::deque 中擦除所有等于特定值的元素 (函数模板) | |
| 从 std::deque 中擦除所有满足谓词的元素 (函数模板) | |
| 定义在头文件
<experimental/vector> 中 | |
| 从 std::vector 中擦除所有等于特定值的元素 (函数模板) | |
| 从 std::vector 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/forward_list> 中定义 | |
| 从 std::forward_list 中擦除所有等于特定值的元素 (函数模板) | |
| 从 std::forward_list 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/list> 中定义 | |
| 从 std::list 中擦除所有等于特定值的元素 (函数模板) | |
| 从 std::list 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/map> 中定义 | |
| 从 std::map 中擦除所有满足谓词的元素 (函数模板) | |
| 从 std::multimap 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/set> 中定义 | |
| 从 std::set 中擦除所有满足谓词的元素 (函数模板) | |
| 从 std::multiset 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/unordered_map> 中定义 | |
| 从 std::unordered_map 中擦除所有满足谓词的元素 (函数模板) | |
| 从 std::unordered_multimap 中擦除所有满足谓词的元素 (函数模板) | |
| 在头文件
<experimental/unordered_set> 中定义 | |
| 从 std::unordered_set 中擦除所有满足谓词的元素 (函数模板) | |
| 从 std::unordered_multiset 中擦除所有满足谓词的元素 (函数模板) | |
[编辑] 源代码信息捕获
| 在头文件
<experimental/source_location> 中定义 | |
| 一个表示源代码信息的类，例如文件名、行号和函数名 (类) | |
[编辑] std::array 转换
| 定义在头文件
<experimental/array> 中 | |
| 从内置数组创建一个 std::array 对象 (函数模板) | |
