Namespaces
Variants

std::optional<T>:: value_or

From cppreference.net
Utilities library
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 はデフォルトテンプレート引数を持たない 指定済み

関連項目

格納されている値を返す
(公開メンバ関数)