5. operator=

最終更新日時(UTC):
が更新

履歴 編集

function
<future>

std::packaged_task::operator=(C++11)

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) :
    1. まず現在の共有状態が準備完了状態(future_status::ready)でなければ、error conditionとしてbroken_promiseを持つfuture_error例外オブジェクトを格納したのち、準備完了状態にする。ただし、実装によっては、この動作が行われない場合がある(備考を参照)。
    2. 現在の共有状態を解放する。
    3. 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は共有状態を持たない
}

出力

バージョン

言語

  • C++11

処理系

参照