C++函數(shù)返回值與拷貝

先來談?wù)剬++中函數(shù)返回return的理解，自己本來在學(xué)Java，但是平時學(xué)校的項目是用的C++，所以在平時搬磚時經(jīng)常會有一些問題，今天就來談?wù)勄岸螘r間注意到的一個很小的知識點，話不多說，先上列子。

首先我們創(chuàng)建一個簡單的Man類，實現(xiàn)它的無參構(gòu)造函數(shù)、有參構(gòu)造函數(shù)和析構(gòu)函數(shù)：

class Man
{
public:
	Man() {
		cout << "構(gòu)造" << endl;
		data = new int(0); }

	Man(const Man& m)
	{
		cout << "拷貝構(gòu)造" << endl;
		this->data = m.data;
	}
	
	~Man() 
	{ 
		cout << "析構(gòu)" << endl;
		delete data; 
	}
	
	int* data;
};

聲明一個get函數(shù)獲取一個Man的對象

Man get(Man& m)
{
	cout << "----" << endl;
	return m;
}

在main函數(shù)中執(zhí)行下列代碼

 void main()
{
		Man m, n;
		//cout << "before m=" << &m << "n=" << &n << endl;
		*m.data = 5;
		printf("m.data is %d\n", *m.data);
		n = get(m); 

		printf("m.data is %d\n", *m.data);
		printf("n.data is %d\n", *n.data);
	
	    system("pause");
	    }

你可以試著想一想三個printf的輸出結(jié)果分別是多少

執(zhí)行結(jié)果如下圖所示：

在輸出結(jié)果里我們可以清楚的看到，Man m, n; 創(chuàng)建了m，n兩個對象，調(diào)用了構(gòu)造函數(shù)，對m對象中的data賦值，然后我們調(diào)用get(Man& man) 函數(shù)，注意這里函數(shù)參數(shù)是引用類型，因此傳入的對象是m對象本身，這里我們要區(qū)別get(Man man) 兩種函數(shù)參數(shù)類型的區(qū)別，我稍后再提。get(Man& man) 函數(shù)調(diào)用完畢后，返回對象m。

按照我們過去的分析會認(rèn)為對象n等于get函數(shù)返回的m對象 （n=m） （注意這里等號=被重載過），m對象中的int* data 成員值直接賦值給了n對象中的data成員，輸出時照理說m和n的data值都應(yīng)該等于5的，但是：

為什么這里輸出結(jié)果卻表明這個data指針指向的空間被銷毀了？

為什么get函數(shù)執(zhí)行里會多出了拷貝構(gòu)造和析構(gòu)這兩個過程呢？

如果我們返回值為Man&會有什么區(qū)別變化呢？

這里我們做一個對比，填加一個getR函數(shù)，返回值為Man& 引用類型：

Man& getR(Man& m)
{?
? ? cout << "----" << endl;
?? ?return m;
}

接下來我們調(diào)用getR這個函數(shù)看一看輸出結(jié)果：

void main()
{
?? ??? ?Man m, n;
?? ??? ?*m.data = 5;
?? ??? ?printf("m.data is %d\n", *m.data);
?? ??? ?n = getR(m);
?? ??? ?
?? ??? ?printf("m.data is %d\n", *m.data);
?? ??? ?printf("n.data is %d\n", *n.data);
?? ??? ?
?? ? ? ?system("pause");
?? ? ? ?}

執(zhí)行結(jié)果如下圖所示： 

執(zhí)行結(jié)果如下圖所示：

可以看到，當(dāng)我們返回的是m對象的的引用時，getR 函數(shù)執(zhí)行時沒有調(diào)用拷貝構(gòu)造和析構(gòu)函數(shù)

這里我解釋一下返回值不是引用的情況時整個函數(shù)執(zhí)行的過程

（個人拙劣的理解）

我們再回到get這個函數(shù)：

Man get(Man& m)
{
	cout << "----" << endl;
	return m;
}

首先函數(shù)參數(shù)傳入m這個對象的引用我們毋庸置疑，關(guān)鍵就在return這里。

我們捋一捋函數(shù)從開始到結(jié)束這個過程，隨著Main函數(shù)調(diào)用get函數(shù)，get函數(shù)入棧，同時get方法對應(yīng)的棧幀（儲存函數(shù)局部變量、返回地址等信息）也入棧，這里的局部變量也就是m對象的引用。

當(dāng)我們return這個m對象時，會在內(nèi)存中創(chuàng)建一個臨時的Man temp對象，同時這個temp對象調(diào)用其拷貝構(gòu)造函數(shù)，也就是Man temp(m) 。

完成temp對象的創(chuàng)建后，get函數(shù)出棧，對應(yīng)的棧區(qū)內(nèi)容被銷毀，這時系統(tǒng)會調(diào)用m對象的析構(gòu)函數(shù)，注意這里有一個陷阱?。。?！

由于m對象是在main方法下的棧區(qū)創(chuàng)建的，因此get方法出棧后，系統(tǒng)調(diào)用m析構(gòu)函數(shù)并沒有真正把m對象在棧區(qū)銷毀（因為它根本就不是在get方法的棧區(qū)上），調(diào)用析構(gòu)函數(shù)僅僅是將data指針?biāo)赶虻膬?nèi)存空間被銷毀了（delete data;），這也解釋了為什么m.data的值為-572662307。

當(dāng)main方法執(zhí)行完畢后，m對象才會調(diào)用析構(gòu)函數(shù)真正被銷毀，當(dāng)然，這也會帶來另一個問題，data指向的內(nèi)存區(qū)被執(zhí)行了兩次delete，運行結(jié)束后你也就會發(fā)現(xiàn)還會有一個**“析構(gòu)”**和一個內(nèi)存問題報錯。

回到我們返回的值上：

n = get(m); 

這里實際上可以理解成

Man temp(m);
n=temp；

當(dāng)然由于get函數(shù)的退出調(diào)用析構(gòu)函數(shù)時，data指針指向的內(nèi)存區(qū)域數(shù)據(jù)已經(jīng)被銷毀，自然n和m得到的值是一個錯誤值了。

總結(jié)

對于函數(shù)返回值類型為非引用類型（當(dāng)然引用類型也可以理解為Man& temp=m），都是會在內(nèi)存中創(chuàng)建一個臨時變量，將返回值拷貝到臨時變量中，而返回值是作為函數(shù)調(diào)用棧區(qū)中的局部變量，隨著函數(shù)的返回，棧區(qū)的銷毀，而被銷毀。

以上為個人經(jīng)驗，希望能給大家一個參考，也希望大家多多支持腳本之家。

最新評論