std::experimental::function<R(Args...)>::function

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

库基础

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

 

function() noexcept;	(1)	(库基础 TS)
function( std::nullptr_t ) noexcept;	(2)	(库基础 TS)
function( const function& other );	(3)	(库基础 TS)
function( function&& other );	(4)	(库基础 TS)
template< class F > function( F f );	(5)	(库基础 TS)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc ) noexcept;	(6)	(库基础 TS)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc,           std::nullptr_t ) noexcept;	(7)	(库基础 TS)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc,           const function& other );	(8)	(库基础 TS)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc,           function&& other );	(9)	(库基础 TS)
template< class F, class Alloc > function( std::allocator_arg_t, const Alloc& alloc, F f );	(10)	(库基础 TS)

从各种源构造 std::experimental::function 。

1-2) 构造空 function 。

3-4) 复制 (3) 或移动 (4) other 的目标到 *this 的目标。若 other 为空，则调用后 *this 将亦为空。

5) 以 f 的副本初始化目标。若 f 是指向函数的空指针或指向成员的空指针，则调用后 *this 将为空。此构造函数仅若 f 对参数类型 Args... 和返回类型 R 可调用 (Callable) 才参与重载决议。

6-10) 同 (1-5) ，除了用 alloc 分配 function 可能使用的任何内部数据结构的内存。这些构造函数将 alloc 当做类型擦除的分配器。

目标为函数指针或 std::reference_wrapper 时，保证小对象优化，即始终直接存储这些目标于 std::experimental::function 对象内，不发生动态分配。其他大对象可能在动态分配的存储中构造，并由 std::experimental::function 对象通过指针访问。

若构造函数移动或复制函数对象，包含 std::experimental::function 的实例，则由使用分配器构造用分配器 this->get_memory_resource() 进行移动或复制。

类型擦除的分配器

function 的接收分配器参数 alloc 的构造函数将参数当做类型擦除的分配器。以分配器参数（若指定）确定 function 用来分配内存的 memory_resource 指针，如下：

alloc 的类型	memory_resource 指针的值
不存在（构造时不指定分配器）	构造时 std::experimental::pmr::get_default_resource() 的值。
std::nullptr_t	构造时 std::experimental::pmr::get_default_resource() 的值。
可转换为 std::experimental::pmr::memory_resource* 的指针类型	static_cast<std::experimental::pmr::memory_resource*>(alloc)
std::experimental::pmr::polymorphic_allocator 的特化	alloc.resource()
任何其他符合分配器 (Allocator) 要求的类型	指向 std::experimental::pmr::resource_adaptor<A>(alloc) 类型对象的指针，其中 A 是 alloc 的类型。指针仅在 function 对象的生存期内保持合法。
非以上类型	程序为病式

参数

other	-	用于初始化 *this 的函数对象
f	-	用于初始化 *this 的可调用对象
alloc	-	用于内部内存分配的分配器
类型要求
- F 必须符合可调用 (Callable) 和 可复制构造 (CopyConstructible) 的要求。

异常

3,8) 若 other 的目标是函数指针或 std::reference_wrapper 则不抛出，否则可能抛出 std::bad_alloc 或存储的可调用对象的复制构造函数所抛出的任何异常。

4) （无）

5,10) 若 f 是函数指针或 std::reference_wrapper 则不抛出，否则可能抛出 std::bad_alloc 或存储的可调用对象的复制构造函数所抛出的任何异常。

9) （无）