op_deref.md

operator*

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

// expected<cv void, E>部分特殊化
constexpr void operator*() const noexcept;

概要

正常値(void)を取得する。

堅牢化された事前条件

has_value() == true

戻り値

なし

例外

投げない

例

#include <expected>

int main()
{
  std::expected<void, int> x;
  *x;

  std::expected<void, int> y = std::unexpected{42};
//*y;
  // エラー値を保持する y に対する operator* 呼び出しは未定義動作
}

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

出力

バージョン

言語

• C++23

処理系

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

関連項目

• value()

参照

• P0323R12 std::expected
• P3471R4 Standard library hardening
• P3878R1 Standard library hardening should not use the 'observe' semantic