析构函数的基本概念
什么是析构函数
析构函数（destructor）是一种特殊的成员函数，与构造函数功能相反。当对象结束其生命周期时（如对象所在的函数已调用完毕），系统会自动执行析构函数。析构函数主要完成'清理善后'工作，例如释放对象在生命周期中申请的资源。
析构函数的声明与定义
在 C++ 中，析构函数的声明和定义遵循特定语法规则：
class ClassName {
public:
~ClassName(); // 析构函数声明
};
ClassName::~ClassName() {
// 析构函数定义（函数体）
}
析构函数的名称为类名前加波浪符（~），没有返回值类型，也不接受任何参数。
析构函数的特性与工作原理
核心特性
析构函数具有以下关键特性：
- 与类名相同：在名称前加波浪符（~）以区别于构造函数
- 无参数无返回值：不能带任何参数，也没有返回值（包括 void 类型）
- 不可重载：每个类只能有一个析构函数
- 自动调用：由系统在对象销毁时自动执行，不能手动调用
默认析构函数
如果用户没有显式定义析构函数，编译系统会自动生成一个缺省的析构函数。这个默认析构函数不执行任何操作，仅提供基本的对象销毁机制。
值得注意的是，即使自定义了析构函数，编译器也总是会为我们合成一个析构函数。如果自定义了析构函数，编译器在执行时会先调用自定义的析构函数，再调用合成的析构函数。
析构函数的调用时机
析构函数在以下情况下会被自动调用：
- 局部对象：当函数执行结束，局部对象离开其作用域时
- 全局对象：程序结束时，全局对象和静态对象的析构函数被调用
- 动态分配的对象：使用
delete运算符释放对象时 - 临时对象：临时对象完成其使命后
析构函数的实际应用
资源管理
析构函数最常见的用途是释放对象在生命周期中申请的资源，如动态内存、文件句柄、网络连接等。
示例：
#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
student1.display(); // 输出：Name: Alice, Age: 20
} // student1 的作用域结束，析构函数会被调用
{
Student student2("Bob", 22); // 创建另一个对象 student2
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 可以自动管理资源释放，减少手动析构的负担。
典型应用场景总结
下表总结了析构函数的主要应用场景：
| 场景类型 | 描述 | 示例 |
|---|---|---|
| 动态内存管理 | 释放对象内部动态申请的内存 | delete[] ptr; |
| 资源释放 | 关闭文件、释放锁、断开网络连接等 | fclose(file); |
| 日志记录 | 对象销毁时记录日志信息 | 输出调试信息 |
| 引用计数管理 | 减少共享资源的引用计数 | --ref_count; |
