"= default"デストラクタと空のデストラクタの違いは何ですか？

Question

私は自動変数としてそれを使用してから、私のクラスのユーザーを防ぎたいので、私はこのようなコードを書く：私はコードがコンパイルされないことを期待するが、G ++がエラーなしでそれをコンパイル

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

int main() { 
    A a; 
} 

を。私は、コードを変更するとき

しかし、：今すぐ

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

int main() { 
    A a; 
} 

、G ++は、私の予想であるとして~A()は、プライベートであることエラーが発生します。

"= default"デストラクタと空のデストラクタの違いは何ですか？

Answer 1

最初の例はコンパイルしないでください。これは、コンパイル時にコンパイルするバグを表します。このバグはgcc 4.9以降で修正されています。

= defaultで定義されたデストラクタはです。この場合はです。これはstd::is_trivially_destructible<A>::valueで検出できます。

更新

C++ 11（およびC++ 14）状態1つはユーザー宣言デストラクタを持っている場合（そして、あなたが持っていないのいずれかのユーザ宣言は特別会員を移動した場合） 、コピーコンストラクタおよびコピー代入演算子の暗黙の生成は引き続き行われますが、その動作は推奨されません。あなたがそれに頼るならば、あなたのコンパイラはあなたに非推奨警告を与えるかもしれません。

両方：

~A() = default; 

と：

~A() {}; 

はユーザー宣言であるので、それらは、この点に関しては差がありません。これらのフォームのいずれかを使用する場合（およびメンバーの移動を宣言しない場合）、非推奨の動作に頼らないために、コピーメンバーを明示的にデフォルト、明示的に削除、または明示的に指定する必要があります。

メンバーを移動する（デストラクタを宣言するかどうかにかかわらず）と宣言した場合、コピーメンバーは暗黙的に削除されます。