析构函数 (C++)
析构函数是一个成员函数,在对象超出范围或通过调用 delete
或 delete[]
显式销毁对象时,会自动调用析构函数。 析构函数与类同名,前面带有波形符 (~
)。 例如,声明 String
类的析构函数:~String()
。
如果你未定义析构函数,编译器会提供一个默认的析构函数;对于某些类来说,这就足够了。 当类维护必须显式释放的资源(例如系统资源的句柄,或指向在类的实例被销毁时应释放的内存的指针)时,你需要定义一个自定义的析构函数。
请考虑 String
类的以下声明:
// spec1_destructors.cpp
#include <string> // strlen()
class String
{
public:
String(const char* ch); // Declare the constructor
~String(); // Declare the destructor
private:
char* _text{nullptr};
};
// Define the constructor
String::String(const char* ch)
{
size_t sizeOfText = strlen(ch) + 1; // +1 to account for trailing NULL
// Dynamically allocate the correct amount of memory.
_text = new char[sizeOfText];
// If the allocation succeeds, copy the initialization string.
if (_text)
{
strcpy_s(_text, sizeOfText, ch);
}
}
// Define the destructor.
String::~String()
{
// Deallocate the memory that was previously reserved for the string.
delete[] _text;
}
int main()
{
String str("We love C++");
}
在前面的示例中,析构函数 String::~String
使用 delete[]
运算符来动态释放为文本存储分配的空间。
声明析构函数
析构函数是具有与类相同的名称但前面是波形符 (~
) 的函数
多个规则管理析构函数的声明。 析构函数:
- 不接受自变量。
- 不返回值(或
void
)。 - 无法声明为
const
、volatile
或static
。 但是,可以为声明为const
、volatile
或static
的对象的析构调用它们。 - 可以声明为
virtual
。 通过使用虚拟析构函数,无需知道对象的类型即可销毁对象—使用虚函数机制调用该对象的正确析构函数。 析构函数也可以声明为抽象类的纯虚函数。
使用构造函数
当下列事件之一发生时,将调用析构函数:
- 具有块范围的本地(自动)对象超出范围。
- 使用
delete
来解除分配使用new
分配的对象。 使用delete[]
会导致未定义的行为。 - 使用
delete[]
来解除分配使用new[]
分配的对象。 使用delete
会导致未定义的行为。 - 临时对象的生存期结束。
- 程序结束,并且存在全局或静态对象。
- 使用析构函数的完全限定名显式调用了析构函数。
析构函数可以随意调用类成员函数和访问类成员数据。
析构函数的使用有两个限制:
不能提取其地址。
派生类不继承其基类的析构函数。
析构的顺序
当对象超出范围或被删除时,其完整析构中的事件序列如下所示:
将调用该类的析构函数,并且会执行该析构函数的主体。
按照非静态成员对象的析构函数在类声明中的显示顺序的相反顺序调用这些函数。 用于这些成员的构造的可选成员初始化列表不影响构造或析构的顺序。
非虚拟基类的析构函数以声明的相反顺序被调用。
虚拟基类的析构函数以声明的相反顺序被调用。
// order_of_destruction.cpp
#include <cstdio>
struct A1 { virtual ~A1() { printf("A1 dtor\n"); } };
struct A2 : A1 { virtual ~A2() { printf("A2 dtor\n"); } };
struct A3 : A2 { virtual ~A3() { printf("A3 dtor\n"); } };
struct B1 { ~B1() { printf("B1 dtor\n"); } };
struct B2 : B1 { ~B2() { printf("B2 dtor\n"); } };
struct B3 : B2 { ~B3() { printf("B3 dtor\n"); } };
int main() {
A1 * a = new A3;
delete a;
printf("\n");
B1 * b = new B3;
delete b;
printf("\n");
B3 * b2 = new B3;
delete b2;
}
A3 dtor
A2 dtor
A1 dtor
B1 dtor
B3 dtor
B2 dtor
B1 dtor
虚拟基类
按照与虚拟基类在定向非循环图形中显示的顺序的相反顺序调用这些虚拟基类的析构函数(深度优先、从左到右、后序遍历)。 下图描述了继承关系图。
五个类(标记为 A 到 E)排列在继承图中。 类 E 是 B、C 和 D 的基类。C 和 D 类是 A 和 B 的基类。
下面列出了图中显示的类的类定义:
class A {};
class B {};
class C : virtual public A, virtual public B {};
class D : virtual public A, virtual public B {};
class E : public C, public D, virtual public B {};
为了确定 E
类型的对象的虚拟基类的析构顺序,编译器将通过应用以下算法来生成列表:
- 向左遍历关系图,并从关系图中的最深点开始(在此示例中,为
E
)。 - 执行左移遍历,直到访问了所有节点。 记下当前节点的名称。
- 重新访问上一个节点(向下并向右)以查明要记住的节点是否为虚拟基类。
- 如果记住的节点是虚拟基类,请浏览列表以查看是否已将其输入。 如果它不是虚拟基类,则将其忽略。
- 如果记住的节点尚未包含在列表中,请将其添加到列表的底部。
- 向上遍历关系图并沿下一个路径向右遍历。
- 转到步骤 2。
- 在用完最后一个向上路径时,请记下当前节点的名称。
- 转到步骤 3。
- 继续执行此过程,直到底部节点再次成为当前节点。
因此,对于 E
类,析构顺序为:
- 非虚拟基类
E
。 - 非虚拟基类
D
。 - 非虚拟基类
C
。 - 虚拟基类
B
。 - 虚拟基类
A
。
此过程将生成唯一项的有序列表。 任何类名均不会出现两次。 在构造列表后,将以相反的顺序遍历该列表,并且将调用列表中每个类(从最后一个到第一个)的析构函数。
如果某个类中的构造函数或析构函数依赖于要先创建或保留更长时间的另一个组件—例如,如果A
的析构函数(上图中所示)依赖于执行其代码时仍存在B
,则构造或析构的顺序特别重要,反之亦然。
继承关系图中各个类之间的这种相互依赖项本质上是危险的,因为稍后派生类可以更改最左边的路径,从而更改构造和析构的顺序。
非虚拟基类
按照相反的顺序(按此顺序声明基类名称)调用非虚拟基类的析构函数。 考虑下列类声明:
class MultInherit : public Base1, public Base2
...
在前面的示例中,先于 Base2
的析构函数调用 Base1
的析构函数。
显式析构函数调用
很少需要显式调用析构函数。 但是,对置于绝对地址的对象进行清理会很有用。 这些对象通常使用采用位置参数的用户定义的 new
运算符进行分配。 delete
运算符不能释放该内存,因为它不是从自由存储区分配的(有关详细信息,请参阅new 和 delete 运算符)。 但是,对析构函数的调用可以执行相应的清理。 若要显式调用 s
类的对象 String
的析构函数,请使用下列语句之一:
s.String::~String(); // non-virtual call
ps->String::~String(); // non-virtual call
s.~String(); // Virtual call
ps->~String(); // Virtual call
可以使用对前面显示的析构函数的显式调用的表示法,无论类型是否定义了析构函数。 这允许您进行此类显式调用,而无需了解是否为此类型定义了析构函数。 显式调用析构函数,其中未定义的析构函数无效。
可靠编程
如果类获得了资源,就需要析构函数,为了安全地管理资源,它可能必须实现复制构造函数和复制赋值。
如果用户未定义这些特殊函数,编译器会对其进行隐式定义。 隐式生成的构造函数和赋值运算符执行浅层的、成员式的复制,如果一个对象管理一个资源,这基本上就可以确定是错的。
在下一个示例中,隐式生成的复制构造函数将使指针 str1.text
和 str2.text
引用同一内存,当我们从 copy_strings()
返回时,该内存将被删除两次,这是未定义的行为:
void copy_strings()
{
String str1("I have a sense of impending disaster...");
String str2 = str1; // str1.text and str2.text now refer to the same object
} // delete[] _text; deallocates the same memory twice
// undefined behavior
显式定义析构函数、复制构造函数或复制赋值运算符可防止对移动构造函数和移动赋值运算符进行隐式定义。 在这种情况下,如果复制成本高昂,通常无法提供移动操作,从而导致错过优化机会。
另请参阅
反馈
https://aka.ms/ContentUserFeedback。
即将发布:在整个 2024 年,我们将逐步淘汰作为内容反馈机制的“GitHub 问题”,并将其取代为新的反馈系统。 有关详细信息,请参阅:提交和查看相关反馈