intrusive_ptr: ¿Por qué no se proporciona una clase base común?

Question

boost::intrusive_ptr requiere intrusive_ptr_add_ref y intrusive_ptr_release por definir. ¿Por qué no se proporciona una clase base que hará esto? Aquí hay un ejemplo: http://lists.boost.org/Archives/boost/2004/06/66957.php, pero el cartel dice "No creo necesariamente que sea una buena idea". Por qué no?

Actualización: No creo que el hecho de que esta clase pueda ser mal utilizada con Herencia múltiple sea motivo suficiente. Cualquier clase que derive de múltiples clases base con su propio recuento de referencia tendría el mismo problema. Si estas refotaciones se implementan a través de una clase base o no, no hace ninguna diferencia.

No creo que haya ningún problema con el multihilo; boost::shared_ptr ofrece conteo de referencias atómicas y esta clase también podría.

Answer 1

Boost proporciona una instalación para eso. Se puede configurar para refcounting flujos seguros o inseguros hilo:

#include <boost/intrusive_ptr.hpp> 
#include <boost/smart_ptr/intrusive_ref_counter.hpp> 

class CMyClass 
    : public boost::intrusive_ref_counter< 
           CMyClass, 
           boost::thread_unsafe_counter> 
    ... 

boost::intrusive_ptr<CMyClass> myPtr; 

http://www.boost.org/doc/libs/1_62_0/libs/smart_ptr/intrusive_ref_counter.html

Answer 2

El problema sería con Herencias Múltiples. Si heredas de 2 objetos que implementan esta base, entonces tienes 2 contadores para tu único objeto ... y eso podría causar estragos.

Por lo tanto lo que se necesita para hacer que los métodos ptr_add y ptr_release virtual, por lo que la clase derivada puede aplicar una anulación de sincronizar adecuadamente los varios contadores a la vez ... Algunos penalización de rendimiento aquí, especialmente porque la mayoría de las veces que lo haría ser completamente innecesario (no habrá anulación) porque solo es útil para Herencia Múltiple después de todo.

Y, por supuesto, en entornos Multi-Threaded podrías tener (por cortos periodos de tiempo) contadores desincronizados (el primero se incrementó pero el hilo fue interrumpido antes que el segundo) No puedo pensar en ningún problema que pueda porque, pero no es una situación sensata

También agrega desorden a la clase, algunos clientes pueden no necesitar el recuento de referencias después de todo (si crean el objeto en la pila).

Creo que no es una buena idea;)

Answer 3

Es lo que puede utilizar intrusive_ptr con las clases que ya implementan añadir y liberación.