std::packaged_task<R(Args...)>::packaged_task
来自 cppreference.com
< cpp | thread | packaged task
| packaged_task() noexcept; |
(1) | (自 C++11 起) |
| template< class F > explicit packaged_task( F&& f ); |
(2) | (自 C++11 起) |
| template< class F, class Allocator > explicit packaged_task( std::allocator_arg_t, const Allocator& a, F&& f ); |
(3) | (自 C++11 起) (直到 C++17) |
| packaged_task( const packaged_task& ) = delete; |
(4) | (自 C++11 起) |
| packaged_task( packaged_task&& rhs ) noexcept; |
(5) | (自 C++11 起) |
构造一个新的 std::packaged_task 对象。
1) 构造一个没有任务且没有共享状态的
std::packaged_task 对象。2,3) 构造一个具有共享状态和任务副本的
std::packaged_task 对象，使用 std::forward<F>(f) 初始化。 使用分配器 a 为存储任务所需的内存分配内存。(直到 C++17) 只有当 std::decay<F>::type 与 std::packaged_task<R(Args...)> 不是同一类型时，这些重载才参与重载解析。
|
令 t1、t2、...、tN 为 |
(直到 C++17) |
|
如果 std::is_invocable_r_v<R, F&, Args...> 为 false，则程序格式不正确。 |
(自 C++17 起) |
如果调用 f 本身和调用 f 的副本的行为不同，则行为未定义。
4) 复制构造函数被删除，
std::packaged_task 是可移动的。5) 使用以前由 rhs 拥有的共享状态和任务来构造
std::packaged_task，使 rhs 没有任何共享状态和移动后的任务。内容 |
[编辑] 参数
| f | - | 要执行的可调用目标（函数、成员函数、lambda 表达式、函数对象） |
| a | - | 存储任务时要使用的分配器 |
| rhs | - | 要从中移动的 std::packaged_task |
[编辑] 异常
3) 由 f 的复制/移动构造函数以及分配器的
allocate 函数抛出的任何异常（如果内存分配失败）。[编辑] 示例
运行此代码
#include <future> #include <iostream> #include <thread> int fib(int n) { if (n < 3) return 1; else return fib(n - 1) + fib(n - 2); } int main() { std::packaged_task<int(int)> fib_task(&fib); std::cout << "Starting task\n"; auto result = fib_task.get_future(); std::thread t(std::move(fib_task), 42); std::cout << "Waiting for task to finish..." << std::endl; std::cout << result.get() << '\n'; std::cout << "Task complete\n"; t.join(); }
输出
Starting task Waiting for task to finish... 267914296 Task complete
[编辑] 缺陷报告
以下行为改变的缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 发布的行为 | 正确行为 |
|---|---|---|---|
| LWG 2067 | C++11 | 复制构造函数的参数类型为 packaged_task& |
添加了 const |
| LWG 2097 | C++11 | 对于重载 (2,3)，F 可以是 std::packaged_task<R(Args...)> |
F 受约束 |
