C++标准库扩展，版本 2
来自 cppreference.cn
< cpp | experimental
C++库基础扩展版本 2，ISO/IEC TS 19568:2017，除了版本 1 中定义的组件外，还为 C++ 标准库定义了以下新组件。
目录 |
[编辑] C++ 检测惯用法
| 定义于头文件
<experimental/type_traits> | |
| 别名模板，用于检测模板 ID 是否格式良好 (别名模板) | |
| 失败时 detected_t 返回的类类型 (类) | |
[编辑] 指针类对象的常量传播包装器
| 指针类对象的常量传播包装器 (类模板) | |
[编辑] 非拥有指针
| 定义于头文件
<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 的值表示支持检测惯用法 (宏常量) |
| __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> | |
| 可变参数逻辑 AND 元函数 (类模板) | |
| 可变参数逻辑 OR 元函数 (类模板) | |
| 逻辑 NOT 元函数 (类模板) | |
| 定义于头文件
<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 对象 (函数模板) | |
