Hardfutureexceptions

Что такое promise/future exceptions в C++?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

std::promise/std::future переносят исключения между потоками: если задача бросит, исключение сохранится в shared state, а future.get() перебросит его в вызывающем потоке.

std::future<int> runAsync() {
    auto fut = std::async(std::launch::async, [] {
        if (!ready) throw std::runtime_error("not ready");
        return 42;
    });
    return fut;
}

try {
    int r = runAsync().get();   // перебросит исключение здесь
} catch (const std::runtime_error& e) {
    std::cerr << e.what();
}

future.get() вызывается один раз. Если promise умер без set_value/set_exceptionfuture бросит std::future_error (broken_promise).

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.