std::optional<T>::value_or

template< class U = std::remove_cv_t<T> > constexpr T value_or( U&& default_value ) const&;	(1)	(начиная с C++17)
template< class U = std::remove_cv_t<T> > constexpr T value_or( U&& default_value ) &&;	(2)	(начиная с C++17)

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

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

Пример

#include <cstdlib>
#include <iostream>
#include <optional>

std::optional<const char*> maybe_getenv(const char* n)
{
    if (const char* x = std::getenv(n))
        return x;
    else
        return {};
}

int main()
{
    std::cout << maybe_getenv("SHELL").value_or("(none)") << '\n';
    std::cout << maybe_getenv("MYPWD").value_or("(none)") << '\n';
}

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

/usr/bin/zsh
(none)

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

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

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

См. также

value

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

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