何时使用=DEFAULT使析构函数成为默认函数？

尽管构造函数使用=Default对我来说很清楚(即在存在其他构造函数的情况下强制编译器创建默认构造函数)，但我仍然无法理解这两种析构函数的区别：

1. 使用=Default的
2. 未显式定义并由编译器自动生成的。

我唯一想到的是，组1的析构函数可以定义为虚拟的，但组2总是非虚拟的。那么，这是他们之间唯一的区别吗？是否存在编译器不生成析构函数，但使用=Default强制编译器生成析构函数的情况？

附注：我已经在Stackoverflow中检查了很多Q，但没有一个回答我的Q。这里有一些相关的问题。

1. Difference between =default and {} ctos/destructors
2. Defaulting virtual destructors
3. Difference between =default and empty dtrs

编辑1：This Q在SO上，重点是禁用默认的移动构造函数，这可以被认为是接受答案中提到的项目之一。

---

解决方案

(评论或链接问题中已经提到了下面的几点；此答案用于组织和关联它们。)

当然有三种方法可以获得"简单析构函数"：

struct Implicit {};
struct Empty {~Empty() {}};
struct Defaulted {~Defaulted()=default;};

与默认(而不是复制或移动)构造函数类似，{}和=default;对于析构函数的含义大致相同。Defaulted的有趣属性就是那些(组合)不同于和这两个的属性。

与Empty主要区别很简单：显式默认的析构函数可以是微不足道的。这仅适用于它是在类内部默认的情况，因此{}和=default;在行外定义上没有区别。同样，虚函数消除了任何区别，就像任何成员或基类具有非平凡的析构函数一样。还有一个区别是，显式默认的析构函数可以隐式定义为删除。这两个属性都与隐式声明的析构函数共享，因此我们还必须找到与这些属性的区别。

与Implicit相比，显式默认的析构函数抑制移动操作，可以声明private、protected或noexcept(false)，并且在C++20中可以被约束(但不是consteval)。在很小的程度上，它可以被声明为constexpr，以验证它无论如何都会是。声明它inline不会做任何事情。(它也可以越界或虚拟，但如上所述，这不能成为使用它的理由。)

所以答案是"当您想要一个具有其他特殊属性的微不足道的(或可能被删除的)析构函数时"--最有用的是访问控制或noexcept状态。