C++ 标准库扩展，版本 2
来自cppreference.com
< 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 的仿指针对象包装器
| 传播 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 的值，指示支持检测手法 (宏常量) |
| __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 (宏常量) |
| __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 擦除所有满足谓词的元素 (函数模板) | |
源码信息捕获
| 表示关于源码的，如文件名、行号和函数名的信息 (类) | |
std::array 转换
| 在标头
<experimental/array> 定义 | |
| 从内建数组创建 std::array 对象 (函数模板) | |