Scrittura di tipo in C++: come funzionano le funzioni boost :: shared_ptr e boost ::?

Question

Cancellare tipo: è così che si chiama?

Come boost::shared_ptr memorizza il proprio deleter e in che modo boost::function memorizza il suo oggetto funzione?

C'è qualche tutorial che insegna il trucco?

Qual è il costo di runtime dell'utilizzo di oggetti funzione cancellati dal tipo?

Answer 1

L'idea è semplice, si definisce una classe base che ha un'interfaccia con le funzionalità necessarie e quindi ne eredita. Poiché il tipo cancellato con la classe utilizza solo quell'interfaccia, il tipo effettivo sottostante è dimenticato e cancellato. In alternativa, se l'unica interfaccia necessaria può essere espressa come funzioni libere, è possibile memorizzare i puntatori alle funzioni libere.

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; 
    } 
}; 

Questo è un puntatore intelligente davvero semplificato, ma l'idea è lì. Nel caso specifico di shared_ptr, il deletatore viene memorizzato come parte dell'oggetto conteggio di riferimento, che è trattenuto dal puntatore.