Hardexpected

Чем std::expected полезен?

1Постановка

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

2Решение

std::expected<T, E> (C++23) — содержит либо успешное значение T, либо ошибку E. Альтернатива исключениям для функций, которые могут неудачно завершиться. Аналог Result в Rust, Either в Haskell.

#include <expected>

std::expected<int, std::string> parse(std::string_view s);

auto r = parse("42");
if (r.has_value()) {
    use(*r);
} else {
    log(r.error());
}

int v = r.value_or(0);   // дефолт
// Монадический chain (C++23)
parse(s).and_then(validate).transform(toInt);
  • Нет overhead на stack unwinding, явно в типе видна возможность ошибки;
  • Caller обязан проверить (как optional); работает в noexcept/embedded;
  • Применяется в API, где ошибки часты и ожидаемы (парсинг, I/O, lookup);

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

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

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