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

Question

我想防止我的 class 的用户将其用作自动变量，所以我写了这样的代码：

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

int main() {
  A a;
}

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

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

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）声明如果有一个 用户声明的 析构函数（并且如果你没有任何一个用户声明的特殊移动成员)，那么复制构造函数和复制赋值运算符的隐式生成仍然会发生，但这种行为已被弃用。这意味着如果你依赖它，你的编译器可能会给你一个弃用警告（或者可能不会）。

两者：

~A() = default;

和：

~A() {};

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

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

What's the difference between "= default" destructor and empty destructor?