c++ - "= default"析构函数和空析构函数有什么区别？

Question

我想阻止我的类的用户将它用作自动变量，所以我编写了这样的代码:

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

int main() {
  A a;
}

我希望代码不会被编译，但是g++编译它没有错误。

但是，当我将代码更改为:

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

int main() {
  A a;
}

现在，g++ 给出了 ~A() 是私有(private)的错误，正如我所期望的那样。

“= default”析构函数和空析构函数有什么区别？

Answer 1

您的第一个示例不应编译。这表示它确实编译的编译器中的一个错误。此错误已在 gcc 4.9 及更高版本中修复。

用 = default 定义的析构函数在这种情况下是微不足道的。这可以通过 std::is_trivially_destructible<A>::value 检测到.

更新

C++11(和 C++14)声明如果有一个 user-declared 析构函数(并且如果你没有任何一个用户声明的 move 特殊成员)，那么复制构造函数和复制赋值运算符的隐式生成仍然发生，但该行为已被弃用。这意味着如果您依赖它，您的编译器可能会给您一个弃用警告(或可能不会)。

两者:

~A() = default;

和:

~A() {};

是用户声明的，因此它们在这一点上没有区别。如果您使用这些形式中的任何一种(并且不声明移动成员)，则应显式默认、显式删除或显式提供您的拷贝成员，以避免依赖已弃用的行为。

如果您确实声明了移动成员(声明或不声明析构函数)，则复制成员将被隐式删除。