5. operator<=>

最終更新日時(UTC):
が更新

履歴 編集

function template
<memory>

std::operator<=>(C++20)

namespace std {
  template <class T1, class D1, class T2, class D2>
    requires three_way_comparable_with<
               typename unique_ptr<T1, D1>::pointer,
               typename unique_ptr<T2, D2>::pointer>
  compare_three_way_result_t<
    typename unique_ptr<T1, D1>::pointer,
    typename unique_ptr<T2, D2>::pointer>
  operator<=>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y); // (1) C++20

  template <class T, class D>
    requires three_way_comparable_with<typename unique_ptr<T, D>::pointer>
  compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
  operator<=>(const unique_ptr<T, D>& x, nullptr_t);                     // (2) C++20

  template <class T, class D>
    requires three_way_comparable_with<typename unique_ptr<T, D>::pointer>
  constexpr compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
  operator<=>(const unique_ptr<T, D>& x, nullptr_t);                     // (2) C++23
}

概要

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

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

  • (1) : 型unique_ptr<T1, D1>::pointerと型unique_ptr<T2, D2>::pointerが三方比較可能であること
  • (2) : 型unique_ptr<T, D>::pointer同士が三方比較可能であること

戻り値

例

#include <iostream>
#include <memory>

int main()
{
  std::unique_ptr<int> p1(new int(3));
  if ((p1 <=> p1) == 0) {
    std::cout << "equal" << std::endl;
  }

  std::unique_ptr<int> p2;
  if ((p2 <=> nullptr) == 0) {
    std::cout << "p2 is nullptr" << std::endl;
  }

  if ((nullptr <=> p2) == 0) {
    std::cout << "p2 is nullptr" << std::endl;
  }
}

出力

equal
p2 is nullptr
p2 is nullptr

バージョン

言語

  • C++20

処理系

参照