4

No hay código, es una duda que tengo y no estoy pudiendo encontrar una respuesta, no se si al ser un método puro estoy obligado a implementarlo en todas las subclases y si no fuese puro no, o no tiene nada que ver y estoy obligado en ambos casos.

2
  • 1
    SI es virtual puro, si, las clases que la hereden tienen que implementarlo. Si no, no. el 27 oct. 2021 a las 22:05
  • 1
    Por que mejor no haces la prueba, si quieres aprender algo tienes que descubrirlo
    – Japv
    el 28 oct. 2021 a las 2:55

1 respuesta 1

3

La herencia de funciones miembro en C++ funciona de la siguiente manera:

#define CHIVATO std::cout << __PRETTY_FUNCTION__ << '\n'

struct Base
{
    void Miembro() { CHIVATO; }
    virtual void Virtual() { CHIVATO; }
    virtual void VirtualPura() = 0;
};

struct Derivada : public Base
{
    void Miembro() { CHIVATO; }
    void Virtual() { CHIVATO; }
    void VirtualPura() { CHIVATO; }
};

int main()
{
    Derivada d;
    Base &b = d;

    b.Miembro();        // Muestra: Base::Miembro()
    b.Virtual();        // Muestra: Derivada::Virtual()
    b.VirtualPura();    // Muestra: Derivada::VirtualPura()

    d.Miembro();        // Muestra: Derivada::Miembro()
    d.Virtual();        // Muestra: Derivada::Virtual()
    d.VirtualPura();    // Muestra: Derivada::VirtualPura()

    return 0;
}

La función Miembro está presente en la base y en la derivada, si la llamo desde una base se llama la versión de Base y si la llamo desde la derivada se llama la versión de Derivada, es decir: la función es diferente en una y otra pese a que se llame igual; en cambio al llamar a las funciones Virtual y VirtualPura tanto si las llamo desde una base como si las llamo desde una derivada se llama la versión Derivada1.

Para verificar eso podemos añadir la palabra clave override y veremos lo siguiente:

struct Derivada : public Base
{
    void Miembro() override { CHIVATO; }        /* Error: Derivada::Miembro no 
                                                sobrescribe Base::Miembro */
    void Virtual() override { CHIVATO; }        // Correcto
    void VirtualPura() override { CHIVATO; }    // Correcto
};

Por último, veamos tu duda concreta:

struct Base
{
    void Publica() { CHIVATO; }
    void Miembro() { CHIVATO; }
    virtual void Virtual() { CHIVATO; }
    virtual void VirtualPura() = 0;
protected:
    void Protegida() { CHIVATO; }
protected:
    void Privada() { CHIVATO; }
};

struct Derivada : public Base
{
    void Miembro() { CHIVATO; }
    void Virtual() override { CHIVATO; }
    void VirtualPura() override { CHIVATO; }
};

La clase Derivada no ha necesitado implementar Base::Publica, ni Base::Protegida ni Base::Privada, sin embargo todas esas funciones han llegado a la instancia de Derivada (aunque sólo sean accesibles las públicas y protegidas).

La única función que es obligatorio implementar en todas las clases derivadas es Base::VirtualPura, si no la implementases en las derivadas y quisieras instanciarlas, fallaría la compilación.


1Porque en ambos casos la instancia es de Derivada aunque acceda a las funciones desde una referencia a Base.

Tu Respuesta

Al pulsar en “Publica tu respuesta”, muestras tu consentimiento a nuestros términos de servicio, política de privacidad y política de cookies

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.