Como poder ... se puede. Ahora bien, que sea lo que esperas, o que sea útil en tu escenario concreto ... eso es otra historia.
Lo que pretendes es algo lo suficientemente común para tener patrón propio, con un nombre que me encanta: Curiously recurring template pattern (Patrón de plantilla curiosamente recurrente)
.
El caso-de-uso habitual de este patrón es permitir que las clases hijas proporcionen la implementación de una (o varias) funciones a la clase padre. Lo cual va en contra de lo que se espera en POO, y del uso de la herencia ... pero eso es justamente lo que tú pretendes y lo que se consigue:
#include <iostream>
template< typename T > struct clasepadre {
void funcion1( ) {
std::cout << "Se ha llamado a 'clasepadre::funcion1( )'\n";
static_cast< T * >( this )->funcion2( );
}
};
struct clasehija : public clasepadre< clasehija > {
void funcion2( ) {
std::cout << "Se ha llamado a 'clasehija::funcion2( )'\n";
}
};
int main( ) {
clasehija ch;
ch.funcion1( );
return 0;
}
Si compilamos y ejecutamos el código anterior, obtenemos:
Se ha llamado a 'clasepadre::funcion1( )'
Se ha llamado a 'clasehija::funcion2( )'
Como ves, el truco es curioso ... y recursivo: declaramos una clase hija, que hereda de una clase base templatizada y cuyo argumento de plantilla es la clase hija, (que hereda de una clase base templatizada y cuyo argumento de plantilla es la clase hija, que hereda ...).
Esto es posible porque las plantillas solo se instancian cuando se usan realmente. En este caso, el uso real se produce dentro de main( )
, y el compilador ya ha pasado tanto por clasepadre
como por clasehija
, conociendo lo necesario de ambas.
Observa también que en la llamada real ha sido necesario convertir this
a un puntero al argumento de plantilla T
.
static_cast< T * >( this )->funcion2( );
Esto es posible porque hay relación de herencia entre T
y clasehija
, y generaría un error de compilación en otro caso.
virtual
.