La relazione tra la dichiarazione di andata e distruttori

Question

Ho il seguente codice:

#include <iostream> 
using namespace std; 

class CForward; 

void func(CForward* frw) { delete frw; } 

class CForward 
{ 
public: 
    ~CForward() { cout << "Forward" << endl; } 
}; 

int main() 
{ 
    func(new CForward); 
    cin.get(); 
} 

ho eseguito il programma, ed è stampato nulla.

Perché?

in main, ho creato new CFoward e in func l'ho eliminato e l'ho chiamato distruttore.

Sembra che il distruttore non sia stato chiamato. Perché? E 'comunque collegato alla decelerazione diretta?

Answer 1

In effetti, la vostra dichiarazione anticipata introduce un tipo incompleto che viene successivamente definita con un distruttore non banale, e che non possono essere utilizzati in un'espressione di eliminazione:

Da n3337, paragrafo 5.3.5/5:

5 Se l'oggetto eliminato ha tipo classe incompleta al punto di delezione e la classe completa ha un distruttore non banale o una funzione deallocazione, il comportamento è unde definito.

Answer 2

Sì. Infatti nella funzione func, il compilatore non conosce il tipo completo di cForward. Quindi il descrittore è chiamato.

Se si inserisce la funzione dopo la lezione, funzionerà correttamente.