Perché g ++ non si lamenta quando la classe derivata chiama pura funzione virtuale di base?

Question

Ho una classe Base con una pura funzione virtuale f(). Un'altra classe Derived deriva da Base. Chiamo f() dall'interno di Derived. E usando g ++, ottengo un errore dal linker.

[agnel@dooku tmp]$ g++ pure_virtual_function_call.cpp 
/tmp/ccGQLHi4.o: In function `Derived::f()': 
pure_virtual_function_call.cpp:(.text._ZN7Derived1fEv[_ZN7Derived1fEv]+0x14): undefined reference to `VirtualBase::f()' 
collect2: error: ld returned 1 exit status 

Mi sembra che l'errore sia stato rilevato dal linker. Perché il compilatore non ha segnalato questo errore? Perché lasciarlo al linker?

Ecco il codice:

#include <iostream> 

using namespace std; 

class VirtualBase { 
public: 
    virtual void f() = 0; 
}; 

class Derived : public VirtualBase { 
public: 
    void f(){ 
     VirtualBase::f(); 
     cout << "Derived\n" ; 
    } 
}; 


int main(){ 
    Derived d; 
    d.f(); 
    return 0; 
} 

Answer 1

Perché le funzioni virtuali pure possono avere definizioni e, in caso affermativo, è possibile chiamarle non virtualmente utilizzando la sintassi VirtualBase::f().

Il compilatore non ha modo di stabilire se si intende o meno la funzione da definire e quindi l'errore può essere rilevato solo dal linker.

Answer 2

Non è un errore di chiamare una funzione virtuale pura. È un errore chiamare qualsiasi funzione che non ha una definizione. Una pura funzione virtuale può avere una definizione.