operator==,!=,<,<=,>,>=,<=>(std::unique_ptr)

声明

C++23

// 1)
template< class T1, class D1, class T2, class D2 >
constexpr bool operator==( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 3)
template< class T1, class D1, class T2, class D2 >
bool operator<( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 4)
template< class T1, class D1, class T2, class D2 >
bool operator<=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y )
// 5)
template< class T1, class D1, class T2, class D2 >
bool operator>( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 6)
template< class T1, class D1, class T2, class D2 >
bool operator>=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 7)
template< class T1, class D1, class T2, class D2 >
    requires std::three_way_comparable_with<
        typename unique_ptr<T1, D1>::pointer,
        typename unique_ptr<T2, D2>::pointer>
std::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 );
// 8)
template< class T, class D >
constexpr bool operator==( const unique_ptr<T, D>& x, std::nullptr_t) noexcept;
// 12)
template< class T, class D >
constexpr bool operator<( const unique_ptr<T, D>& x, std::nullptr_t );
// 13)
template< class T, class D >
constexpr bool operator<(std::nullptr_t, const unique_ptr<T, D>& y );
// 14)
template< class T, class D >
constexpr bool operator<=( const unique_ptr<T, D>& x, std::nullptr_t );
// 15)
template< class T, class D >
constexpr bool operator<=(std::nullptr_t, const unique_ptr<T, D>& y );
// 16)
template< class T, class D >
constexpr bool operator>( const unique_ptr<T, D>& x, std::nullptr_t );
// 17)
template< class T, class D >
constexpr bool operator>(std::nullptr_t, const unique_ptr<T, D>& y );
// 18)
template< class T, class D >
constexpr bool operator>=( const unique_ptr<T, D>& x, std::nullptr_t );
// 19)
template< class T, class D >
constexpr bool operator>=(std::nullptr_t, const unique_ptr<T, D>& y );
// 20)
template< class T, class D >
    requires std::three_way_comparable<typename unique_ptr<T, D>::pointer>
constexpr std::compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
    operator<=>( const unique_ptr<T, D>& x, std::nullptr_t );

C++20

// 1)
template< class T1, class D1, class T2, class D2 >
bool operator==( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 3)
template< class T1, class D1, class T2, class D2 >
bool operator<( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 4)
template< class T1, class D1, class T2, class D2 >
bool operator<=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y )
// 5)
template< class T1, class D1, class T2, class D2 >
bool operator>( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 6)
template< class T1, class D1, class T2, class D2 >
bool operator>=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 7)
template< class T1, class D1, class T2, class D2 >
    requires std::three_way_comparable_with<
        typename unique_ptr<T1, D1>::pointer,
        typename unique_ptr<T2, D2>::pointer>
std::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 );
// 8)
template< class T, class D >
bool operator==( const unique_ptr<T, D>& x, std::nullptr_t) noexcept;
// 12)
template< class T, class D >
bool operator<( const unique_ptr<T, D>& x, std::nullptr_t );
// 13)
template< class T, class D >
bool operator<(std::nullptr_t, const unique_ptr<T, D>& y );
// 14)
template< class T, class D >
bool operator<=( const unique_ptr<T, D>& x, std::nullptr_t );
// 15)
template< class T, class D >
bool operator<=(std::nullptr_t, const unique_ptr<T, D>& y );
// 16)
template< class T, class D >
bool operator>( const unique_ptr<T, D>& x, std::nullptr_t );
// 17)
template< class T, class D >
bool operator>(std::nullptr_t, const unique_ptr<T, D>& y );
// 18)
template< class T, class D >
bool operator>=( const unique_ptr<T, D>& x, std::nullptr_t );
// 19)
template< class T, class D >
bool operator>=(std::nullptr_t, const unique_ptr<T, D>& y );
// 20)
template< class T, class D >
    requires std::three_way_comparable<typename unique_ptr<T, D>::pointer>
std::compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
    operator<=>( const unique_ptr<T, D>& x, std::nullptr_t );

C++11

// 1)
template< class T1, class D1, class T2, class D2 >
bool operator==( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 2)
template< class T1, class D1, class T2, class D2 >
bool operator!=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 3)
template< class T1, class D1, class T2, class D2 >
bool operator<( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 4)
template< class T1, class D1, class T2, class D2 >
bool operator<=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y )
// 5)
template< class T1, class D1, class T2, class D2 >
bool operator>( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 6)
template< class T1, class D1, class T2, class D2 >
bool operator>=( const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y );
// 8)
template< class T, class D >
bool operator==( const unique_ptr<T, D>& x, std::nullptr_t) noexcept;
// 9)
template< class T, class D >
bool operator==(std::nullptr_t, const unique_ptr<T, D>& x) noexcept;
// 10)
template< class T, class D >
bool operator!=( const unique_ptr<T, D>& x, std::nullptr_t) noexcept;
// 11)
template< class T, class D >
bool operator!=(std::nullptr_t, const unique_ptr<T, D>& x) noexcept;
// 12)
template< class T, class D >
bool operator<( const unique_ptr<T, D>& x, std::nullptr_t );
// 13)
template< class T, class D >
bool operator<(std::nullptr_t, const unique_ptr<T, D>& y );
// 14)
template< class T, class D >
bool operator<=( const unique_ptr<T, D>& x, std::nullptr_t );
// 15)
template< class T, class D >
bool operator<=(std::nullptr_t, const unique_ptr<T, D>& y );
// 16)
template< class T, class D >
bool operator>( const unique_ptr<T, D>& x, std::nullptr_t );
// 17)
template< class T, class D >
bool operator>(std::nullptr_t, const unique_ptr<T, D>& y );
// 18)
template< class T, class D >
bool operator>=( const unique_ptr<T, D>& x, std::nullptr_t );
// 19)
template< class T, class D >
bool operator>=(std::nullptr_t, const unique_ptr<T, D>& y );

比较两个 unique_ptr 或一个 unique_ptr 和 nullptr 的指针值。

1-7)
比较两个 unique_ptr
8-20)
比较一个 unique_ptr 和 nullptr。

!= 运算符是从 operator== 合成的（C++20 起）。

参数

x, y - 要比较的 unique_ptr

返回值

1. x.get() == y.get()
   
2. x.get() != y.get()
   
3. std::less<CT>()(x.get(), y.get()),
   其中 CT 是 std::common_type<unique_ptr<T1, D1>::pointer, unique_ptr<T2, D2>::pointer>::type
   
4. !(y < x)
   
5. y < x
   
6. !(x < y)
   
7. std::compare_three_way{}(x.get(), y.get())
   8-9) !x
   10-11) (bool)x
   
8. std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr)<br/>
9. std::less<unique_ptr<T,D>::pointer>()(nullptr, y.get())<br/>
10. !(nullptr < x)
    
11. !(y < nullptr)
    
12. nullptr < x
    
13. y < nullptr
    
14. !(x < nullptr)
    
15. !(nullptr < y)
    
16. std::compare_three_way{}(x.get(), static_cast<typename unique_ptr<T, D>::pointer>(nullptr))
    

示例

#include <iostream>
#include <memory>
 
int main()
{
    std::unique_ptr<int> p1(new int(42));
    std::unique_ptr<int> p2(new int(42));
 
    std::cout << std::boolalpha
        << "(p1 == p1)       : " 
        << (p1 == p1) << '\n'
        << "(p1 <=> p1) == 0 : " 
        << ((p1 <=> p1) == 0) << '\n' // Since C++20
 
    // p1 and p2 point to different memory locations, so p1 != p2
        << "(p1 == p2)       : " 
        << (p1 == p2) << '\n'
        << "(p1 < p2)        : " 
        << (p1 < p2) << '\n'
        << "(p1 <=> p2) < 0  : " 
        << ((p1 <=> p2) < 0) << '\n'   // Since C++20
        << "(p1 <=> p2) == 0 : " 
        << ((p1 <=> p2) == 0) << '\n'; // Since C++20
}

可能结果

(p1 == p1)       : true
(p1 <=> p1) == 0 : true
(p1 == p2)       : false
(p1 < p2)        : true
(p1 <=> p2) < 0  : true
(p1 <=> p2) == 0 : false

缺陷报告

以下改变行为的缺陷报告已追溯应用于先前发布的 C++ 标准。

DR	应用于	发布时的行为	正确行为
LWG 3426	C++20	uoperator<=>(unique_ptr, nullptr_t) 为 ill-formed	约束和定义已修复