【C++】 析构函数

析构函数的基本概念

什么是析构函数

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

析构函数的声明与定义

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

classClassName{public:~ClassName();// 析构函数声明};ClassName::~ClassName(){// 析构函数定义（函数体）}

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

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

核心特性

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

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

默认析构函数

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

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

析构函数的调用时机

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

1. ​​局部对象​​：当函数执行结束，局部对象离开其作用域时
2. ​​全局对象​​：程序结束时，全局对象和静态对象的析构函数被调用
3. ​​动态分配的对象​​：使用delete运算符释放对象时
4. ​​临时对象​​：临时对象完成其使命后

析构函数的实际应用

资源管理

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

#include<iostream>#include<cstring>classStudent{public:// 默认构造函数Student(constchar*name,int age){// 动态分配内存并复制字符串this->name =newchar[strlen(name)+1];strcpy(this->name, name);this->age = age;}// 析构函数~Student(){ std::cout <<"Destructor called for: "<< name << std::endl;delete[] name;// 释放动态分配的内存}// 显示学生信息voiddisplay()const{ std::cout <<"Name: "<< name <<", Age: "<< age << std::endl;}private:char*name;// 动态分配的字符串int age;};intmain(){{ Student student1("Alice",20);// 创建一个对象 student1.display();// 输出: Name: Alice, Age: 20}// student1的作用域结束，析构函数会被调用{ Student student2("Bob",22);// 创建另一个对象 student2.display();// 输出: Name: Bob, Age: 22}// student2的作用域结束，析构函数会被调用return0;}

这种资源管理方式是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可以自动管理资源释放，减少手动析构的负担。

典型应用场景总结

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