一,c++函數(shù)的返回分為以下幾種情況
1)主函數(shù)main的返回值:這里提及一點(diǎn),返回0表示程序運(yùn)行成功。
2)返回非引用類(lèi)型:函數(shù)的返回值用于初始化在跳用函數(shù)出創(chuàng)建的臨時(shí)對(duì)象。用函數(shù)返回值初始化臨時(shí)對(duì)象與用實(shí)參初始化形參的方法是一樣 的。如果返回類(lèi)型不是引用,在調(diào)用函數(shù)的地方會(huì)將函數(shù)返回值復(fù)制給臨時(shí)對(duì)象。且其返回值既可以是局部對(duì)象,也可以是求解表達(dá)式的結(jié)果。
3)返回引用:當(dāng)函數(shù)返回引用類(lèi)型時(shí),沒(méi)有復(fù)制返回值。相反,返回的是對(duì)象本身。
二,函數(shù)返回引用
1,當(dāng)函數(shù)返回引用類(lèi)型時(shí),沒(méi)有復(fù)制返回值。相反,返回的是對(duì)象本身。先看兩示例,示例1如下:
const string &shorterString(const string &s1,const string &s2)
{
return s1.size < s2.size ? s1:s2;
}
示例2:
1 ostream &operator<<(ostream &output, const AAA &aaa)
2 {
3 output << aaa.x << ' ' << aaa.y << ' ' << aaa.z << endl;
4 return output;
5 }
形參和返回類(lèi)型都是指向const string對(duì)象的引用,調(diào)用函數(shù)和返回結(jié)果時(shí),都沒(méi)有復(fù)制這些string對(duì)象。
2,返回引用,要求在函數(shù)的參數(shù)中,包含有以引用方式或指針?lè)绞酱嬖诘模枰环祷氐膮?shù)。比如:
1 int& abc(int a, int b, int c, int& result){
2
3 result = a + b + c;
4 return result;
5 }
6
7 這種形式也可改寫(xiě)為:
8
9 int& abc(int a, int b, int c, int *result){
10 *result = a + b + c;
11 return *result;
12 }
但是,如下的形式是不可以的:
1 int& abc(int a, int b, int c){
2 return a + b + c;
3 }
3,千萬(wàn)不要返回局部對(duì)象的引用。當(dāng)函數(shù)執(zhí)行完畢時(shí),將釋放分配給局部對(duì)象的存儲(chǔ)空間。此時(shí),對(duì)局部對(duì)象的引用就會(huì)指向不確定的內(nèi)存。如:
const string &manip(const string &s)
{
string ret =s;
return ret; //wrong:returning reference to a local object
}
4,引用返回左值。返回引用的函數(shù)返回一個(gè)左值。因此這樣的函數(shù)可用于任何要求使用左值的地方。示例見(jiàn):c++ primer p215
5,由于返回值直接指向了一個(gè)生命期尚未結(jié)束的變量,因此,對(duì)于函數(shù)返回值(或者稱(chēng)為函數(shù)結(jié)果)本身的任何操作,都在實(shí)際上,是對(duì)那個(gè)變量的操作,這就是引入const類(lèi)型的返回的意義。當(dāng)使用了const關(guān)鍵字后,即意味著函數(shù)的返回值不能立即得到修改!如下代碼,將無(wú)法編譯通過(guò),這就是因?yàn)榉祷刂盗⒓催M(jìn)行了++操作(相當(dāng)于對(duì)變量z進(jìn)行了++操作),而這對(duì)于該函數(shù)而言,是不允許的。如果去掉const,再行編譯,則可以獲得通過(guò),并且打印形成z = 7的結(jié)果。
include <iostream>
include <cstdlib>
const int& abc(int a, int b, int c, int& result){
result = a + b + c;
return result;
}
int main() {
int a = 1; int b = 2; int c=3;
int z;
abc(a, b, c, z)++; //wrong: returning a const reference
cout << "z= " << z << endl;
SYSTEM("PAUSE");
return 0;
}
三,思考:
1,什么時(shí)候返回引用是正確的?而什么時(shí)候返回const引用是正確的?
返回指向函數(shù)調(diào)用前就已經(jīng)存在的對(duì)象的引用是正確的。當(dāng)不希望返回的對(duì)象被修改時(shí),返回const引用是正確的。
本文來(lái)自CSDN博客,轉(zhuǎn)載請(qǐng)標(biāo)明出處:http://blog.csdn.net/keyouan2008/archive/2010/07/17/5741917.aspx
源代碼如下
# include <stdio.h>
int testA (void)
{
int b = 1 ;
return b ;
}
char * testB (void)
{
char str[] = "abc " ;
return str ;
}
int main()
{
printf( " the value of testA is %d \n ", testA() ) ;
printf( " the value of testB is %c ", *( testB() ) ) ;
}
問(wèn)題1 :
根據(jù)《高質(zhì)量c編程》里所說(shuō),testB函數(shù)返回了一個(gè)臨時(shí)指針,因?yàn)楹瘮?shù)結(jié)束時(shí),該指針會(huì)被銷(xiāo)毀,因此這里的返回語(yǔ)句是錯(cuò)誤的,我用vc6編譯時(shí)的確也收到了警告,但是為什么build還是能通過(guò)呢?而且為什么運(yùn)行時(shí)也沒(méi)有任何問(wèn)題,正確返回 'a '這個(gè)值。我的理解是運(yùn)行時(shí)return還是返回了一個(gè)指向棧的指針,并且這段內(nèi)存暫時(shí)還沒(méi)有被其他的數(shù)據(jù)所覆蓋,因此能夠正確返回 'a '這個(gè)值,但是如果程序中又多次調(diào)用其他函數(shù)并占據(jù)了該內(nèi)存,那么就會(huì)得到其他的數(shù)據(jù)而不是 'a '了,是不是這樣理解呢?
問(wèn)題2 :
同樣testB里也是返回一個(gè)臨時(shí)值b,但是為什么這樣是完全可行的呢?因?yàn)椴皇且粋€(gè)地址?不知道return的返回機(jī)制是怎么樣的,請(qǐng)各位幫我解釋一下,謝謝
answer:
C里面的return val都是傳回一個(gè)值,你不可能得到val這個(gè)變量,所有修改作用于接收val的那個(gè)對(duì)象;C++里面返回引用就不一樣了,返回的就是原來(lái)的對(duì)象,所有修改都作用于val 。
而指針和引用非常相似,通過(guò)指針可以操縱原來(lái)的對(duì)象,所以返回一個(gè)不存在的對(duì)象的指針時(shí)不正確的。但是作為邏輯上講,返回一個(gè)指針的值并沒(méi)有錯(cuò)誤,無(wú)論這個(gè)指針指向的是什么位置。
對(duì)于返回值的情況:
testA與main函數(shù)同在棧區(qū),testA結(jié)束時(shí)C++創(chuàng)建臨時(shí)變量,然后將返回值復(fù)制給該臨時(shí)
變量。
printf( " the value of testA is %d \n ", testA() ) 時(shí)輸出的是該臨時(shí)變量的值,testA中的b已經(jīng)不存在。
對(duì)于返回指針的情況:
這是最復(fù)雜的部分。首先,對(duì)于上面的情形:返回一個(gè)數(shù)組的首地址,由于是返回char * 類(lèi)型,所以C++會(huì)首先創(chuàng)建一個(gè)char *類(lèi)型的臨時(shí)變量,再把該數(shù)組的首地址賦給臨時(shí)變量;
函數(shù)結(jié)束后該數(shù)組也就被銷(xiāo)毀,這就意味著臨時(shí)變量指向了一個(gè)“未聲明的地址”,幸運(yùn)的情況下,這段內(nèi)存暫時(shí)還沒(méi)有被其他的數(shù)據(jù)所覆蓋,因此還能輸出正確的內(nèi)容。
在testB里面,如果換成char* str= "abc ";return str; 由于這時(shí)str指向的是全局?jǐn)?shù)據(jù)區(qū) 的一段內(nèi)存地址,所以函數(shù)結(jié)束后臨時(shí)變量也指向該地址,所以編譯器不會(huì)提出警告。但這樣 的方法是不推薦的。
返回引用:
這中情況的效率最高,它直接返回一個(gè)對(duì)象,不產(chǎn)生返回值的副本。但同時(shí)也要注意避免 返回局部引用的情況。
聯(lián)系客服