std::expected<T,E>::value_or - cppreference.com

template< class U = std::remove_cv_t<T> > 
constexpr T value_or( U&& default_value ) const&;

template< class U = std::remove_cv_t<T> > 
constexpr T value_or( U&& default_value ) &&;

Returns the expected value if it exists, otherwise returns default_value.

The void partial specialization does not have these member functions.

1) If std::is_copy_constructible_v<T> or std::is_convertible_v<U, T> is false, the program is ill-formed.

2) If std::is_move_constructible_v<T> or std::is_convertible_v<U, T> is false, the program is ill-formed.

Parameters

Return value

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))

Example

#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)

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

See also