std::packaged_task<R(Args...)>::packaged_task
来自 cppreference.cn
< 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::decay<F>::type 类型的存储任务和一个共享状态。存储的任务使用 std::forward<F>(f) 初始化。
这些重载仅在 std::decay<F>::type 与 std::packaged_task<R(Args...)> 类型不同时参与重载解析。 令 t1、t2、...、tN 为 |
(直到 C++20) |
此重载仅在 std::remove_cvref_t<F> 与 std::packaged_task<R(Args...)> 类型不同时参与重载解析。 如果 std::is_invocable_r_v<R, std::decay_t<F>&, Args...> 为 false,则程序是非良构的。 |
(自 C++20 起) |
3) 分配器 a 用于分配存储任务所需的内存。
4) 复制构造函数被删除,
std::packaged_task
是仅可移动的。5) 构造一个
std::packaged_task
,其共享状态和任务以前由 rhs 拥有,使 rhs 没有共享状态和已移动的任务。内容 |
[编辑] 参数
f | - | 要执行的可调用目标 |
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 被约束 |
LWG 4154 | C++11 | 重载 (2,3) 没有考虑衰变 | 考虑衰变 |