std::move_only_function
| 定义在头文件 <functional> 中 |
||
| template< class... > class move_only_function; // 未定义 |
(1) | (自 C++23 起) |
| template< class R, class... Args > class move_only_function<R(Args...)>; |
(2) | (自 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_function 支持在模板参数中提供的每种可能的 cv 限定符、引用限定符 和 noexcept 说明符 组合，不包括 volatile。这些限定符和说明符（如果有）将被添加到其 operator() 中。
std::move_only_function 满足 可移动构造 和 可移动赋值 的要求，但不满足 可复制构造 或 可复制赋值 的要求。
内容 |
[编辑] 成员类型
| 类型 | 定义 |
result_type
|
R
|
[编辑] 成员函数
构造一个新的 std::move_only_function 对象(公共成员函数) | |
销毁一个 std::move_only_function 对象(公共成员函数) | |
| 替换或销毁目标 (公共成员函数) | |
交换两个 std::move_only_function 对象的目标(公共成员函数) | |
检查 std::move_only_function 是否有目标(公共成员函数) | |
| 调用目标 (公共成员函数) |
[编辑] 非成员函数
| 专门化 std::swap 算法 (函数) | |
| (C++23) |
将 std::move_only_function 与 nullptr 进行比较(函数) |
[编辑] 备注
实现可能会将大小较小的可调用对象存储在 std::move_only_function 对象中。这种小型对象优化对于函数指针和 std::reference_wrapper 专门化是有效需要的，并且只能应用于类型 T，对于这些类型 std::is_nothrow_move_constructible_v<T> 为 true。
如果一个返回引用的 std::move_only_function 从返回右值的函数或函数对象（包括没有尾随返回类型的 lambda 表达式）初始化，程序将是格式错误的，因为禁止将返回的引用绑定到临时对象。另见 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
[编辑] 参见
| (C++11) |
任何可复制构造的可调用对象的可复制包装器 (类模板) |
