C++ 标准库扩展 - cppreference.com

来自cppreference.com

C++ 库基础扩展之版本 1 (The C++ Extensions for Library Fundamentals)，ISO/IEC TS 19568:2015 为 C++ 标准库定义下列新组件：

未选择包含于 C++17 中的部分

C++17 未选择包含 ISO/IEC TS 19568:2015 的下列组件。

支持类型擦除分配器的既存类修改版本

内存资源适配器

通用工具

特性测试宏

在标头 `<experimental/optional>` 定义
__cpp_lib_experimental_optional	至少为 `201411` 的值，指示支持 optional 类型 (宏常量)
在标头 `<experimental/any>` 定义
__cpp_lib_experimental_any	至少为 `201411` 的值，指示支持 any 类型 (宏常量)
在标头 `<experimental/string_view>` 定义
__cpp_lib_experimental_string_view	至少为 `201411` 的值，指示支持 basic_string_view 模板 (宏常量)
在标头 `<experimental/tuple>` 定义
__cpp_lib_experimental_apply	至少为 `201402` 的值，指示支持 tuple 的 apply() 函数 (宏常量)
在标头 `<experimental/type_traits>` 定义
__cpp_lib_experimental_type_trait_variable_templates	至少为 `201402` 的值，指示支持类型特征的变量模板 (宏常量)
__cpp_lib_experimental_invocation_type	至少为 `201406` 的值，指示支持调用类型特征 (宏常量)
在标头 `<experimental/functional>` 定义
__cpp_lib_experimental_boyer_moore_searching	至少为 `201411` 的值，指示支持附加搜索算法 (宏常量)
__cpp_lib_experimental_function_erased_allocator	至少为 `201406` 的值，指示支持 std::function 的类型擦除分配器 (宏常量)
在标头 `<experimental/future>` 定义
__cpp_lib_experimental_promise_erased_allocator	至少为 `201406` 的值，指示支持 std::promise 的类型擦除分配器 (宏常量)
__cpp_lib_experimental_packaged_task_erased_allocator	至少为 `201406` 的值，指示支持 std::packaged_task 的类型擦除分配器 (宏常量)
在标头 `<experimental/memory>` 定义
__cpp_lib_experimental_shared_ptr_arrays	至少为 `201406` 的值，指示 shared_ptr 支持数组 (宏常量)
在标头 `<experimental/memory_resource>` 定义
__cpp_lib_experimental_memory_resources	至少为 `201402` 的值，指示支持多态内存资源 (宏常量)
在标头 `<experimental/algorithm>` 定义
__cpp_lib_experimental_sample	至少为 `201402` 的值，指示支持采样算法 (宏常量)

已并入 C++17

ISO/IEC TS 19568:2015 的下列组件已包含于 C++17。

可选对象

类 `any`

`string_view`

类型擦除及多态分配器

多态分配器与内存资源

此节中的实体声明于 std::experimental::pmr 命名空间。

在标头 `<experimental/memory_resource>` 定义
memory_resource	封装内存资源的类的抽象接口 (类)
synchronized_pool_resource	线程安全的，在不同块大小的池中管理分配的 std::experimental::pmr::memory_resource (类) [编辑]
unsynchronized_pool_resource	线程不安全的，在不同块大小的池中管理分配的 std::experimental::pmr::memory_resource (类) [编辑]
monotonic_buffer_resource	特殊用途的 memory_resource，它仅在销毁资源时释放分配的内存 (类)
polymorphic_allocator	支持运行时多态的分配器，多态基于构造所用的 memory_resource (类模板)
new_delete_resource	返回一个静态的程序范围 `memory_resource`，它使用全局 operator new 与 operator delete 分配和解分配内存 (函数) [编辑]
null_memory_resource	返回一个不进行任何分配的静态 `memory_resource` (函数) [编辑]
get_default_resource	获取缺省 `memory_resource` (函数) [编辑]
set_default_resource	设置缺省 `memory_resource` (函数) [编辑]

使用多态分配器的容器的便利别名

std::experimental::pmr 命名空间中为标准库中的下列类模板提供便利别名和别名模板：

提供了便利别名的容器模板列表
std::vector std::deque std::forward_list std::list std::basic_string std::map std::multimap std::set std::multiset std::match_results std::unordered_map std::unordered_multimap std::unordered_set std::unordered_multiset

`shared_ptr` 的数组支持

采样和搜索算法

在标头 `<experimental/algorithm>` 定义
sample	从序列中选择 n 个随机元素 (函数模板)
search	应用搜索器 (Searcher) 到序列 (函数模板)
在标头 `<experimental/functional>` 定义
default_searcher	标准 C++ 库搜索算法实现 (类模板)
make_default_searcher	创建 default_searcher 的辅助函数 (函数模板)
boyer_moore_searcher	Boyer-Moore 搜索算法实现 (类模板)
make_boyer_moore_searcher	创建 boyer_moore_searcher 的辅助函数 (函数模板)
boyer_moore_horspool_searcher	Boyer-Moore-Horspool 搜索算法实现 (类模板)
make_boyer_moore_horspool_searcher	创建 boyer_moore_horspool_searcher 的辅助函数 (函数模板)

通用工具

另外，该 TS 为标准库中的类型特性和其他类模板提供大量 constexpr 变量模板：

提供了变量模板的类型特性和其他类模板
std::is_void std::is_null_pointer std::is_integral std::is_floating_point std::is_array std::is_pointer std::is_lvalue_reference std::is_rvalue_reference std::is_member_object_pointer std::is_member_function_pointer std::is_enum std::is_union std::is_class std::is_function std::is_reference std::is_arithmetic std::is_fundamental std::is_object std::is_scalar std::is_compound std::is_member_pointer std::is_const std::is_volatile std::is_trivial std::is_trivially_copyable std::is_standard_layout std::is_pod std::is_literal_type std::is_empty std::is_polymorphic std::is_abstract std::is_final std::is_signed std::is_unsigned std::is_constructible std::is_trivially_constructible std::is_nothrow_constructible std::is_default_constructible std::is_trivially_default_constructible std::is_nothrow_default_constructible std::is_copy_constructible std::is_trivially_copy_constructible std::is_nothrow_copy_constructible std::is_move_constructible std::is_trivially_move_constructible std::is_nothrow_move_constructible std::is_assignable std::is_trivially_assignable std::is_nothrow_assignable std::is_copy_assignable std::is_trivially_copy_assignable std::is_nothrow_copy_assignable std::is_move_assignable std::is_trivially_move_assignable std::is_nothrow_move_assignable std::is_destructible std::is_trivially_destructible std::is_nothrow_destructible std::has_virtual_destructor std::alignment_of std::rank std::extent std::is_same std::is_base_of std::is_convertible std::ratio_equal std::ratio_not_equal std::ratio_less std::ratio_less_equal std::ratio_greater std::ratio_greater_equal std::tuple_size std::chrono::treat_as_floating_point std::is_error_code_enum std::is_error_condition_enum std::is_bind_expression std::is_placeholder std::uses_allocator

提供了变量模板的类型特性和其他类模板

std::is_void
std::is_null_pointer
std::is_integral
std::is_floating_point
std::is_array
std::is_pointer
std::is_lvalue_reference
std::is_rvalue_reference
std::is_member_object_pointer
std::is_member_function_pointer
std::is_enum
std::is_union
std::is_class
std::is_function
std::is_reference
std::is_arithmetic
std::is_fundamental
std::is_object
std::is_scalar
std::is_compound
std::is_member_pointer
std::is_const
std::is_volatile
std::is_trivial
std::is_trivially_copyable
std::is_standard_layout
std::is_pod
std::is_literal_type
std::is_empty
std::is_polymorphic
std::is_abstract
std::is_final
std::is_signed
std::is_unsigned
std::is_constructible
std::is_trivially_constructible
std::is_nothrow_constructible
std::is_default_constructible
std::is_trivially_default_constructible
std::is_nothrow_default_constructible
std::is_copy_constructible
std::is_trivially_copy_constructible
std::is_nothrow_copy_constructible
std::is_move_constructible
std::is_trivially_move_constructible
std::is_nothrow_move_constructible
std::is_assignable
std::is_trivially_assignable
std::is_nothrow_assignable
std::is_copy_assignable
std::is_trivially_copy_assignable
std::is_nothrow_copy_assignable
std::is_move_assignable
std::is_trivially_move_assignable
std::is_nothrow_move_assignable
std::is_destructible
std::is_trivially_destructible
std::is_nothrow_destructible
std::has_virtual_destructor
std::alignment_of
std::rank
std::extent
std::is_same
std::is_base_of
std::is_convertible
std::ratio_equal
std::ratio_not_equal
std::ratio_less
std::ratio_less_equal
std::ratio_greater
std::ratio_greater_equal
std::tuple_size
std::chrono::treat_as_floating_point
std::is_error_code_enum
std::is_error_condition_enum
std::is_bind_expression
std::is_placeholder
std::uses_allocator

C++ 标准库扩展 - cppreference.com

未选择包含于 C++17 中的部分

支持类型擦除分配器的既存类修改版本

内存资源适配器

通用工具

特性测试宏

已并入 C++17

可选对象

类 any

string_view

类型擦除及多态分配器

多态分配器与内存资源

使用多态分配器的容器的便利别名

shared_ptr 的数组支持

采样和搜索算法

通用工具

类 `any`

`string_view`

`shared_ptr` 的数组支持