◐ Shell
clean mode source ↗

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

De cppreference.com

Definido en el archivo de encabezado <memory>

Compara dos objetos shared_ptr.

template < class T, class U > bool operator==( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(1) (desde C++11)

template< class T, class U > bool operator!=( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(2) (desde C++11)
(hasta C++20)

template< class T, class U > bool operator<( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(3) (desde C++11)
(hasta C++20)

template< class T, class U > bool operator>( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(4) (desde C++11)
(hasta C++20)

template< class T, class U > bool operator<=( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(5) (desde C++11)
(hasta C++20)

template< class T, class U > bool operator>=( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(6) (desde C++11)
(hasta C++20)

template< class T, class U > std::strong_ordering operator<=>( const std::shared_ptr<T>& lhs, const std::shared_ptr<U>& rhs ) noexcept;

(7) (desde C++20)

Compara un shared_ptr con un puntero nulo.

template< class T > bool operator==( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(8) (desde C++11)

template< class T > bool operator==( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(9) (desde C++11)
(hasta C++20)

template< class T > bool operator!=( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(10) (desde C++11)
(hasta C++20)

template< class T > bool operator!=( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(11) (desde C++11)
(hasta C++20)

template< class T > bool operator<( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(12) (desde C++11)
(hasta C++20)

template< class T > bool operator<( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(13) (desde C++11)
(hasta C++20)

template< class T > bool operator>( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(14) (desde C++11)
(hasta C++20)

template< class T > bool operator>( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(15) (desde C++11)
(hasta C++20)

template< class T > bool operator<=( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(16) (desde C++11)
(hasta C++20)

template< class T > bool operator<=( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(17) (desde C++11)
(hasta C++20)

template< class T > bool operator>=( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(18) (desde C++11)
(hasta C++20)

template< class T > bool operator>=( std::nullptr_t, const std::shared_ptr<T>& rhs ) noexcept;

(19) (desde C++11)
(hasta C++20)

template< class T > std::strong_ordering operator<=>( const std::shared_ptr<T>& lhs, std::nullptr_t ) noexcept;

(20) (desde C++20)

Compara dos objetos shared_ptr<T> o compara shared_ptr<T> con un puntero nulo.

Ten en cuenta que los operadores de comparación para shared_ptr simplemente comparan valores de puntero; los objetos reales a los que se apunta no se comparan. Tener operator< definido para shared_ptr permite usar shared_ptr como claves en contenedores asociativos, como std::map y std::set.

Los operadores <, <=, >, >=, y != se sintetizan de operator<=> y operator==, respectivamente.

(desde C++20)

Parámetros

lhs - El shared_ptr del lado izquierdo a comparar.
rhs - El shared_ptr del lado derecho a comparar.

Valor de retorno

1) lhs.get() == rhs.get()

2) !(lhs == rhs)

3) std::less<V>()(lhs.get(), rhs.get()), donde V es el tipo puntero compuesto de std::shared_ptr<T>::element_type* y std::shared_ptr<U>::element_type*

4) rhs < lhs

5) !(rhs < lhs)

6) !(lhs < rhs)

7) std::compare_three_way{}(x.get(), y.get())

8) !lhs

9) !rhs

10) (bool)lhs

11) (bool)rhs

12) std::less<std::shared_ptr<T>::element_type*>()(lhs.get(), nullptr)

13) std::less<std::shared_ptr<T>::element_type*>()(nullptr, rhs.get())

14) nullptr < lhs

15) rhs < nullptr

16) !(nullptr < lhs)

17) !(rhs < nullptr)

18) !(lhs < nullptr)

19) !(nullptr < rhs)

20) std::compare_three_way{}(x.get(), static_cast<std::shared_ptr<T>::element_type*>(nullptr))

Notas

En todos los casos, es el puntero almacenado (el que devuelve get()) el que se compara, en lugar del puntero administrado (el que se pasa al eliminador cuando use_count llega a cero). Los dos punteros pueden diferir en un shared_ptr creado con el constructor de alias.

Ejemplo

#include <iostream>
#include <memory>

int main()
{
    std::shared_ptr<int> p1(new int(42));
    std::shared_ptr<int> p2(new int(42));

    std::cout << std::boolalpha
        << "(p1 == p1)       : " << (p1 == p1) << '\n'
        << "(p1 <=> p1) == 0 : " << ((p1 <=> p1) == 0) << '\n' // desde C++20

    // p1 y p2 apuntan a diferentes ubicaciones de memoria, por lo que p1 != p2
        << "(p1 == p2)       : " << (p1 == p2) << '\n'
        << "(p1 < p2)        : " << (p1 < p2) << '\n'
        << "(p1 <=> p2) < 0  : " << ((p1 <=> p2) < 0) << '\n'   // desde C++20
        << "(p1 <=> p2) == 0 : " << ((p1 <=> p2) == 0) << '\n'; // desde C++20
}

Posible salida:

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

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID Aplicado a Comportamiento según lo publicado Comportamiento correcto
LWG 3427 C++20 operator<=>(shared_ptr, nullptr_t) estaba mal formado. Se corrigió la definición.

Véase también

Devuelve el puntero almacenado.
(función miembro pública) [editar]