最終更新日時: 2025年07月09日 00時33分39秒 (JST)
Akira Takahashi が更新

履歴 編集

function template
<tuple>

# std::operator==(C++11)

    namespace std {
      template<class... TTypes, class... UTypes>
      bool operator==(const tuple<TTypes...>& t,
                      const tuple<UTypes...>& u);           // (1) C++11

      template<class... TTypes, class... UTypes>
      constexpr bool operator==(const tuple<TTypes...>& t,
                                const tuple<UTypes...>& u); // (1) C++14

      template<class... TTypes, tuple-like UTuple>
      constexpr bool operator==(const tuple<TTypes...>& t,
                                const UTuple& u);           // (2) C++23
    }

## 概要

2つの`tuple`オブジェクトの等値比較を行う。また、`tuple-like`なオブジェクトとの等値比較を行う。（C++23以降）

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

- (1) :
  - 2つの`tuple`オブジェクトの要素数が同じであること。（具体的には`sizeof...(TTypes) == sizeof...(UTypes)`であること。）
  - `tuple`の要素`std::get<i>(t)`と`std::get<i>(u)`において、すべての要素の比較 `std::get<i>(t) == std::get<i>(u)` の比較結果が`bool`に変換可能な型（C++23 以降は`boolean-testable`を満たせばよい）であること。
- (2) :
  - C++23 : 2つの`tuple-like`なオブジェクトの要素数が同じであること。（正確には、`sizeof...(TTypes) == tuple_size_v<UTuple>`であること。）
  - C++23 : `tuple`の要素`std::get<i>(t)`と`tuple-like`なオブジェクトの要素`std::get<i>(u)`において、すべての要素の比較 `std::get<i>(t) == std::get<i>(u)` の比較結果が`boolean-testable`を満たす型（`bool`へ変換可能な型）であること。

## 効果

0番目の要素から順に等値比較を行う。

## 戻り値

`tuple`の全ての要素を`std::get<i>(t) == std::get<i>(u)`した結果が`true`である場合`true`を返し、そうでなければ`false`を返す。

## 備考

- この演算子により、以下の演算子が使用可能になる (C++20)：
  - `operator!=`

## 例

    #include <iostream>
    #include <tuple>
    #include <string>

    int main()
    {
      std::tuple<int, char, const char*> t1(1, 'a', "hello");
      std::tuple<int, char, std::string> t2(1, 'a', "hello");
      std::tuple<int, char, std::string> t3(1, 'a', "hellot");

      std::cout << std::boolalpha;
      {
        bool result = t1 == t2; // ※型は異なっていてもかまわない
        std::cout << result << std::endl;
      }
      {
        bool result = t1 == t3;
        std::cout << result << std::endl;
      }
    }

### 出力

    true
    false

## バージョン

### 言語

- C++11

### 処理系

- Clang: ??
- GCC: 4.6.1 ✅
- ICC: ??
- Visual C++: ??

## 参照

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