最終更新日時: 2024年09月17日 18時25分53秒 (JST)
Akira Takahashi が更新

履歴 編集

function template
<utility>

# std::operator==

    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>);
      };
    }

## 概要

2つの`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!=`

## 例

    #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

## 参照

- N3471 Constexpr Library Additions: utilities, v3
- P1614R2 The Mothership has Landed
  - C++20での三方比較演算子の追加と、関連する演算子の自動導出
- P2944R3 Comparisons for `reference_wrapper`
  - C++26でテンプレートパラメータ制約が整理された