value_or.md

value_or

• expected[meta header]
• function template[meta id-type]
• std[meta namespace]
• expected[meta class]
• cpp23[meta cpp]

template<class U> constexpr T value_or(U&& v) const &; // (1)
template<class U> constexpr T value_or(U&& v) &&;      // (2)

概要

正常値もしくは指定された値を取得する。

適格要件

• (1) : is_copy_constructible_v<T> == true && is_convertible_v<U, T> == true
• (2) : is_move_constructible_v<T> == true && is_convertible_v<U, T> == true

戻り値

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

例

#include <expected>
#include <iostream>
#include <string>

int main()
{
  std::expected<int, std::string> x = 42;
  std::cout << x.value_or(0) << std::endl;

  std::expected<int, std::string> y = std::unexpected{"ERR"};
  std::cout << y.value_or(0) << std::endl;
}

• value_or[color ff0000]
• std::unexpected[link ../unexpected.md]

出力

42
0

バージョン

言語

• C++23

処理系

• Clang: 16.0 [mark verified]
• GCC: 12.1 [mark verified]
• ICC: ??
• Visual C++: ??

関連項目

• operator->
• operator*
• value()

参照

• P0323R12 std::expected