C++的參數(shù)傳遞機(jī)制
C++一共有三種傳遞方式:值傳遞(pass by value)、指針傳遞(pass by pointer)、引用傳遞(pass by reference)。
關(guān)鍵點(diǎn):在函數(shù)中,編譯器總是要為函數(shù)的每個(gè)參數(shù)制作臨時(shí)副本。引用傳遞除外。
一.值傳遞。值傳遞很簡(jiǎn)單。唯一要注意的就是當(dāng)值傳遞的
輸入?yún)?shù)是
用戶自定義類(lèi)型時(shí),最好用引用傳遞代替,并加上const關(guān)鍵字。因?yàn)橐脗鬟f省去了臨時(shí)對(duì)象的構(gòu)造和析構(gòu)(見(jiàn)
關(guān)鍵點(diǎn))。
數(shù)據(jù)類(lèi)型為內(nèi)部類(lèi)型時(shí),不必。
例如:
將void Func(A a) 改為void Func(const A &a);
而void Func(int a)就沒(méi)必要改成void Func(const int &a)。
二.指針傳遞。今天之所以會(huì)花時(shí)間參閱C++的參數(shù)傳遞機(jī)制,就是因?yàn)閷?duì)指針傳遞這一部分的應(yīng)用出了問(wèn)題。
例如:
在下面的getMemory函數(shù)中獲得動(dòng)態(tài)內(nèi)存分配的指針p,并未能將獲得的內(nèi)存返回。
void getMemory(char *p, int num)
{
p = new char[num];
}
void Test(void)
{
char *str = NULL;
getMemory(str, 100); // str 仍然為 NULL
strcpy(str, "hello"); // 運(yùn)行出錯(cuò)
delete [] p;
}
出錯(cuò)的原因就是在于上面提到的
關(guān)鍵點(diǎn)。
編譯器總是要為函數(shù)的每個(gè)參數(shù)制作臨時(shí)副本,指針參數(shù)p的副本是 _p,編譯器使 _p = p。如果函數(shù)體內(nèi)的程序修改了_p的內(nèi)容,就導(dǎo)致參數(shù)p的內(nèi)容作相應(yīng)的修改。這就是指針可以用作輸出參數(shù)的原因。
而在上例中,
副本_p申請(qǐng)了新的內(nèi)存,只是把 _p所指的內(nèi)存地址改變了,但是p絲毫未變。所以函數(shù)getMemory并不能輸出任何東西。并且,每執(zhí)行一次getMemory就會(huì)泄露一塊內(nèi)存,因?yàn)闆](méi)有用free釋放內(nèi)存。
解決方法有三種:
甲)利用全局變量。
定義一個(gè)全局變量str,這樣就不用把它作為參數(shù)來(lái)傳遞,也就不會(huì)有副本 _str。
char *str = NULL;
void getMemory(int num)
{
str = new char[num];
}
乙)用“指向指針的指針”。
void getMemory(char **p, int num)
{
*p = new char[num];
}
void Test(void)
{
char *str = NULL;
getMemory(&str, 100); // 注意參數(shù)是 &str,而不是str
strcpy(str, "hello");
cout<< str << endl;
delete [] str;
}
丙)返回指針變量
char *getMemory(int num)
{
char *p = new char[num];
return p;
}
void Test(void)
{
char *str = NULL;
str = getMemory(100);
strcpy(str, "hello");
cout<< str << endl;
delete [] str;
}
三.引用傳遞。引用傳遞時(shí),對(duì)形參的操作等同于對(duì)實(shí)參的操作,即傳遞的不會(huì)是實(shí)參的副本,而就是實(shí)參。
C++區(qū)別于C的一個(gè)新增優(yōu)勢(shì)。雖然用&作為標(biāo)識(shí)符,但是跟指針一點(diǎn)關(guān)系都沒(méi)有。
int &a=b表示,a和b是同一個(gè)變量。簡(jiǎn)單地說(shuō),相當(dāng)于一個(gè)別名,如:Stephen Chow和周星馳。
當(dāng)作為參數(shù)傳遞時(shí),它省去了臨時(shí)對(duì)象的構(gòu)造和析構(gòu)。
用法如下:
Func(int &a)
{
a++;
}
void Test(void)
{
int i;
Func(i);
}