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

function() noexcept;	(1)	(C++11 起)
function( std::nullptr_t ) noexcept;	(2)	(C++11 起)
function( const function& other );	(3)	(C++11 起)
	(4)
function( function&& other );			(C++11 起) (C++20 前)
function( function&& other ) noexcept;			(C++20 起)
template< class F > function( F&& f );		(5)	(C++11 起)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc ) noexcept;		(6)	(C++11 起) (C++17 中移除)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, std::nullptr_t ) noexcept;		(7)	(C++11 起) (C++17 中移除)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, const function& other );		(8)	(C++11 起) (C++17 中移除)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, function&& other );		(9)	(C++11 起) (C++17 中移除)
template< class F, class Alloc > function( std::allocator_arg_t, const Alloc& alloc, F f );		(10)	(C++11 起) (C++17 中移除)

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

1,2) 构造空 std::function。

3) 将 other 的目标复制到 *this 的目标。

如果 other 为空，那么 *this 在构造完成时也为空。

4) 将 other 的目标移动到 *this 的目标。

如果 other 为空，那么 *this 在构造完成时也为空。

构造完成时 other 处于有效但未指定的状态。

5) 以 std::forward<F>(f) 初始化目标。目标的类型是 std::decay<F>::type。

如果 f 是空函数指针、空成员指针或某个 std::function 特化的空值，那么 *this 在构造完成时为空。

此重载只有在满足以下所有条件时才会参与重载决议：

(C++23 起)

(C++23 起)

如果 F 不可复制构造 (CopyConstructible) ，那么行为未定义。

6-10) 同 (1-5)，但将 alloc 用于为 std::function 会用到的任何内部数据结构分配内存。

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

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

4) 如果 other 的目标是函数指针或 std::reference_wrapper，那么不抛出异常，否则可能抛出 std::bad_alloc 或用于复制或移动存储的可调用对象的构造函数所抛的任何异常。

(C++20 前)

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

std::function 的分配器支持说明贫乏，且实现不一致。一些实现完全不提供重载 (6-10)，一些提供重载但忽略提供的分配器参数，而一些实现提供重载并将提供的分配器用于构造，但不在重赋值 std::function 时使用。结果，C++17 中移除了分配器支持。

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2132	C++11	重载 (5,10) 可能有歧义	已约束
LWG 2774	C++11	重载 (5,10) 会进行一次额外移动	已消除

构造新的 std::move_only_function 对象
(std::move_only_function 的公开成员函数)

成员函数
function::function
function::~function
function::operator=
function::swap
function::assign (C++17 前)
function::operator bool
function::operator()
function::target_type
function::target
非成员函数
operator==operator!= (C++20 前)
swap(std::function)
辅助类
uses_allocator<std::function> (C++17 前)
推导指引(C++17)