namespace std {
  template <class R>
  class future;
}

概要

futureは、「別スレッドでの処理完了を待ち、その処理結果を取得する」といった非同期処理を実現するためのクラスであり、promiseクラスと組み合わせて使用する。promiseが別スレッドでの処理結果を書き込み、futureがその結果を読み取る。promiseとfutureは内部的に同一の共有状態を参照する。これによってスレッド間での値の受け渡しやスレッド間同期を実現する。このクラスはR&およびvoidの、2つの特殊化を持つ。

適格要件

• C++23 : Rが参照型でもvoidでもない場合、Rはデストラクト可能 (Cpp17Destructible) なオブジェクト型であること。配列型・関数型は不適格である。

メンバ関数

値の取得

状態を確認する関数

待機

例

#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();
}

出力

55

バージョン

言語

• C++11

処理系

• Clang: 9.0.1 ✅
• GCC: 4.7.0 ✅
• Visual C++: 2012 ✅
  • 2012段階のstd::threadクラスは、コンストラクタに引数をムーブで渡すことができない。そのため、promiseオブジェクトはスレッド間の共有オブジェクトにする必要がある。(所有権が曖昧になるため、スタイルとしてはよくない) #737812 - std::thread does not accept std::move

参照

• LWG Issue 3466. Specify the requirements for promise/future/shared_future consistently
  • C++23で、テンプレート引数RがCpp17Destructible要件を満たすオブジェクト型でなければならないという要件が一貫して規定された（配列型・関数型は不適格）