std:: expected

Шаблон класса std::expected предоставляет способ представления одного из двух значений: ожидаемого значения типа T или неожиданного значения типа E . expected никогда не бывает пустым.

Программа является некорректной, если она инстанцирует expected с ссылочным типом, функциональным типом или специализацией std::unexpected . Кроме того, T не должен быть std::in_place_t или std::unexpect_t .

Параметры шаблона

Вложенные типы

Шаблоны-члены

Члены данных

Функции-члены

Функции, не являющиеся членами класса

Вспомогательные классы

Примечания

Типы с одинаковой функциональностью называются Result в Rust и Either в Haskell.

Пример

#include <cmath>
#include <expected>
#include <iomanip>
#include <iostream>
#include <string_view>
enum class parse_error
{
    invalid_input,
    overflow
};
auto parse_number(std::string_view& str) -> std::expected<double, parse_error>
{
    const char* begin = str.data();
    char* end;
    double retval = std::strtod(begin, &end);
    if (begin == end)
        return std::unexpected(parse_error::invalid_input);
    else if (std::isinf(retval))
        return std::unexpected(parse_error::overflow);
    str.remove_prefix(end - begin);
    return retval;
}
int main()
{
    auto process = [](std::string_view str)
    {
        std::cout << "str: " << std::quoted(str) << ", ";
        if (const auto num = parse_number(str); num.has_value())
            std::cout << "value: " << *num << '\n';
            // Если num не имеет значения, разыменование num
            // вызовет неопределенное поведение, и
            // num.value() выбросит std::bad_expected_access.
            // num.value_or(123) использует указанное значение по умолчанию 123.
        else if (num.error() == parse_error::invalid_input)
            std::cout << "error: invalid input\n";
        else if (num.error() == parse_error::overflow)
            std::cout << "error: overflow\n";
        else
            std::cout << "unexpected!\n"; // или вызвать std::unreachable();
    };
    for (auto src : {"42", "42abc", "meow", "inf"})
        process(src);
}

str: "42", value: 42
str: "42abc", value: 42
str: "meow", error: invalid input
str: "inf", error: overflow

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

Ссылки

Смотрите также