名前空間
変種
操作

std::packaged_task<R(Args...)>::packaged_task

From cppreference.com
 
 
並行性サポートライブラリ
スレッド
(C++11)
(C++20)
this_thread 名前空間
(C++11)
(C++11)
(C++11)
協調的なキャンセル
排他制御
(C++11)
汎用ロック管理
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
条件変数
(C++11)
セマフォ
ラッチとバリア
(C++20)
(C++20)
future
(C++11)
(C++11)
(C++11)
(C++11)
安全なメモリ解放 (Safe Reclamation)
(C++26)
ハザードポインタ
アトミック型
(C++11)
(C++20)
アトミック型の初期化
(C++11)(C++20で非推奨)
(C++11)(C++20で非推奨)
メモリオーダー
(C++11)(C++26で非推奨)
アトミック操作のためのフリー関数
アトミックフラグのためのフリー関数
 
 
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::decay<F>::type 型のタスクと共有状態を格納するstd::packaged_taskオブジェクトを構築します。格納されるタスクは std::forward<F>(f) によって初期化されます。

これらのオーバーロードは、std::decay<F>::typestd::packaged_task<R(Args...)> と同じ型でない場合にのみ、オーバーロード解決に参加します。

Argsの対応する型の値 t1, t2, ..., tN に対して、INVOKE<R>(f, 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) rhs が以前所有していた共有状態とタスクでstd::packaged_taskを構築します。これにより、rhs は共有状態がなくなり、タスクは移動された状態になります。

目次

[編集] パラメータ

f - 実行する呼び出し可能なターゲット
a - タスクの格納に使用するアロケータ
rhs - 移動元のstd::packaged_task

[編集] 例外

2) f のコピー/ムーブコンストラクタによってスローされる可能性のある例外、およびメモリ割り当てに失敗した場合に std::bad_alloc がスローされる可能性があります。
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) では、Fstd::packaged_task<R(Args...)> であり得ました。 F は制約されていました。
LWG 4154 C++11 オーバーロード (2,3) はデケイを考慮していませんでした。 デケイを考慮します。
English 日本語 中文(简体) 中文(繁體)