test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.cmp/cmp.pass.cpp

//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// <memory>

// shared_ptr

// template<class T, class U> bool operator==(const shared_ptr<T>& a, const shared_ptr<U>& b);
// template<class T, class U> bool operator!=(const shared_ptr<T>& a, const shared_ptr<U>& b);
// template<class T, class U> bool operator< (const shared_ptr<T>& a, const shared_ptr<U>& b);
// template<class T, class U> bool operator<=(const shared_ptr<T>& a, const shared_ptr<U>& b);
// template<class T, class U> bool operator> (const shared_ptr<T>& a, const shared_ptr<U>& b);
// template<class T, class U> bool operator>=(const shared_ptr<T>& a, const shared_ptr<U>& b);
// 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);

#include <memory>
#include <cassert>

#include "test_macros.h"
#include "test_comparisons.h"

void do_nothing(int*) {}

int main(int, char**) {
  AssertComparisonsAreNoexcept<std::shared_ptr<int> >();
  AssertComparisonsReturnBool<std::shared_ptr<int> >();
#if TEST_STD_VER > 17
  AssertOrderAreNoexcept<std::shared_ptr<int>>();
  AssertOrderReturn<std::strong_ordering, std::shared_ptr<int>>();
#endif

  int* ptr1(new int);
  int* ptr2(new int);
  const std::shared_ptr<int> p1(ptr1);
  const std::shared_ptr<int> p2(ptr2);

  assert(!(p1 == p2));
  assert(p1 != p2);
  assert((p1 < p2) == (ptr1 < ptr2));
  assert((p1 <= p2) == (ptr1 <= ptr2));
  assert((p1 > p2) == (ptr1 > ptr2));
  assert((p1 >= p2) == (ptr1 >= ptr2));
#if TEST_STD_VER > 17
  assert((p1 <=> p2) != std::strong_ordering::equal);
  assert((p1 <=> p2) == (ptr1 <=> ptr2));
#endif

  // The deleter does not influence the comparisons
  // of the `shared_ptr`
  const std::shared_ptr<int> p3(ptr2, do_nothing);
  assert(p2 == p3);
  assert(!(p1 == p3));
  assert(!(p2 != p3));
  assert(p1 != p3);
  assert((p1 < p3) == (ptr1 < ptr2));
  assert((p1 <= p3) == (ptr1 <= ptr2));
  assert((p1 > p3) == (ptr1 > ptr2));
  assert((p1 >= p3) == (ptr1 >= ptr2));
#if TEST_STD_VER > 17
  assert((p2 <=> p3) == std::strong_ordering::equal);
  assert((p1 <=> p3) != std::strong_ordering::equal);
  assert((p1 <=> p3) == (ptr1 <=> ptr2));
#endif

  return 0;
}