std::future

Определено в заголовочном файле `<future>`
template< class T > class future;	(1)	(с C++11)
template< class T > class future<T&>;	(2)	(с C++11)
template<> class future<void>;	(3)	(с C++11)

Шаблон класса std::future предоставляет механизм доступа к результату асинхронных операций:

Асинхронная операция (созданная с помощью std::async, std::packaged_task, или std::promise) может предоставить объект std::future создателю этой асинхронной операции.
Создатель асинхронной операции может затем использовать различные методы для запроса, ожидания или извлечения значения из std::future. Эти методы могут заблокироваться, если асинхронная операция ещё не предоставила значение.
Когда асинхронная операция готова отправить результат создателю, она может сделать это, изменив общий состояние (например, std::promise::set_value), связанное с std::future создателя.

Обратите внимание, что std::future ссылается на общее состояние, которое не делится с другими объектами асинхронного возврата (в отличие от std::shared_future).

Члены-функции

(конструктор)	создаёт объект future (публичная функция-член)
(деструктор)	уничтожает объект future (публичная функция-член)
operator=	перемещает объект future (публичная функция-член)
share	передает общее состояние от `*this` к `shared_future` и возвращает его (публичная функция-член)
Получение результата
get	возвращает результат (публичная функция-член)
Состояние
valid	проверяет, имеет ли future общее состояние (публичная функция-член)
wait	ожидает, пока результат станет доступным (публичная функция-член)
wait_for	ожидает результат, возвращает, если он недоступен в течение заданной длительности таймаута (публичная функция-член)
wait_until	ожидает результат, возвращает, если он недоступен до достижения заданного момента времени (публичная функция-член)

Примеры

#include <future>
#include <iostream>
#include <thread>
 
int main()
{
    // future from a packaged_task
    std::packaged_task<int()> task([]{ return 7; }); // wrap the function
    std::future<int> f1 = task.get_future(); // get a future
    std::thread t(std::move(task)); // launch on a thread
 
    // future from an async()
    std::future<int> f2 = std::async(std::launch::async, []{ return 8; });
 
    // future from a promise
    std::promise<int> p;
    std::future<int> f3 = p.get_future();
    std::thread([&p]{ p.set_value_at_thread_exit(9); }).detach();
 
    std::cout << "Waiting..." << std::flush;
    f1.wait();
    f2.wait();
    f3.wait();
    std::cout << "Done!\nResults are: "
              << f1.get() << ' ' << f2.get() << ' ' << f3.get() << '\n';
    t.join();
}

Вывод:

Waiting...Done!
Results are: 7 8 9

Пример с исключениями

#include <future>
#include <iostream>
#include <thread>
 
int main()
{
    std::promise<int> p;
    std::future<int> f = p.get_future();
 
    std::thread t([&p]
    {
        try
        {
            // code that may throw
            throw std::runtime_error("Example");
        }
        catch (...)
        {
            try
            {
                // store anything thrown in the promise
                p.set_exception(std::current_exception());
            }
            catch (...) {} // set_exception() may throw too
        }
    });
 
    try
    {
        std::cout << f.get();
    }
    catch (const std::exception& e)
    {
        std::cout << "Exception from the thread: " << e.what() << '\n';
    }
    t.join();
}

Вывод:

Exception from the thread: Example

См. также

async (C++11)	выполняет функцию асинхронно (возможно, в новой потоке) и возвращает `std::future`, который будет содержать результат (шаблон функции)
shared_future (C++11)	ожидает значение (возможно, на которое ссылаются другие future), которое устанавливается асинхронно (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/thread/future

std::future

Члены-функции

Получение результата

Состояние

Примеры

Пример с исключениями

См. также