std::move_only_function
| 在标头 <functional> 定义
|
||
| template< class... > class move_only_function; // 不定义 |
(C++23 起) | |
| template< class R, class... Args > class move_only_function<R(Args...)>; |
(C++23 起) | |
类模板 std::move_only_function 是通用的多态函数包装。 std::move_only_function 对象存储并调用任何可构造（不要求为可移动构造）的可调用 (Callable) 目标——函数、 lambda 表达式、 bind 表达式或其他函数对象，以及成员函数指针和成员对象指针。
称存储的可调用对象为 std::move_only_function 的目标。若 std::move_only_function 不含目标，则称之为空。不同于 std::function ，调用空的 std::move_only_function 导致未定义行为。
std::move_only_functions 支持在其模板形参中提供的不含 volatile 的每种 cv 限定符、引用限定符及 noexcept 说明符的组合。这些限定符与说明符（若存在）被添加到其 operator() 。
std::move_only_function 满足可移动构造 (MoveConstructible) 与可移动赋值 (MoveAssignable) 的要求，但不满足可复制构造 (CopyConstructible) 或可复制赋值 (CopyAssignable) 。
成员类型
| 类型 | 定义 |
result_type
|
R
|
成员函数
| (C++23) |
构造新的 std::move_only_function 对象 (公开成员函数) |
| (C++23) |
销毁 std::move_only_function 对象 (公开成员函数) |
| (C++23) |
替换或销毁目标 (公开成员函数) |
| (C++23) |
交换二个 std::move_only_function 对象的目标 (公开成员函数) |
| (C++23) |
检查 std::move_only_function 是否拥有目标 (公开成员函数) |
| (C++23) |
调用目标 (公开成员函数) |
非成员函数
| 重载 std::swap 算法 (函数) | |
| (C++23) |
比较 std::move_only_function 与 nullptr (函数) |
注解
实现可能会将较小的可调用对象存储于 std::move_only_function 对象内部。实际上要求对函数指针和 std::reference_wrapper 的特化进行这样的小对象优化，且只有满足 std::is_nothrow_move_constructible_v<T> 为 true 的类型 T 才能应用优化。
若一个函数或函数对象（包括无尾随返回类型的 lambda 表达式）返回纯右值，用这样的对象初始化返回值为引用的 std::move_only_function ，则程序非良构，因为禁止将返回的引用绑定到临时对象。参阅 std::function 的注解。
| 功能特性测试宏 |
|---|
__cpp_lib_move_only_function
|
示例
#include <iostream> #include <future> #include <functional> 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 = lambda; // 上一行代码编译失败，因为lambda中包含不可拷贝的task std::move_only_function<void()> function(lambda); function(); std::cout << future._Get_value(); }
输出：
3.14159
参阅
| (C++11) |
包装具有指定函数调用签名的任意可复制构造类型的可调用对象 (类模板) |