get_future.md

get_future

• future[meta header]
• std[meta namespace]
• promise[meta class]
• function[meta id-type]
• cpp11[meta cpp]

future<R> get_future();

• future[link /reference/future/future.md]

概要

結果取得のためのfutureオブジェクトを取得する

戻り値

*thisと同じ共有状態を持つfuture<R>オブジェクトを返す

同期操作

この関数の呼び出しでは、以下の呼び出しとのデータ競合は発生しない (C++20)：

• set_value()
• set_exception()
• set_value_at_thread_exit()
• set_exception_at_thread_exit()

これは、以下のようなケースをサポートするための規定：

std::promise<void> p;
std::thread t{ []{
  p.get_future().wait();
}};
p.set_value();
t.join();

• wait()[link /reference/future/future/wait.md]
• p.set_value()[link set_value.md]

例外

この関数は、以下のerror conditionを持つfuture_error例外オブジェクトを送出する可能性がある：

• future_already_retrieved ： すでにこの関数によって共有状態が作られている
• no_state ： *thisが共有状態を持っていない(promiseオブジェクトがムーブされると起こりうる)

例

#include <iostream>
#include <future>
#include <thread>
#include <utility>

void calc(std::promise<int> p)
{
  int sum = 0;
  for (int i = 0; i < 10; ++i) {
    sum += i + 1;
  }

  p.set_value(sum); // 結果値を書き込む
}

int main()
{
  std::promise<int> p;
  std::future<int> f = p.get_future();

  // 別スレッドで計算を行う
  std::thread t(calc, std::move(p));

  // calc()によって書き込まれた結果を取得
  std::cout << f.get() << std::endl;

  t.join();
}

• get_future()[color ff0000]
• p.set_value[link set_value.md]
• std::future[link /reference/future/future.md]
• std::move[link /reference/utility/move.md]
• f.get()[link /reference/future/future/get.md]

出力

55

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.7.0 [mark verified]
• ICC: ??
• Visual C++: 2012 [mark verified]

参照

• LWG Issue 2412. promise::set_value() and promise::get_future() should not race