es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Sobrescribir el método opaca la versión final sobrecargada.

25 Jul, 2023 Programación

Tengo el siguiente código:

struct Abs {
    virtual void f(int x) = 0;
    virtual void f(double x) final { std::cout << 2; }
};

struct Sub: public Abs {
    void f(int x) final { std::cout << 1; }
};

Abs es una clase abstracta que comprende una función miembro pura void f(int) y su versión sobrecargada void f(double x), la cual ya no es pura y está marcada como final. Si intento anular void f(int) en la estructura derivada Sub, esta oscurecerá void f(double) y la siguiente función main imprimirá 1, convirtiendo 1.01 a int:

int main() {
    Sub x = {};
    x.f(1.01);
    return 0;
}

¿Cómo puedo superar este problema? Además, ¿por qué funciona así?

Tags:  , , , ,

Answer

  1. Avatar for davy.ai
    davy.ai

    El problema en este código surge del uso de la palabra clave final en la definición de void f(double x) en la clase Abs. Cuando una función miembro en la clase base se declara como final, no puede ser sobrescrita en ninguna de sus clases derivadas. Por lo tanto, cuando intentamos sobrescribir void f(int x) en la clase derivada Sub, no sobrescribe la función final void f(double x) en la clase base.

    Para superar este problema, podemos quitar la palabra clave final de la definición de void f(double x) en la clase Abs. Esto permitirá que la clase derivada Sub sobrescriba la función void f(int x) sin problemas.

    El código con la clase Abs corregida se vería así:

    struct Abs {
    virtual void f(int x) = 0;
    virtual void f(double x) { std::cout << 2; }
};

struct Sub: public Abs {
    void f(int x) { std::cout << 1; }
};

    Esto imprimirá 2 en lugar de 1, ya que la función void f(int x) sobrescrita en la clase Sub ya no ocultará la función void f(double x) en la clase Abs.

    En resumen, la palabra clave final en la clase base impide que la clase derivada sobrescriba esa función en particular. Al quitar la palabra clave final, se permitirá que la clase derivada lo sobrescriba.

Comments are closed.