1、引用的基本作用是給變量起別名;
2、引用必須初始化,引用在初始化后,不可以改變;
3、函數(shù)傳參時(shí),(形參是對(duì)象時(shí),不會(huì)調(diào)用拷貝構(gòu)造)且可通過形參修改實(shí)參;
4、引用的本質(zhì)在c++內(nèi)部實(shí)現(xiàn)是一個(gè)指針常量。
在運(yùn)算符重載時(shí),允許進(jìn)行連續(xù)賦值,如連續(xù)賦值 = += -= *= 、=,<<輸出流,需要返回引用對(duì)象。
一、返回對(duì)象與返回對(duì)象引用的區(qū)別
1、返回對(duì)象
class MyString
{
public:
.....
MyString operator=(cosnt Widget& rhs)
{
...
return* this;
}
};
返回對(duì)象時(shí),系統(tǒng)會(huì)調(diào)用拷貝構(gòu)造,構(gòu)造一個(gè)匿名的對(duì)象作為返回。
當(dāng)s1=s2=s3時(shí),賦值流程為:
先s2=s3,使得s2的值等于s3;
接著在return *this時(shí),拷貝構(gòu)造s2,生成一個(gè)匿名對(duì)象;
最后s1 = 匿名對(duì)象,匿名對(duì)象析構(gòu)。
最終實(shí)現(xiàn)效果為s1、s2、s3都相等
當(dāng)(s1=s2)=s3時(shí),賦值流程為:
先s1=s2,使得s1的值等于s2;
接著在return *this時(shí),拷貝構(gòu)造s1,生成一個(gè)匿名對(duì)象;
最后 匿名對(duì)象 = s3,匿名對(duì)象析構(gòu)。
最終實(shí)現(xiàn)效果為s1、s2相等,但s1=s3的賦值無法實(shí)現(xiàn),
所以(s1=s2)=s3不成功。
2、返回對(duì)象引用
class MyString
{
public:
.....
MyString& operator=(cosnt Widget& rhs)
{
...
return* this;
}
};
返回對(duì)象引用時(shí),系統(tǒng)不會(huì)調(diào)用拷貝構(gòu)造,節(jié)省資源,提高程序運(yùn)行效率。
當(dāng)s1=s2=s3時(shí),賦值流程為:
先s2=s3,使得s2的值等于s3;
接著return *this的引用,即s2的引用作為返回;
最后s1 = s2;
最終實(shí)現(xiàn)效果為s2先等于s3,s1再等于s2,
s1、s2、s3都相等
當(dāng)(s1=s2)=s3時(shí),賦值流程為:
先s1=s2,使得s1的值等于s2;
接著return *this的引用,即s1的引用作為返回;
最后 s1 = s3;
最終實(shí)現(xiàn)效果為s1先等于s2再等于s3。
二、加號(hào)的重載不能用返回引用對(duì)象(在重載等號(hào)深拷貝的情況下)
加號(hào)做返回對(duì)象引用時(shí),無法實(shí)現(xiàn)s1=s1+s3
加法返回對(duì)象引用時(shí)
s1=s1+s3,賦值流程為:
s1+s3,return *this的引用,即加法計(jì)算后的s1;
接著s1 = s1時(shí),由于重載等號(hào)且深拷貝會(huì)對(duì)this->str進(jìn)行delete,再進(jìn)行賦值,則此時(shí)的右值s1也受delte影響,導(dǎo)致最終s1->str是delete掉的野指針。