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

When to make a destructor defaulted using =default?(何时使用=DEFAULT使析构函数成为默认函数?)

本文介绍了何时使用=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相比,显式默认的析构函数抑制移动操作,可以声明privateprotectednoexcept(false),并且在C++20中可以被约束(但不是consteval)。在很小的程度上,它可以被声明为constexpr,以验证它无论如何都会是。声明它inline不会做任何事情。(它也可以越界或虚拟,但如上所述,这不能成为使用它的理由。)

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

这篇关于何时使用=DEFAULT使析构函数成为默认函数?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!

本文标题为:何时使用=DEFAULT使析构函数成为默认函数?

基础教程推荐