最終更新日時: 2026年03月21日 23時12分53秒 (JST)
Raclamusi が更新

履歴 編集

function template
<unordered_set>

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

    namespace std {
      template <class Key, class Hash, class Pred, class Allocator>
      bool operator==(const unordered_multiset<Key, Hash, Pred, Allocator>& a,
                      const unordered_multiset<Key, Hash, Pred, Allocator>& b); // (1) C++11
      template <class Key, class Hash, class Pred, class Allocator>
      constexpr bool operator==(const unordered_multiset<Key, Hash, Pred, Allocator>& a,
                      const unordered_multiset<Key, Hash, Pred, Allocator>& b); // (1) C++26
    }

## 概要

`unordered_multiset` オブジェクトを等値比較する。

## 要件

- `a.key_eq()` と `b.key_eq()` は同じふるまいをすること。
- `key_type` の等値比較演算子（`operator==`）で等値と判定された 2 つのオブジェクトは、`key_eq()` でも等値と判定されること。

## 戻り値

以下の両方を満たす場合 `true`、そうでない場合 `false`。

- `a.size() == b.size()` である。
- 一方のコンテナの全ての要素が、他方のコンテナにも存在する。ここで、存在するとは、`key_type` の等値比較演算子（`operator==`）で等値と判定されるということである。

## 計算量

Ei を `a` の `i` 番目の同値キーのグループの大きさ、`n = a.size()`であるとして、

- 平均: O(Σ(Ei2))
- 最悪: O(n2)

## 備考

- 本関数は、コンテナ内の要素の比較に `key_eq()` で返されるキー比較用関数オブジェクトを使用しないことに注意。
- 本関数は、標準コンテナの要件を満たさない。これは、標準コンテナの要件が `iterator` と `std::equal` を用いて定義されているためである。しかし、本関数の戻り値は、両方のコンテナが同じ要素を保持しているという意味においては、標準コンテナと同様とも考えることができる。
- この演算子により、以下の演算子が使用可能になる (C++20)：
  - `operator!=`

## 例

    #include <iostream>
    #include <string>
    #include <unordered_set>
    #include <iterator>
    #include <algorithm>

    template <class C>
    void print(const std::string& label, const C& c, std::ostream& os = std::cout)
    {
      os << label << ":";
      std::copy(std::begin(c), std::end(c), std::ostream_iterator<typename C::value_type>(os, ", "));
      os << std::endl;
    }

    int main()
    {
      std::cout << std::boolalpha;

      std::unordered_multiset<int> ums1{ 1, 2, 3, 1, 2, 3, };
      std::unordered_multiset<int> ums2{ 4, 5, 6, 4, 5, 6, };
      std::unordered_multiset<int> ums3{ 1, 2, 3, 1, 2, 3, };

      ::print("ums1", ums1);
      ::print("ums2", ums2);
      ::print("ums3", ums3);

      std::cout << "ums1 == ums2:" << (ums1 == ums2) << std::endl;
      std::cout << "ums1 == ums3:" << (ums1 == ums3) << std::endl;
    }

### 出力例

    ums1:3, 3, 2, 2, 1, 1,
    ums2:6, 6, 5, 5, 4, 4,
    ums3:3, 3, 2, 2, 1, 1,
    ums1 == ums2:false
    ums1 == ums3:true

注：`unordered_multiset` は非順序連想コンテナであるため、出力順序は無意味であることに注意

## バージョン

### 言語

- C++11

### 処理系

- Clang: 3.0 ✅, 3.1 ✅
- GCC: 4.4.7 ✅, 4.5.3 ✅, 4.6.3 ✅, 4.7.0 ✅
- ICC: ?
- Visual C++: ?

## 実装例

    namespace std {
      template <class Key, class Hash, class Pred, class Allocator>
      bool operator==(const unordered_multiset<Key, Hash, Pred, Allocator>& a,
                      const unordered_multiset<Key, Hash, Pred, Allocator>& b)
      {
        if (a.size() != b.size())
          return false;

        for (auto it = a.begin(), ae = a.end(); it != ae; ) {
          auto ap = a.equal_range(*it);
          auto bp = b.equal_range(*it);
          if (std::distance(ap.first, ap.second) != std::distance(bp.first, bp.second) ||
              !std::is_permutation(ap.first, ap.second, bp.first))
            return false;
          it = ap.second;
        }

        return true;
      }
    }

## 関連項目

名前 | 説明
--- | ---
`operator!=` | 非等値比較

## 参照

- P0809R0 Comparing Unordered Containers
- P1614R2 The Mothership has Landed
  - C++20での三方比較演算子の追加と、関連する演算子の自動導出
- P3372R3 constexpr containers and adaptors