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