Perché operatore delete richiesto per distruttori virtuali

Question

In un contesto indipendente (senza librerie standard, ad esempio in fase di sviluppo del sistema operativo) usando g ++ il seguente fenomeno si verifica:

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

class Derived : public Base { 
public: 
    ~Derived() {} 
}; 

int main() { 
    Derived d; 
} 

Quando si collega afferma qualcosa di simile: undefined reference to operator delete(void*)

Ciò significa chiaramente che g ++ sta generando chiamate per eliminare l'operatore anche se non ci sono allocazioni di memoria dinamica zero. Questo non succede se il distruttore non è virtuale.

Sospetto che questo abbia a che fare con il vtable generato per la classe, ma non ne sono del tutto sicuro. Perché succede?

Se non è necessario dichiarare un operatore di cancellazione a causa della mancanza di routine di allocazione dinamica della memoria, c'è un problema?

Edit1:

di riprodurre con successo il problema in g ++ 5.1 che ho usato:

g ++ -ffreestanding -nostdlib foo.cpp

Answer 1

A causa di distruttori eliminazione. Quelle sono le funzioni effettivamente chiamate quando si chiama delete obj su un oggetto con distruttori virtuali. Chiama il distruttore completo dell'oggetto (che gestisce i distruttori di oggetti di base, quelli che si definiscono effettivamente) e quindi chiama operator delete. In tal modo, in tutti i punti in cui viene utilizzato lo delete obj, è necessario emettere una sola chiamata e anche chiamare lo operator delete con lo stesso puntatore restituito da operator new come richiesto da ISO C++ (sebbene ciò potrebbe essere reso più costoso tramite dynamic_cast).

Fa parte del Itanium ABI utilizzato da GCC.

Non penso che si possa disabilitare questo.