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

Основной шаблон
template< class U = std::remove_cv_t<T> > constexpr T value_or( U&& default_value ) const&;	(1)	(начиная с C++23)
template< class U = std::remove_cv_t<T> > constexpr T value_or( U&& default_value ) &&;	(2)	(начиная с C++23)

Возвращает ожидаемое значение, если оно существует, в противном случае возвращает default_value.

Частичная специализация void не содержит этих функций-членов.

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

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

Параметры

default_value - значение, используемое в случае, если *this не содержит ожидаемого значения

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

1) has_value() ? **this : static_cast<T>(std::forward<U>(default_value))

2) has_value() ? std::move(**this) : static_cast<T>(std::forward<U>(default_value))

Пример

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

#include <cstdlib>
#include <expected>
#include <print>
#include <system_error>
#include <utility>

std::expected<const char*, std::errc> try_getenv(const char* name)
{
    if (const char* env{std::getenv(name)})
        return env;
    return std::unexpected{std::errc::function_not_supported};
}

int main()
{
    for (auto env : {"SHELL", "OS"})
        std::println("{}: {}", env, try_getenv(env).value_or("(unknown)"));
}

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

SHELL: /usr/bin/bash
OS: (unknown)

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

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

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 3886	C++23	`U` не имеет аргумента шаблона по умолчанию	указан

См. также

value

возвращает ожидаемое значение
(открытая функция-член)

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