Qual è la differenza tra il distruttore "= default" e il distruttore vuoto?

Question

Voglio evitare che l'utente della mia classe di utilizzarlo come una variabile automatica, quindi mi scrivere codice come questo:

class A { 
private: 
    ~A() = default; 
}; 

int main() { 
    A a; 
} 

mi aspetto che il codice non sarà compilato, ma g ++ compila senza errori .

Tuttavia, quando cambio il codice per:

class A { 
private: 
    ~A(){} 
}; 

int main() { 
    A a; 
} 

Ora, g ++ dà l'errore che ~A() è privato, come è la mia aspettativa.

Qual è la differenza tra un distruttore "= predefinito" e un distruttore vuoto?

Answer 1

Il tuo primo esempio non dovrebbe essere compilato. Questo rappresenta un bug nel compilatore che viene compilato. Questo bug è stato risolto in gcc 4.9 e versioni successive.

Il distruttore definito con = default è banale in questo caso. Questo può essere rilevato con std::is_trivially_destructible<A>::value.

Aggiornamento

C++ 11 (e C++ 14) affermano che se uno ha un'user-dichiarata distruttore (e se non si dispone di uno user-dichiarato sposta membro speciale) , quindi la generazione implicita del costruttore di copie e dell'operatore di assegnazione delle copie avviene ancora, ma tale comportamento è deprecato. Significato se ci si basa su di esso, il compilatore potrebbe darvi un avvertimento di deprecazione (o potrebbe non).

Entrambi:

~A() = default; 

e:

~A() {}; 

sono dall'utente dichiarato, e quindi hanno alcuna differenza rispetto a questo punto. Se si utilizza uno di questi moduli (e non si dichiarano membri di spostamento), è necessario impostare in modo esplicito, eliminare esplicitamente o fornire esplicitamente i membri di copia per evitare di fare affidamento sul comportamento deprecato.

Se si dichiarano membri di spostamento (con o senza dichiarazione di un distruttore), i membri di copia vengono eliminati implicitamente.