op_deduction_guide.md

推論補助

• expected[meta header]
• std[meta namespace]
• unexpected[meta class]
• cpp23[meta cpp]

namespace std {
  template<class E>
  unexpected(E) -> unexpected<E>;
}

概要

std::unexpectedクラステンプレートの型推論補助。

例

#include <cassert>
#include <concepts>
#include <expected>

int main()
{
  std::unexpected x{1};
  assert(x.error() == 1);
  static_assert(std::same_as<decltype(x), std::unexpected<int>>);
}

• error()[link error.md]
• std::unexpected[link ../unexpected.md]

出力

バージョン

言語

• C++23

処理系

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

参照

• P0323R12 std::expected