std::experimental::function

在标头 `<experimental/functional>` 定义
template< class > class function; /* undefined */		(库基础 TS)
template< class R, class... Args > class function<R(Args...)>		(库基础 TS)

std::experimental::function 是 std::function 的修改版本，支持类型擦除分配器。

类型定义

allocator_type

std::experimental::erased_type	(库基础 TS) (库基础 TS v3 前)
std::pmr::polymorphic_allocator<>	(库基础 TS v3)

(构造函数)	构造新的 `std::experimental::function` 实例 (公开成员函数)
operator=	赋值新目标 (公开成员函数)
swap	交换内容 (公开成员函数)
get_memory_resource (库基础 TS v3 中移除)	获得指向此对象用来分配内存的 `memory_resource` 的指针 (公开成员函数)
get_allocator (库基础 TS v3)	获取此对象用以分配内存的擦除类型的 std::pmr::polymorphic_allocator (公开成员函数)

std::experimental::swap(std::experimental::function)	特化 `swap` 算法 (函数模板)
operator==operator!= (库基础 TS v3 中移除)	比较 std::experimental::function 和 nullptr (函数模板)

(库基础 TS v3 中移除)

特化 std::uses_allocator 类型特性
(类模板特化)

等同于 std::function 的成员

类型	定义
`result_type`	`R`
库基础 TS v3 中移除的成员类型
`argument_type`	若 sizeof...(Args)==1 ，且 `T` 为 `Args...` 中第一个并为唯一的类型则为 `T`
`first_argument_type`	若 sizeof...(Args)==2 且 `T1` 为 `Args...` 中二个类型的第一个则为 `T1`
`second_argument_type`	若 sizeof...(Args)==2 且 `T2` 为 `Args...` 中二个类型的第二个则为 `T2`

成员类型 argument_type、 first_argument_type 及 second_argument_type 被移除，因为 std::function 的对应成员类型在 C++20 中亦被移除。

(库基础 TS v3)

(析构函数)	析构 std::function 实例 (`std::function<R(Args...)>` 的公开成员函数)
operator bool	检查是否包含了有效的目标 (`std::function<R(Args...)>` 的公开成员函数)
operator()	调用其目标 (`std::function<R(Args...)>` 的公开成员函数)
目标访问
target_type	获得目标对象的 typeid (`std::function<R(Args...)>` 的公开成员函数)
target	获得指向 std::function 所存储的目标的指针 (`std::function<R(Args...)>` 的公开成员函数)

experimental::optional
experimental::any
experimental::basic_string_view
experimental::sample
experimental::shared_ptr
experimental::weak_ptr
experimental::apply
experimental::invocation_typeexperimental::raw_invocation_type
experimental::search
experimental::default_searcherexperimental::make_default_searcher
experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher
experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher
类型擦除及多态分配器
类型特性的变量模板

polymorphic_allocator
使用 `polymorphic_allocator` 的容器的便利类型别名
内存资源类
memory_resource
synchronized_pool_resource
unsynchronized_pool_resource
monotonic_buffer_resource
resource_adaptor
全局内存资源
new_delete_resource
null_memory_resource
get_default_resource
set_default_resource
既存类的类型擦除分配器支持
function
packaged_task
promise