op_equal.md

operator==

• variant[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp17[meta cpp]

namespace std {
  template <class... Types>
  constexpr bool operator==(const variant<Types...>& x, const variant<Types...>& y);
}

概要

variantオブジェクトの等値比較を行う。

テンプレートパラメータ制約

• 全ての候補型インデックスIにおいて、式get<I>(x) == get<I>(y)によって返される型がboolに変換可能であること

戻り値

• x.index() != y.index()である場合、falseが返る
• x.valueless_by_exception()がtrueである場合、trueが返る
• いずれでもない場合 (x.index() == y.index())、そのインデックス値をIとして、get<I>(x) == get<I>(y)の戻り値が返る

例

#include <cassert>
#include <variant>

int main()
{
  std::variant<int, char, double> a = 1;
  std::variant<int, char, double> b = 3.14;
  std::variant<int, char, double> c = 3;

  assert(a == a);    // 保持する型と値が同じ
  assert(b == b);    // 保持する型と値が同じ
  assert(!(a == b)); // 保持する型が異なる
  assert(!(a == c)); // 保持する型が同じだが、値が異なる
}

出力

バージョン

言語

• C++17

処理系

• Clang: 4.0.1 [mark verified]
• GCC: 7.2 [mark verified]
• Visual C++: ??

参照

• P0393R3 Making Variant Greater Equal
• P2944R3 Comparisons for reference_wrapper
  • C++26でテンプレートパラメータ制約が整理された