C++浅析析构函数的特征_C/C++

C++浅析析构函数的特征

2023-02-24 15:42幻荼 C/C++

既然在创建对象时有构造函数（给成员初始化），那么在销毁对象时应该还有一个清除成员变量数据的操作咯，析构函数与构造函数功能相反，析构函数不是完成对象的销毁，局部对象销毁工作是由编译器完成的。而对象在销毁时

定义

析构函数：与构造函数功能相反，析构函数不是完成对象的销毁，局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数，完成类的一些资源清理工作

特征

1. 析构函数名是在类名前加上字符 ~。

2. 无参数无返回值。

3. 一个类有且只有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。

4. 对象生命周期结束时，C++编译系统系统自动调用析构函数

举一个例子，大家来看下面的代码

typedef int DataType;
class SeqList
{
public:
	SeqList(int capacity = 10)
	{
		_pData = (DataType*)malloc(capacity * sizeof(DataType));
		assert(_pData);
		_size = 0;
		_capacity = capacity;
	}
private:
	int* _pData;
	size_t _size;
	size_t _capacity;
};

我们都知道一般malloc了空间之后，我们都需要用free来释放空间。

而在实际操作当中，我们有时候会忽略free，而直接运行代码。

所以为了方便我们使用，这里的析构函数，相当于程序自动帮你补了一个free出来。

具体代码：

typedef int DataType;
class SeqList
{
public:
	SeqList(int capacity = 10)
	{
		_pData = (DataType*)malloc(capacity * sizeof(DataType));
		assert(_pData);
		_size = 0;
		_capacity = capacity;
	}
	~SeqList()
	{
		if (_pData)
		{
			free(_pData); // 释放堆上的空间
			_pData = NULL; // 将指针置为空
			_capacity = 0;
			_size = 0;
		}
	}
private:
	int* _pData;
	size_t _size;
	size_t _capacity;
};

C++浅析析构函数的特征

编译器生成的默认析构函数

编译器默认生成的析构函数能做些什么工作呢？我们前面已经介绍了编译器生成的构造函数会去只会处理自定义类型的成员变量，那么析构既然和构造相对应，析构也应该是只去处理自定义类型的成员变量吧，确实如此，析构函数不会对内置类型有任何处理，只会在调用自身的析构后再去调用自定义类型成员的析构。

关于编译器自动生成的析构函数，下面的程序我们会看到，编译器生成的析构函数，会对自定类型成员调用它的析构函数。

class String
{
public:
	String(const char* str = "songxin")
	{
		cout << "String(const char* str = \"songxin\")" << endl;
		_str = (char*)malloc(strlen(str) + 1);
		strcpy(_str, str);
	}
	~String()
	{
		cout << "~String()" << endl;
		free(_str);
		_str = nullptr;
	}
private:
	char* _str;
};
class Person
{
public:
	Person()
		:
		_age(20),
		_name()
	{
		cout << "Person()" << endl;
	}
	
private:
	String _name;
	int _age;
};
int main()
{
	Person p;
	return 0;
}

输出：

C++浅析析构函数的特征

默认生成的析构函数对成员变量的处理

内置类型不处理；
自定义类型成员调用相应的析构函数；

那成员变量中的内置类型处不处理其实都无所谓嘛，反正都要归还给操作系统，但是有例外：

C++浅析析构函数的特征

如果成员变量含有指针，并且指针指向一块我们正使用的空间，指针也是内置类型，那如果不释放指针指向的那块空间就会造成内存泄漏，而编译器生成的析构函数是不会处理此情况的，因为需要我们在析构函数中主动释放内存，也就是说需要我们显式的去定义析构函数。

class Stack
{
public:
	Stack(int capacity = 4)
		:
		_size(0),
		_capacity(capacity),
		_p(new int[_capacity])//使用new去申请内存
	{
		cout << "Stack(int capacity = 4)" << endl;
	}
	~Stack()
	{
		cout << "~Stack()" << endl;
		if (_p)
		{
			delete[](_p);//释放内存
          _p = nullptr;
		}
		_size = _capacity = 0;
	}
private:	
	int _capacity;
	int _size;
	int* _p;
};
int main()
{
	Stack s;
	return 0;//程序结束，调用s的析构函数
}

析构函数无论是我们显式定义的还是编译器生成的，都会在对象的声明周期结束时自动调用，并且会调用自定义类型成员变量的析构函数来释放资源，而对内置类型不做处理。

可以不显式定义析构函数的情况