Skip to main content
se añadieron 303 caracteres en el cuerpo
Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

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.

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).

#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.

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.

se eliminaron 612 caracteres en el cuerpo
Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

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).

#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.

El principal problema de este enfoque es que ahora no podemos usar clasepadre tal cual. clasepadre es una plantilla, y por lo tanto solo podemos usarla con un argumento. Lo cual resta bastante usabilidad y limita los casos de uso reales:

clasepadre cp; // <-- ERROR. clasepadre es una plantilla.

Ahora estamos obligados a hacerlo así:

clasepadre< clasehija > cp;

Lo cual, si nos ponemos a pensarlo un poco ... es lo mismo que si hicieramos

clasehija ch;

Es decir, a efectos prácticos, clasepadre deja de existir, o, al menos, pierde todo su sentido por si misma.

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).

#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.

El principal problema de este enfoque es que ahora no podemos usar clasepadre tal cual. clasepadre es una plantilla, y por lo tanto solo podemos usarla con un argumento. Lo cual resta bastante usabilidad y limita los casos de uso reales:

clasepadre cp; // <-- ERROR. clasepadre es una plantilla.

Ahora estamos obligados a hacerlo así:

clasepadre< clasehija > cp;

Lo cual, si nos ponemos a pensarlo un poco ... es lo mismo que si hicieramos

clasehija ch;

Es decir, a efectos prácticos, clasepadre deja de existir, o, al menos, pierde todo su sentido por si misma.

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).

#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.

Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

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).

#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.

El principal problema de este enfoque es que ahora no podemos usar clasepadre tal cual. clasepadre es una plantilla, y por lo tanto solo podemos usarla con un argumento. Lo cual resta bastante usabilidad y limita los casos de uso reales:

clasepadre cp; // <-- ERROR. clasepadre es una plantilla.

Ahora estamos obligados a hacerlo así:

clasepadre< clasehija > cp;

Lo cual, si nos ponemos a pensarlo un poco ... es lo mismo que si hicieramos

clasehija ch;

Es decir, a efectos prácticos, clasepadre deja de existir, o, al menos, pierde todo su sentido por si misma.