std::move_only_function

定义于头文件 `<functional>`
template< class... > class move_only_function; // not defined	(1)	(自 C++23 起)
template< class R, class... Args > class move_only_function<R(Args...)>; template< class R, class... Args > class move_only_function<R(Args...) noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &>; template< class R, class... Args > class move_only_function<R(Args...) & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &&>; template< class R, class... Args > class move_only_function<R(Args...) && noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const>; template< class R, class... Args > class move_only_function<R(Args...) const noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &>; template< class R, class... Args > class move_only_function<R(Args...) const & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &&>; template< class R, class... Args > class move_only_function<R(Args...) const && noexcept>;	(2)	(自 C++23 起)

类模板 std::move_only_function 是一个通用的多态函数包装器。 std::move_only_function 对象可以存储和调用任何可构造的（不要求是可移动构造的）可调用目标 —— 函数、lambda 表达式、bind 表达式，或其他函数对象，以及指向成员函数的指针和指向成员对象的指针。

存储的可调用对象被称为 std::move_only_function 的目标。如果 std::move_only_function 不包含目标，则称其为空。与 std::function 不同，调用空 std::move_only_function 会导致未定义行为。

std::move_only_function 支持 cv 限定符（不包括 volatile）、ref 限定符和 noexcept 说明符的每种可能的组合，这些限定符和说明符在其模板参数中提供。这些限定符和说明符（如果有）被添加到它的 operator() 中。

std::move_only_function 满足可移动构造和可移动赋值的要求，但不满足可复制构造或可复制赋值。

[编辑] 成员类型

类型	定义
`result_type`	`R`

[编辑] 成员函数

(构造函数)	构造一个新的 `std::move_only_function` 对象 (公有成员函数) [编辑]
(析构函数)	销毁一个 `std::move_only_function` 对象 (公有成员函数) [编辑]
operator=	替换或销毁目标 (公有成员函数) [编辑]
swap	交换两个 `std::move_only_function` 对象的目标 (公有成员函数) [编辑]
operator bool	检查 `std::move_only_function` 是否有目标 (公有成员函数) [编辑]
operator()	调用目标 (公有成员函数) [编辑]

[编辑] 非成员函数

swap(std::move_only_function) (C++23)	特化 std::swap 算法 (函数) [编辑]
operator== (C++23)	将 `std::move_only_function` 与 nullptr 进行比较 (函数) [编辑]

[编辑] 注解

实现可能在 std::move_only_function 对象内存储小尺寸的可调用对象。这种小对象优化对于函数指针和 std::reference_wrapper 特化是有效要求的，并且只能应用于类型 T，对于这些类型 std::is_nothrow_move_constructible_v<T> 为 true。

如果从返回 prvalue（包括没有尾随返回类型的 lambda 表达式）的函数或函数对象初始化返回引用的 std::move_only_function，则程序是非良构的，因为禁止将返回的引用绑定到临时对象。另请参见 std::function 注解。

特性测试宏	值	Std	特性
`__cpp_lib_move_only_function`	`202110L`	(C++23)	`std::move_only_function`

[编辑] 示例

运行此代码

#include <functional>
#include <future>
#include <iostream>
 
int main()
{
    std::packaged_task<double()> packaged_task([](){ return 3.14159; });
 
    std::future<double> future = packaged_task.get_future();
 
    auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
 
//  std::function<void()> function = std::move(lambda); // Error
    std::move_only_function<void()> function = std::move(lambda); // OK
 
    function();
 
    std::cout << future.get();
}

输出

3.14159

[编辑] 参见

function (C++11)	任何可复制构造的可调用对象的 copyable 包装器 (类模板) [编辑]
function_ref (C++26)	任何可调用对象的非拥有包装器 (类模板) [编辑]
copyable_function (C++26)	任何可复制构造的可调用对象的 copyable 包装器，它支持给定调用签名中的限定符 (类模板) [编辑]

编译器支持
独立和宿主
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

成员函数
move_only_function::move_only_function
move_only_function::~move_only_function
move_only_function::operator=
move_only_function::swap
move_only_function::operator bool
move_only_function::operator()
非成员函数
operator==
swap(std::move_only_function)

cppreference.cn

命名空间

变体

视图

操作