op_compare_3way.md

operator<=>

• set[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template <class Key, class Compare, class Allocator>
  synth-three-way-result<Key>
    operator<=>(const multiset<Key,Compare,Allocator>& x,
                const multiset<Key,Compare,Allocator>& y); // (1) C++20
  template <class Key, class Compare, class Allocator>
  constexpr synth-three-way-result<Key>
    operator<=>(const multiset<Key,Compare,Allocator>& x,
                const multiset<Key,Compare,Allocator>& y); // (1) C++26
}

概要

multisetオブジェクトの三方比較を行う。

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

• 型 (const) Key の値に対してoperator<=>が定義されるか、型 (const) Key の値に対してoperator<が定義され全順序をもつこと

効果

return lexicographical_compare_three_way(
    x.begin(), x.end(),
    y.begin(), y.end(),
    synth-three-way);

• lexicographical_compare_three_way[link /reference/algorithm/lexicographical_compare_three_way.md]
• begin()[link begin.md]
• end()[link end.md]

計算量

線形時間

備考

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

例

#include <cassert>
#include <set>

int main()
{
  std::multiset<int> s1, s2;
  s1.insert(10);
  s1.insert(20);
  s1.insert(30);
  s2 = s1;

  assert((s1 <=> s2) == 0);

  s2.insert(40);

  assert((s1 <=> s2) != 0);
}

• insert[link insert.md]

出力

参照

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