| 1 | //===----------------------------------------------------------------------===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | // <memory> |
| 10 | |
| 11 | // shared_ptr |
| 12 | |
| 13 | // template<class T, class U> bool operator==(const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 14 | // template<class T, class U> bool operator!=(const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 15 | // template<class T, class U> bool operator< (const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 16 | // template<class T, class U> bool operator<=(const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 17 | // template<class T, class U> bool operator> (const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 18 | // template<class T, class U> bool operator>=(const shared_ptr<T>& a, const shared_ptr<U>& b); |
| 19 | // template<class T1, class D1, class T2, class D2> |
| 20 | // requires three_way_comparable_with<typename unique_ptr<T1, D1>::pointer, |
| 21 | // typename unique_ptr<T2, D2>::pointer> |
| 22 | // compare_three_way_result_t<typename unique_ptr<T1, D1>::pointer, |
| 23 | // typename unique_ptr<T2, D2>::pointer> |
| 24 | // operator<=>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y); |
| 25 | |
| 26 | #include <memory> |
| 27 | #include <cassert> |
| 28 | |
| 29 | #include "test_macros.h" |
| 30 | #include "test_comparisons.h" |
| 31 | |
| 32 | void do_nothing(int*) {} |
| 33 | |
| 34 | int main(int, char**) { |
| 35 | AssertComparisonsAreNoexcept<std::shared_ptr<int> >(); |
| 36 | AssertComparisonsReturnBool<std::shared_ptr<int> >(); |
| 37 | #if TEST_STD_VER > 17 |
| 38 | AssertOrderAreNoexcept<std::shared_ptr<int>>(); |
| 39 | AssertOrderReturn<std::strong_ordering, std::shared_ptr<int>>(); |
| 40 | #endif |
| 41 | |
| 42 | int* ptr1(new int); |
| 43 | int* ptr2(new int); |
| 44 | const std::shared_ptr<int> p1(ptr1); |
| 45 | const std::shared_ptr<int> p2(ptr2); |
| 46 | |
| 47 | assert(!(p1 == p2)); |
| 48 | assert(p1 != p2); |
| 49 | assert((p1 < p2) == (ptr1 < ptr2)); |
| 50 | assert((p1 <= p2) == (ptr1 <= ptr2)); |
| 51 | assert((p1 > p2) == (ptr1 > ptr2)); |
| 52 | assert((p1 >= p2) == (ptr1 >= ptr2)); |
| 53 | #if TEST_STD_VER > 17 |
| 54 | assert((p1 <=> p2) != std::strong_ordering::equal); |
| 55 | assert((p1 <=> p2) == (ptr1 <=> ptr2)); |
| 56 | #endif |
| 57 | |
| 58 | // The deleter does not influence the comparisons |
| 59 | // of the `shared_ptr` |
| 60 | const std::shared_ptr<int> p3(ptr2, do_nothing); |
| 61 | assert(p2 == p3); |
| 62 | assert(!(p1 == p3)); |
| 63 | assert(!(p2 != p3)); |
| 64 | assert(p1 != p3); |
| 65 | assert((p1 < p3) == (ptr1 < ptr2)); |
| 66 | assert((p1 <= p3) == (ptr1 <= ptr2)); |
| 67 | assert((p1 > p3) == (ptr1 > ptr2)); |
| 68 | assert((p1 >= p3) == (ptr1 >= ptr2)); |
| 69 | #if TEST_STD_VER > 17 |
| 70 | assert((p2 <=> p3) == std::strong_ordering::equal); |
| 71 | assert((p1 <=> p3) != std::strong_ordering::equal); |
| 72 | assert((p1 <=> p3) == (ptr1 <=> ptr2)); |
| 73 | #endif |
| 74 | |
| 75 | return 0; |
| 76 | } |
| 77 | |