C++超詳細(xì)講解析構(gòu)函數(shù)

更新時(shí)間：2022年06月02日 08:36:40 作者：iheal

既然在創(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ù)是特殊的成員函數(shù)

特征如下：

析構(gòu)函數(shù)名是~類名；
無(wú)參數(shù)無(wú)返回值；
一個(gè)類有且只有一個(gè)析構(gòu)函數(shù)；
對(duì)象聲明周期結(jié)束，編譯器自動(dòng)調(diào)用析構(gòu)函數(shù)；

class Stack
{
public:
	Stack(int capacity = 4)
		:
		_size(0),
		_capacity(capacity),
		_p(new int[_capacity])
	{
		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;//程序結(jié)束，調(diào)用s的析構(gòu)函數(shù)
}

輸出：

析構(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;
	}
	~Person()
	{
		cout << "~Person()" << endl;
	}
private:
	String _name;
	int _age;
};
int main()
{
	Person p;
	return 0;
}

輸出：

析構(gòu)函數(shù)在程序即將結(jié)束時(shí)，調(diào)用了Person的析構(gòu)函數(shù)，在Person類的析構(gòu)函數(shù)即將結(jié)束接著調(diào)用String類的析構(gòu)函數(shù)。

歸納一下：

析構(gòu)函數(shù)是與構(gòu)造函數(shù)執(zhí)行相反的操作的，構(gòu)造函數(shù)負(fù)責(zé)給對(duì)象成員變量初始化并加載資源，而析構(gòu)函數(shù)則是給對(duì)象的成員變量清理資源，而不是清理對(duì)象本身。

編譯器生成的默認(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ù)的情況