función virtual pura con implementación

Para ser claro, está malinterpretando lo que significa = 0; después de una función virtual.

= 0 significa que las clases derivadas deben proporcionar una implementación, no es que la clase base no pueda proporcionar una implementación.

En la práctica, cuando marca una función virtual como pura (=0), tiene muy poco sentido proporcionar una definición, porque nunca se llamará a menos que alguien lo haga explícitamente a través de Base::Function(...) o si el constructor de la clase base llama al función en cuestión.

La ventaja de esto es que obliga a los tipos derivados a anular el método, pero también proporciona una implementación predeterminada o aditiva.

Si tienes código que debería ser ejecutado por la clase derivante, pero no quieres que sea ejecutado directamente -- y quieres forzarlo a ser sobreescrito.

Su código es correcto, aunque en general esto no es una característica de uso frecuente, y por lo general solo se ve cuando se intenta definir un destructor virtual puro {en ese caso debe proporcionar una implementación. Lo curioso es que una vez que se deriva de esa clase no es necesario anular el destructor.

Por lo tanto el único uso sensato de funciones virtuales puras es especificar un destructor virtual puro como una palabra clave "no final".

El siguiente código es sorprendentemente correcto:

class Base {
public:
  virtual ~Base() = 0;
};

Base::~Base() {}

class Derived : public Base {};

int main() { 
  // Base b; -- compile error
  Derived d; 
}

Tendrías que darle un cuerpo a un destructor virtual puro, por ejemplo :)

Léase: http://cplusplus.co.il/2009/08/22/pure-virtual-destructor /

(Enlace roto, use archivo)

Sí, esto es correcto. En su ejemplo, las clases que se derivan de A heredan tanto la interfaz f () como una implementación predeterminada. Pero fuerzas a las clases derivadas a implementar el método f () (incluso si es solo para llamar a la implementación predeterminada proporcionada por A).

Scott Meyers discute esto en Effective C++ (2nd Edition) Item #36 Diferenciar entre herencia de interfaz y herencia de implementación. El número de artículo puede haber cambiado en la última edición.

Las funciones virtuales puras con o sin un cuerpo simplemente significan que los tipos derivados deben proporcionar su propia implementación.

Los cuerpos de función virtuales puros en la clase base son útiles si sus clases derivadas quieren llamar a su implementación de clase base.

La sintaxis 'virtual void foo() =0;' no significa que no puedas implementar foo() en la clase actual, sí puedes. Tampoco significa que deba implementarlo en clases derivadas. Antes de abofetearme, observemos el Problema del Diamante.: (Código implícito, eso sí).

class A
{
public: 
    virtual void foo()=0;
    virtual void bar();
}

class B : public virtual A
{
public:
    void foo() { bar(); }
}

class C : public virtual A
{
public:
    void bar();
}

class D : public B, public C
{}

int main(int argc, const char* argv[])
{
    A* obj = new D();
    **obj->foo();**
    return 0;
}

Ahora, la invocación obj->foo() resultará en B::foo() y luego C::bar().

Ya ves... los métodos virtuales puros no tienen que ser implementados en clases derivadas (foo () no tiene implementación en clase C - el compilador compilará) En C++ hay muchas lagunas.

Espero poder ayudar: -)