【C++】 析构函数

析构函数的基本概念

什么是析构函数

析构函数（destructor）是一种特殊的成员函数，与构造函数功能相反。当对象结束其生命周期时（如对象所在的函数已调用完毕），系统会自动执行析构函数。析构函数主要完成"清理善后"工作，例如释放对象在生命周期中申请的资源。

析构函数的声明与定义

在C++中，析构函数的声明和定义遵循特定语法规则：

class ClassName {
public:
~ClassName(); // 析构函数声明
};

ClassName::~ClassName() {
// 析构函数定义（函数体）
}

析构函数的名称为类名前加波浪符（~），没有返回值类型，也不接受任何参数。

析构函数的特性与工作原理

核心特性

析构函数具有以下关键特性：

• 与类名相同​​：在名称前加波浪符（~）以区别于构造函数
• ​​无参数无返回值​​：不能带任何参数，也没有返回值（包括void类型）
• ​​不可重载​​：每个类只能有一个析构函数
• ​​自动调用​​：由系统在对象销毁时自动执行，不能手动调用

默认析构函数

如果用户没有显式定义析构函数，编译系统会自动生成一个缺省的析构函数。这个默认析构函数不执行任何操作，仅提供基本的对象销毁机制。

值得注意的是，即使自定义了析构函数，编译器也总是会为我们合成一个析构函数。如果自定义了析构函数，编译器在执行时会先调用自定义的析构函数，再调用合成的析构函数。

析构函数的调用时机

析构函数在以下情况下会被自动调用：

析构函数的实际应用

资源管理

析构函数最常见的用途是释放对象在生命周期中申请的资源，如动态内存、文件句柄、网络连接等。
示例

#include <iostream>
#include <cstring>

class Student
{
public:
// 默认构造函数
Student(const char *name, int age)
{
// 动态分配内存并复制字符串
this->name = new char[strlen(name) + 1];
strcpy(this->name, name);
this->age = age;
}

// 析构函数
~Student()
{
std::cout << "Destructor called for: " << name << std::endl;
delete[] name; // 释放动态分配的内存
}

// 显示学生信息
void display() const
{
std::cout << "Name: " << name << ", Age: " << age << std::endl;
}

private:
char *name; // 动态分配的字符串
int age;
};

int main()
{
{
Student student1("Alice", 20); // 创建一个对象
student1.display(); // 输出: Name: Alice, Age: 20
} // student1的作用域结束，析构函数会被调用

{
Student student2("Bob", 22); // 创建另一个对象
student2.display(); // 输出: Name: Bob, Age: 22
} // student2的作用域结束，析构函数会被调用

return 0;
}

这种资源管理方式是C++中RAII（Resource Acquisition Is Initialization）理念的核心实践，确保资源在使用完毕后被正确释放。

析构顺序

多个对象的析构函数调用顺序与构造函数调用顺序相反：​​最先构造的对象最后被析构​​，最后构造的对象最先被析构。

具体来说：

• ​​全局对象​​：在所有函数（包括main函数）执行之前构造，在main函数结束或调用exit函数时析构
• ​​局部自动对象​​：在建立对象时调用构造函数，函数调用结束时调用析构函数
• ​​静态局部对象​​：在程序第一次调用函数建立对象时调用构造函数，在main函数结束或调用exit函数时析构

重要注意事项与性能考量

析构函数的异常处理

析构函数不应抛出异常。如果析构函数中可能发生异常，必须在析构函数内部捕获并处理它们，避免异常传播到析构函数外部。因为当析构函数向外抛出异常时，将直接调用terminate()系统函数终止程序执行。

性能优化考虑

​​平凡析构函数的优化​​：对于简单的类（仅包含基本类型成员），不定义析构函数或使用= default语法可以让编译器进行更多优化。

​​避免不必要的析构调用​​：注意隐式拷贝和类型转换可能导致的不必要析构调用，例如在循环中使用适当类型的引用避免拷贝：

// 不推荐 – 可能引起不必要的拷贝和析构
for(std::string s: vec) { ... }

// 推荐 – 使用引用避免不必要的拷贝和析构
for(const std::string& s: vec) { ... }

​​智能指针的使用​​：合理使用std::unique_ptr和std::shared_ptr可以自动管理资源释放，减少手动析构的负担。

典型应用场景总结

下表总结了析构函数的主要应用场景：