Estoy construyendo una pequeña jerarquía para una cosita personal. Son clases que encapsularan punteros a estructuras de una librería escrita en C. Estoy usando la clásica técnica pimpl
.
Nota: la librería en C usa herencia en struct
mediante el clásico método de definir macros con las variables-miembro y declarar las struct
usando dichas macros, por lo que no es posible una relación de herencia desde C++. De ahí el uso de punteros void *
.
La clase raiz de mi jerarquía es:
class TrivialPImpl {
public:
~TrivialPImpl( ) {
if( m_pimpl ) {
unlock( m_pimpl );
}
}
TrivialPImpl( void *ptr = nullptr ) : m_pimpl( ptr ) { }
TrivialPImpl( const TrivialPImpl &other ) = default;
TrivialPImpl( TrivialPImpl &&other ) : m_pimpl( const_cast< void * >( other.m_pimpl ) ) {
if( m_pimpl ) {
m_pimpl = nullptr;
}
}
protected:
virtual void unlock( void *ptr ) = 0;
private:
void *m_pimpl;
};
Yo espero que se cumpla lo siguiente:
TrivialPimpl::unlock( )
es una función virtual pura, no es posible instanciar de clases hija sin proporcionar un código paraunlock( )
.Mientras no defina ningún destructor en ninguna clase hija, la llamada a un destructor (de cualquier hija) provocará la llamada a
TrivialPImpl::~TrivialPImpl( )
Desde
TrivialPImpl::~TrivialPImpl( )
se llamará aunlock( )
, que ejecutará el código correcto dependiente del tipo real de la instancia destruida.
Debido a esos puntos, entiendo que es imposible obtener un puntero a una instancia de una clase hija de TrivialPImpl
sin que tenga implementada la función unlock( )
, por lo que es igualmente imposible que desde el destructor de TrivialPImpl
se llame a una versión de unlock( )
sin cuerpo.
Sin embargo, el compilador me muestra 1 aviso:
pure virtual ‘virtual void TrivialPImpl::unlock()’ called from destructor
¿ Es mi razonamiento correcto ? ¿ Se llamará siempre a la implementación correcta de
unlock( )
?En caso positivo, ¿ Cual es el sentido de ese aviso del compilador ?
En caso negativo, ¿ En que me estoy equivocando ?