Skip to content

op_equal.md

Latest commit

 

History

History
84 lines (65 loc) · 3 KB

op_equal.md

File metadata and controls

84 lines (65 loc) · 3 KB
Raw

operator==

  • utility[meta header]
  • std[meta namespace]
  • function template[meta id-type]
namespace std {
  template <class T1, class T2>
  bool operator==(const pair<T1, T2>& x, const pair<T1, T2>& y);           // (1) C++03

  template <class T1, class T2>
  constexpr bool operator==(const pair<T1, T2>& x, const pair<T1, T2>& y); // (1) C++14

  template <class T1, class T2>
  struct pair {
    friend constexpr bool operator==(const pair&, const pair&) = default; // (1) C++20

    friend constexpr bool operator==(const pair& x, const pair& y)        // (2) C++20
        requires (is_reference_v<T1> || is_reference_v<T2>);
  };

  template <class T1, class T2, class U1, class U2>
  constexpr bool operator==(const pair<T1, T2>& x,
                            const pair<U1, U2>& y);                       // (3) C++23
}
  • is_reference_v[link /reference/type_traits/is_reference.md]

概要

2つのpairの等値比較を行う。

  • (1) : 同じ型のpair同士の等値比較を行う。
  • (2) : 要素型のいずれかが参照型であるpair同士の等値比較を行う。
  • (3) : 左辺と右辺で要素型が異なるpair同士の等値比較を行う。

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

  • 式x.first == y.firstとx.second == y.secondが妥当であり、型decltype(x.first == y.first)とdecltype(x.second == y.second)がboolean-testableのモデルであること

戻り値

return x.first == y.first && x.second == y.second;

備考

  • この演算子により、以下の演算子が使用可能になる (C++20)：
    • operator!=
  • (3) : C++23で追加された。これにより、referenceがpair<T&, U&>、value_typeがpair<T, U>となるような（views::zip相当の）Rangeをranges::sortなどでソートできるようになる。

例

#include <iostream>
#include <utility>
#include <string>

int main()
{
  std::pair<int, std::string> p1(1, "aaa");
  std::pair<int, std::string> p2(1, "aaa");
  std::pair<int, std::string> p3(2, "bbb");

  std::cout << std::boolalpha;
  std::cout << (p1 == p2) << std::endl;
  std::cout << (p1 == p3) << std::endl;
}

出力

true
false

参照