快捷導(dǎo)航

C++淺析析構(gòu)函數(shù)的特征

更新時(shí)間：2022年07月08日 08:52:26 作者：幻荼

既然在創(chuàng)建對(duì)象時(shí)有構(gòu)造函數(shù)（給成員初始化），那么在銷毀對(duì)象時(shí)應(yīng)該還有一個(gè)清除成員變量數(shù)據(jù)的操作咯，析構(gòu)函數(shù)與構(gòu)造函數(shù)功能相反，析構(gòu)函數(shù)不是完成對(duì)象的銷毀，局部對(duì)象銷毀工作是由編譯器完成的。而對(duì)象在銷毀時(shí)會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù)，完成類的一些資源清理工作

定義

析構(gòu)函數(shù)：與構(gòu)造函數(shù)功能相反，析構(gòu)函數(shù)不是完成對(duì)象的銷毀，局部對(duì)象銷毀工作是由編譯器完成的。而對(duì)象在銷毀時(shí)會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù)，完成類的一些資源清理工作

特征

1. 析構(gòu)函數(shù)名是在類名前加上字符 ~。

2. 無(wú)參數(shù)無(wú)返回值。

3. 一個(gè)類有且只有一個(gè)析構(gòu)函數(shù)。若未顯式定義，系統(tǒng)會(huì)自動(dòng)生成默認(rèn)的析構(gòu)函數(shù)。

4. 對(duì)象生命周期結(jié)束時(shí)，C++編譯系統(tǒng)系統(tǒng)自動(dòng)調(diào)用析構(gòu)函數(shù)

舉一個(gè)例子，大家來(lái)看下面的代碼

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來(lái)釋放空間。

而在實(shí)際操作當(dāng)中，我們有時(shí)候會(huì)忽略free，而直接運(yùn)行代碼。

所以為了方便我們使用，這里的析構(gòu)函數(shù)，相當(dāng)于程序自動(dòng)幫你補(bǔ)了一個(gè)free出來(lái)。

具體代碼：

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;
};

編譯器生成的默認(rèn)析構(gòu)函數(shù)

編譯器默認(rèn)生成的析構(gòu)函數(shù)能做些什么工作呢？我們前面已經(jīng)介紹了編譯器生成的構(gòu)造函數(shù)會(huì)去只會(huì)處理自定義類型的成員變量，那么析構(gòu)既然和構(gòu)造相對(duì)應(yīng)，析構(gòu)也應(yīng)該是只去處理自定義類型的成員變量吧，確實(shí)如此，析構(gòu)函數(shù)不會(huì)對(duì)內(nèi)置類型有任何處理，只會(huì)在調(diào)用自身的析構(gòu)后再去調(diào)用自定義類型成員的析構(gòu)。

關(guān)于編譯器自動(dòng)生成的析構(gòu)函數(shù)，下面的程序我們會(huì)看到，編譯器生成的析構(gòu)函數(shù)，會(huì)對(duì)自定類型成員調(diào)用它的析構(gòu)函數(shù)。

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;
}

輸出：

默認(rèn)生成的析構(gòu)函數(shù)對(duì)成員變量的處理

內(nèi)置類型不處理；
自定義類型成員調(diào)用相應(yīng)的析構(gòu)函數(shù)；

那成員變量中的內(nèi)置類型處不處理其實(shí)都無(wú)所謂嘛，反正都要?dú)w還給操作系統(tǒng)，但是有例外：

如果成員變量含有指針，并且指針指向一塊我們正使用的空間，指針也是內(nèi)置類型，那如果不釋放指針指向的那塊空間就會(huì)造成內(nèi)存泄漏，而編譯器生成的析構(gòu)函數(shù)是不會(huì)處理此情況的，因?yàn)樾枰覀冊(cè)谖鰳?gòu)函數(shù)中主動(dòng)釋放內(nèi)存，也就是說(shuō)需要我們顯式的去定義析構(gòu)函數(shù)。

class Stack
{
public:
	Stack(int capacity = 4)
		:
		_size(0),
		_capacity(capacity),
		_p(new int[_capacity])//使用new去申請(qǐng)內(nèi)存
	{
		cout << "Stack(int capacity = 4)" << endl;
	}
	~Stack()
	{
		cout << "~Stack()" << endl;
		if (_p)
		{
			delete[](_p);//釋放內(nèi)存
            _p = nullptr;
		}
		_size = _capacity = 0;
	}
private:	
	int _capacity;
	int _size;
	int* _p;
};
int main()
{
	Stack s;
	return 0;//程序結(jié)束，調(diào)用s的析構(gòu)函數(shù)
}

析構(gòu)函數(shù)無(wú)論是我們顯式定義的還是編譯器生成的，都會(huì)在對(duì)象的聲明周期結(jié)束時(shí)自動(dòng)調(diào)用，并且會(huì)調(diào)用自定義類型成員變量的析構(gòu)函數(shù)來(lái)釋放資源，而對(duì)內(nèi)置類型不做處理。

可以不顯式定義析構(gòu)函數(shù)的情況