std::expected<T,E>::value

Основной шаблон
constexpr T& value() &;	(1)	(начиная с C++23)
constexpr const T& value() const&;	(2)	(начиная с C++23)
constexpr T&& value() &&;	(3)	(начиная с C++23)
constexpr const T&& value() const&&;	(4)	(начиная с C++23)
Частичная специализация void
constexpr void value() const&;	(5)	(начиная с C++23)
constexpr void value() &&;	(6)	(начиная с C++23)

Если *this содержит ожидаемое значение, возвращает ссылку на содержащееся значение. Для частичной специализации void ничего не возвращает.

В противном случае выбрасывает исключение типа std::bad_expected_access<std::decay_t<E>>, содержащее копию error().

1,2) Если std::is_copy_constructible_v<E> является false, программа некорректна.

3,4) Если std::is_copy_constructible_v<E> или std::is_constructible_v<E, decltype(std::move(error()))> является false, программа некорректна.

5) Если std::is_copy_constructible_v<E> является false, программа некорректна.

6) Если std::is_move_constructible_v<E> является false, программа некорректна.

Возвращаемое значение

1,2) val

3,4) std::move(val)

Исключения

1,2,5) Выбрасывает std::bad_expected_access(std::as_const(error())), если *this содержит неожиданное значение.

3,4,6) Выбрасывает std::bad_expected_access(std::move(error())), если *this содержит неожиданное значение.

Пример

Пример можно запустить в Compiler Explorer.

#include <charconv>
#include <concepts>
#include <expected>
#include <print>
#include <string>
#include <string_view>
#include <system_error>
#include <utility>

template<std::integral Int = int>
constexpr std::expected<Int, std::errc> to_int(std::string_view str)
{
    Int value{};
    const auto [_, ec] = std::from_chars(str.data(), str.data() + str.size(), value);
    if (ec == std::errc())
        return value;
    return std::unexpected{ec};
}

int main()
{
    try
    {
        auto result = to_int("42"); // returns std::expected{42}
        std::println("{}", result.value()); // prints 42
        result = to_int("not a number"); // returns expected{unexpected{errc}}
        [[maybe_unused]] int x_x = result.value(); // throws
    }
    catch(const std::bad_expected_access<std::errc>& ex)
    {
        const std::errc ec{ex.error()};
        std::println("{}: {}", ex.what(), std::make_error_code(ec).message());
    }
}

Возможный вывод:

42
bad access to std::expected without expected value: Invalid argument

Отчёты об ошибках

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

Отчёт об ошибке	Применён к	Опубликованное поведение	Корректное поведение
LWG 3940	C++23	Для `E` не требовалось, чтобы оно было пригодно для конструирования копированием/перемещением в перегрузках (5,6)	требуется

См. также

value_or	возвращает ожидаемое значение, если оно присутствует, иначе — другое значение (открытая функция-член)
operator->operator*	обращается к ожидаемому значению (открытая функция-член)
error	возвращает неожиданное значение (открытая функция-член)
bad_expected_access (C++23)	исключение, указывающее на проверяемый доступ к `expected`, содержащему неожиданное значение (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/expected/value