- future[meta header]
- std[meta namespace]
- packaged_task[meta class]
- function[meta id-type]
- cpp11[meta cpp]
packaged_task& operator=(packaged_task&) = delete; // (1) C++11
packaged_task& operator=(const packaged_task&) = delete; // (1) C++14
packaged_task& operator=(packaged_task&& rhs) noexcept; // (2)
- (1) : コピー代入演算子。コピー不可。
- (2) : ムーブ代入演算子。
- (2) :
- まず現在の共有状態が準備完了状態(
future_status::ready
)でなければ、error conditionとしてbroken_promise
を持つfuture_error
例外オブジェクトを格納したのち、準備完了状態にする。ただし、実装によっては、この動作が行われない場合がある(備考を参照)。 - 現在の共有状態を解放する。
packaged_task(
std::move
(rhs)).swap(*this)
を行う。
- まず現在の共有状態が準備完了状態(
- (2) :
*this
- (2) : 投げない
C++11の仕様では、ムーブ代入演算子の効果として古い共有状態は「放棄する(abandon)」ではなく「解放する(release)」となっているが、仕様の他の項目(Shared States, Class template promise, および Class template packaged_task内のvoid reset();)の記載との整合性を欠いており、「放棄する(abandon)」とする方が合理性があるため効果の項にはそのように記載した。
「(共有状態を)放棄する(abandon)」とは効果の項(2)の1と2が行われることをいい、「(共有状態を)解放する(release)」とは効果の項(2)の2のみが行われることである。通常、promise
およびpackaged_task
は処理結果を提供する側であるため共有状態を所有しなくなるときには前者を行い、future
およびshared_future
は処理結果を受け取る側であるため共有状態を所有しなくなるときには後者を行う。
なお、operator=
の実際の実装では、ClangおよびGCCでは「放棄する(abandon)」の動作になっているが、Visual C++では「解放する(release)」の動作になっている。また、reset
では、Clang,GCC,Visual C++のいずれも「放棄する(abandon)」の動作になっている。
#include <future>
#include <utility>
int foo() { return 3; }
int main()
{
// ムーブ代入
// 共有状態の所有権とタスクを移動する
std::packaged_task<int()> task1(foo);
std::packaged_task<int()> task2;
task2 = std::move(task1);
// task1は共有状態を持たない
}
- std::move[link /reference/utility/move.md]
- C++11
- Clang: ??
- GCC: 4.7.0 [mark verified]
- ICC: ??
- Visual C++: 2012 [mark verified]