C++ 标准库扩展，版本 2
< cpp | experimental
C++ 库基础扩展的版本 2 (Version 2 of the C++ Extensions for Library Fundamentals) ， ISO/IEC TS 19568:2017 在定义于版本 1 中的组件外，还为 C++ 标准库定义下列组件：
C++ 检测手法
| 定义于头文件
<experimental/type_traits> | |
| 检测 template-id 是否良式的别名模板 (别名模板) | |
| detected_t 在失败时返回的类类型 (类) | |
传播 const 的仿指针对象包装器
| 定义于头文件
<experimental/propagate_const> | |
| 传播 const 的仿类指针对象包装器 (类模板) | |
非占有指针
| 定义于头文件
<experimental/memory> | |
| 表示非占有指针的类 (类模板) | |
std::array 创建
| 定义于头文件
<experimental/array> | |
| 创建 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 对象 (函数模板) | |