在C++中，析构器（Destructor）也称为析构函数，它是一种特殊的成员函数，用于在对象销毁时进行资源清理工作。以下是关于C++析构器的详细介绍：
析构函数的特点
- 名称与类名相同，但前面有一个波浪号
~：例如，如果类名为MyClass，那么析构函数的名称就是~MyClass。 - 没有返回类型：和构造函数一样，析构函数也不声明返回类型，甚至连
void也不允许。 - 不接受任何参数：析构函数不能有参数，因此不能被重载。
- 自动调用：当对象的生命周期结束时，析构函数会被自动调用。
析构函数的作用
析构函数主要用于释放对象在其生命周期内所占用的资源，比如动态分配的内存、打开的文件、网络连接等。如果不进行资源清理，可能会导致内存泄漏或其他资源泄漏问题。
示例代码
1. 简单示例
#include <iostream>
class MyClass {
public:
MyClass() {
std::cout << "Constructor called" << std::endl;
}
~MyClass() {
std::cout << "Destructor called" << std::endl;
}
};
int main() {
{
MyClass obj; // 创建对象，调用构造函数
} // 对象的作用域结束，调用析构函数
return 0;
}
代码解释：
- 在
MyClass类中定义了构造函数和析构函数。当在main函数的内部代码块中创建MyClass对象obj时，构造函数会被自动调用。当代码块执行结束，对象obj的生命周期结束，析构函数会被自动调用。
2. 动态内存管理示例
#include <iostream>
class ArrayWrapper {
private:
int* arr;
int size;
public:
ArrayWrapper(int s) : size(s) {
arr = new int[size]; // 动态分配内存
std::cout << "Constructor: Allocated array of size " << size << std::endl;
}
~ArrayWrapper() {
delete[] arr; // 释放动态分配的内存
std::cout << "Destructor: Freed array of size " << size << std::endl;
}
};
int main() {
{
ArrayWrapper wrapper(5); // 创建对象，调用构造函数进行内存分配
} // 对象的作用域结束，调用析构函数释放内存
return 0;
}
代码解释：
ArrayWrapper类的构造函数使用new运算符动态分配了一个整数数组。析构函数使用delete[]运算符释放了这个数组所占用的内存。当wrapper对象的生命周期结束时，析构函数会被自动调用，从而避免了内存泄漏。
析构函数的调用时机
- 对象离开其作用域：当对象在一个代码块中定义，代码块执行结束时，对象的作用域结束，析构函数会被调用。
- 使用
delete运算符删除动态分配的对象：如果使用new运算符动态创建对象，使用delete运算符删除对象时，析构函数会被调用。
#include <iostream>
class MyClass {
public:
~MyClass() {
std::cout << "Destructor called" << std::endl;
}
};
int main() {
MyClass* obj = new MyClass(); // 动态创建对象
delete obj; // 删除对象，调用析构函数
return 0;
}
- 对象是类的成员，类的对象被销毁：如果一个类包含另一个类的对象作为成员，当包含类的对象被销毁时，成员对象的析构函数也会被调用。
#include <iostream>
class InnerClass {
public:
~InnerClass() {
std::cout << "InnerClass destructor called" << std::endl;
}
};
class OuterClass {
private:
InnerClass inner;
public:
~OuterClass() {
std::cout << "OuterClass destructor called" << std::endl;
}
};
int main() {
OuterClass outer; // 创建包含类的对象
// 当 main 函数结束，outer 对象被销毁，先调用 InnerClass 的析构函数，再调用 OuterClass 的析构函数
return 0;
}
注意事项
- 如果类中没有显式定义析构函数，编译器会自动提供一个默认析构函数。默认析构函数不执行任何操作。
- 如果类中涉及动态内存分配或其他资源管理，一定要显式定义析构函数，以确保资源被正确释放。
- 析构函数通常应该是虚函数，特别是在基类中，这样可以确保在通过基类指针删除派生类对象时，派生类的析构函数也能被正确调用，避免资源泄漏。
#include <iostream>
class Base {
public:
virtual ~Base() {
std::cout << "Base destructor called" << std::endl;
}
};
class Derived : public Base {
public:
~Derived() {
std::cout << "Derived destructor called" << std::endl;
}
};
int main() {
Base* ptr = new Derived();
delete ptr; // 由于基类析构函数是虚函数，会先调用 Derived 的析构函数，再调用 Base 的析构函数
return 0;
}
