std::packaged_task::packaged_task

来自cppreference.com
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) 构造拥有共享状态和任务副本的 std::packaged_task 对象,以 std::forward<F>(f) 初始化副本。若 std::decay<F>::typestd::packaged_task<R(ArgTypes...)> 是同一类型,则此构造函数不参与重载决议。
3) 构造拥有共享状态和任务副本的 std::packaged_task 对象,以 std::forward<F>(f) 初始化副本。用提供的分配器分配存储任务所需的内存。 若 std::decay<F>::typestd::packaged_task<R(ArgTypes...)> 是同一类型,则此构造函数不参与重载决议。
4) 复制构造函数被删除, std::packaged_task 仅可移动。
5)rhs 之前所占有的共享状态和任务构造 std::packaged_task ,令 rhs 留在无共享状态且拥有被移动后的任务的状态。

目录

[编辑] 参数

f - 要执行的可调用目标(函数、成员函数、 lambda 表达式、函数对象)
a - 存储任务时所用的分配器
rhs - 要移动的 std::packaged_task

[编辑] 异常

2) f 的复制/移动构造函数所抛的任何异常,而若内存分配失败则可能为 std::bad_alloc
3) f 的复制/移动构造函数,而若内存分配失败则有分配器的 allocate 函数所抛的任何异常。
4) (无)

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 2067 C++11 被删除的复制构造函数接收非 const 引用 使之为 const

[编辑] 示例

#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), 40);
 
    std::cout << "waiting for task to finish...\n";
    std::cout << result.get() << '\n';
 
    std::cout << "task complete\n";
    t.join();
}

输出:

starting task
waiting for task to finish...
102334155
task complete