igualdad perdido entre shared_ptr y weak_ptr

Question

Mientras yo entiendo por qué no hay operator== para shared_ptr y unique_ptr, me pregunto por qué no hay ninguno de shared_ptr y weak_ptr. Especialmente dado que puede crear un weak_ptr a través de una referencia en shared_ptr. Supongo que durante el 99% del tiempo desea lhs.get() == rhs.get(). Ahora avanzaría y lo introduciría en mi código a menos que alguien me diga una buena razón, por qué uno no debería hacer tal cosa.

Answer 1

weak_ptr doesn 'tiene un método get() porque debe bloquear explícitamente el weak_ptr antes de poder acceder al puntero subyacente. Hacer esto explícito es una decisión de diseño deliberada. Si la conversión fuera implícita, sería muy fácil escribir un código que no sería seguro si se destruyera el último shared_ptr del objeto, mientras que el puntero subyacente obtenido del weak_ptr todavía estaba siendo examinado.

This boost page tiene una buena descripción de las trampas y por qué weak_ptr tiene una interfaz tan limitada.

Si necesita hacer una comparación rápida, puede hacer shared == weak.lock(). Si la comparación es verdadera, entonces usted sabe que weak debe seguir siendo válida ya que tiene un shared_ptr por separado para el mismo objeto. No hay tal garantía si la comparación devuelve falso.

Answer 2

Porque tiene un costo.

A weak_ptr es como un observador, no un puntero real. Para hacer cualquier trabajo con él, primero debe obtener un shared_ptr usando su método lock().

Esto tiene el efecto de adquirir la propiedad, pero es tan costoso como copiar un shared_ptr normal (incremento de cuenta, etc.) por lo que no es nada trivial.

Como tal, al no proporcionar ==, se ve obligado a dar un paso atrás y realmente comprobar si realmente lo necesita o no.