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 限定符（不包括 volatile）、引用限定符和 noexcept 说明符的组合。这些限定符和说明符（如果有）会添加到其 operator() 中。
std::move_only_function 满足 可移动构造 (MoveConstructible) 和 可移动赋值 (MoveAssignable) 的要求，但不满足 可复制构造 (CopyConstructible) 或 可复制赋值 (CopyAssignable) 的要求。
目录 |
[编辑] 成员类型
| 类型 | 定义 |
result_type
|
R
|
[编辑] 成员函数
构造新的 std::move_only_function 对象(public 成员函数) | |
销毁 std::move_only_function 对象(public 成员函数) | |
| 替换或销毁目标 (public 成员函数) | |
交换两个 std::move_only_function 目标(public 成员函数) | |
检查 std::move_only_function 是否有目标(public 成员函数) | |
| 调用目标 (public 成员函数) |
[编辑] 非成员函数
| 特化 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。
如果返回引用的 std::move_only_function 用返回纯右值（包括没有尾随返回类型的 lambda 表达式）的函数或函数对象初始化，则程序格式错误，因为禁止将返回的引用绑定到临时对象。另请参阅 std::function 注意。
| 特性测试宏 | 值 | 标准 | 特性 |
|---|---|---|---|
__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) |
任何可复制构造的可调用对象的包装器 (类模板) |
| (C++26) |
任何可调用对象的非拥有包装器 (类模板) |
| (C++26) |
任何可复制构造的可调用对象的包装器，支持给定调用签名中的限定符 (类模板) |
