Namespaces
Variants

std::optional<T>:: value_or

From cppreference.net
C++
Utilities library
std::optional
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 Applied to Behavior as published Correct behavior
LWG 3886 C++17 U не имеет аргумента шаблона по умолчанию указано

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

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