swap_free.md

swap (非メンバ関数)

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

// expected<cv void, E>部分特殊化
friend constexpr void swap(expected& x, expected& y)
  noexcept(noexcept(x.swap(y)));

• x.swap(y)[link swap.md]

概要

2つのexpectedオブジェクトを入れ替える。

効果

x.swap(y);

• swap[link swap.md]

戻り値

なし

例

#include <cassert>
#include <expected>

int main()
{
  std::expected<void, int> x;
  std::expected<void, int> y = std::unexpected{42};
  assert(x.has_value() && y.error() == 42);

  std::swap(x, y);
  assert(x.error() == 42 && y.has_value());
}

• std::swap[color ff0000]
• has_value()[link has_value.md]
• error()[link error.md]
• std::unexpected[link ../unexpected.md]

出力

バージョン

言語

• C++23

処理系

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

参照

• P0323R12 std::expected