Tipo de borrado en C++: ¿cómo funcionan las funciones boost :: shared_ptr y boost :: function?

Question

Tipo de borrado: ¿así es como lo llamas?

¿Cómo almacena boost::shared_ptr su eliminador y cómo boost::function almacena su objeto de función?

¿Hay algún tutorial que enseñe el truco?

¿Cuál es el costo de tiempo de ejecución de usar objetos de función borrados por tipo?

Answer 1

La idea es simple, usted define una clase base que tiene una interfaz con la funcionalidad que necesita, y luego hereda de ella. Dado que el tipo borró la clase utiliza solo esa interfaz, el tipo real debajo es olvidado y borró. Alternativamente, si la única interfaz necesaria se puede expresar como funciones libres, puede almacenar punteros a las funciones gratuitas.

namespace detail { 
    struct deleter_base { 
     virtual ~deleter_base() {} 
     virtual void operator()(void*) = 0; 
    }; 
    template <typename T> 
    struct deleter : deleter_base { 
     virtual void operator()(void* p) { 
     delete static_cast<T*>(p); 
     } 
    }; 
} 
template <typename T> 
class simple_ptr { 
    T* ptr; 
    detail::deleter_base* deleter; 
public: 
    template <typename U> 
    simple_ptr(U* p) { 
     ptr = p; 
     deleter = new detail::deleter<U>(); 
    } 
    ~simple_ptr() { 
     (*deleter)(ptr); 
     delete deleter; 
    } 
}; 

Este es un puntero inteligente realmente simplificado, pero la idea está ahí. En el caso particular de shared_ptr, el eliminador se almacena como parte del objeto de conteo de referencia, que se mantiene mediante el puntero.