引用的概念

引用 不是新定義一個(gè)變量，而 是給已存在變量取了一個(gè)別名 ，編譯器不會(huì)為引用變量開(kāi)辟內(nèi)存空間，它和它引用的變量共用同一塊內(nèi)存空間。

引用的表示方法

類(lèi)型 & 引用變量名 ( 對(duì)象名 ) = 引用實(shí)體；

如果熟悉C語(yǔ)言的同學(xué)可能會(huì)發(fā)現(xiàn)引用符號(hào)(&)看上去就像取地址運(yùn)算符(&)或者按位AND運(yùn)算符(&)，其實(shí)這是一個(gè)運(yùn)算符重載的例子。通過(guò)重載，同一個(gè)運(yùn)算符將會(huì)有不同的含義。編譯器會(huì)通過(guò)上下文來(lái)確定運(yùn)算符的含義。除了這里所提到的，其實(shí)在C++中還有一些運(yùn)算符重載的情況。例如：* 即表示乘法，又表示對(duì)指針的解引用操作；<<即表示插入運(yùn)算符，又表示按位左移運(yùn)算符等。

代碼實(shí)例：

int main()
{
	//引用：取別名
	int a = 10;
	int& b = a;//定義引用類(lèi)型
	int& c = b;
	return 0;
}

本段代碼我們可以得知，a變量取了b，c兩個(gè)別名。

我們也可以通過(guò)調(diào)試觀察他們的內(nèi)存：

通過(guò)調(diào)取內(nèi)存我們可以發(fā)現(xiàn)，a,b,c所指向的是同一塊內(nèi)存空間。

注意： 引用類(lèi)型 必須和引用 實(shí)體 是 同種類(lèi)型 的

引用特性

引用有三個(gè)特性，分別是：

1. 引用在 定義時(shí)必須初始化

2. 一個(gè)變量可以有多個(gè)引用

3. 引用一旦引用一個(gè)實(shí)體，再不能引用其他實(shí)體

1.引用在定義的時(shí)候必須初始化

由于引用是對(duì)已經(jīng)存在的變量進(jìn)行取別名，因此使用引用時(shí)必須指定變量(初始化)。

int& d;//錯(cuò)誤，未初始化

2.一個(gè)變量可以有多個(gè)引用

在C++語(yǔ)法中，一個(gè)變量有多個(gè)引用，就類(lèi)似于一個(gè)人可以有多個(gè)外號(hào)。在1.1的代碼實(shí)例中變量a就有2個(gè)引用，分別是b和c。

3.引用一旦引用一個(gè)實(shí)體，再不能引用其他實(shí)體

這個(gè)也比較好理解，因?yàn)橐靡坏┮昧艘粋€(gè)已經(jīng)存在的實(shí)體，就是這個(gè)實(shí)體的別名，當(dāng)然不能再成為其他實(shí)體的別名。

常引用與引用權(quán)限

我們來(lái)觀察下面這段代碼，他能編譯成功嗎？

int main()
{
   //1.
	const int x = 20;
	int& y = x;      
	return 0;
}

當(dāng)我們編譯這段代碼發(fā)現(xiàn)編譯器報(bào)出錯(cuò)誤警告：無(wú)法從“const int”轉(zhuǎn)換為“int &”

這是因?yàn)槲覀冊(cè)谝玫臅r(shí)候要遵守引用的原則：

引用原則:對(duì)原變量的引用，權(quán)限不能放大。

1.3這段代碼中x變量是const修飾是一個(gè)常變量，只有可讀權(quán)限。而我們引用的類(lèi)型是int，不僅有可讀權(quán)限，還有可修改權(quán)限。這就造成了對(duì)原變量的權(quán)限放大。根據(jù)我們引用原則知道，對(duì)原變量的引用，權(quán)限是不能放大的，這就是為什么這段代碼會(huì)報(bào)錯(cuò)的原因。

那我們?cè)賮?lái)看這一段代碼，它能編譯成功嗎？

int main()
{
	//2.
	const int x = 20;
	const int& y = x;//不變
    //3.
	int c = 30;
	const int& d = c;//縮小
	return 0;
}

這段代碼我們發(fā)現(xiàn)編譯成功了，我們也可以輕松地分析出這里的引用是遵守引用規(guī)則的，我們發(fā)現(xiàn)，權(quán)限不變或者權(quán)限縮小都是符合規(guī)則的，唯一需要注意的是：權(quán)限不能放大。

引用的使用場(chǎng)景

做參數(shù)

void Swap(int& x, int& y)
{
	int tmp = x;
	x = y;
	y = tmp;
}
int main()
{
	int a = 0, b = 1;
	Swap(a, b);
	return 0;
}

引用可以作函數(shù)的形參，x是a的別名，y是b的別名。這里使用引用更加方便，也更好理解。

那既然以值作為函數(shù)參數(shù)和以引用作為函數(shù)參數(shù)都能解決這個(gè)問(wèn)題，那為什么還要使用引用來(lái)做參數(shù)呢？這是因?yàn)橐玫男矢?，我們可以通過(guò)下面這段測(cè)試代碼更加直觀看出效率的差別：

#include <time.h>
struct A { int a[10000]; };
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void TestRefAndValue()
{
	A a;
	// 以值作為函數(shù)參數(shù)
	size_t begin1 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc1(a);
	size_t end1 = clock();
	// 以引用作為函數(shù)參數(shù)
	size_t begin2 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc2(a);
	size_t end2 = clock();
	// 分別計(jì)算兩個(gè)函數(shù)運(yùn)行結(jié)束后的時(shí)間
	cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
	cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
int main()
{
	TestRefAndValue();
	return 0;
}

我們發(fā)現(xiàn)使用引用作為函數(shù)參數(shù)效率大大提高。以值作為參數(shù)或者返回值類(lèi)型，在傳參和返回期間，函數(shù)不會(huì)直接傳遞實(shí)參或者將變量本身直接返回，而是傳遞實(shí)參或者返回變量的一份臨時(shí)的拷貝，因此用值作為參數(shù)或者返回值類(lèi)型，效率是非常低下的，尤其是當(dāng)參數(shù)或者返回值類(lèi)型非常大時(shí)，效率就更低。

引用做參數(shù)的意義：

1.輸出型參數(shù)。

2.減少拷貝，提高效率。

做返回值

首先我們來(lái)觀察這段代碼的返回值是什么?

int Count()
{
	static int n = 0;
	n++;
	return n;
}
int main()
{
	cout << Count() << endl;
	cout << Count() << endl;
	cout << Count() << endl;
	return 0;
}

這里的結(jié)果是：

1 2 3

因?yàn)閚是局部靜態(tài)的成員變量，只會(huì)初始化一次，雖然作用域在Count函數(shù)內(nèi)部，但是生命周期是全局，我們可以通過(guò)調(diào)試觀看他是否再執(zhí)行函數(shù)的第一句？

傳值的底層過(guò)程

傳值返回這個(gè)過(guò)程當(dāng)中會(huì)產(chǎn)生一個(gè)臨時(shí)變量，跟傳參一樣，如果小會(huì)用寄存器替代。傳值返回的類(lèi)型其實(shí)是臨時(shí)變量的類(lèi)型，將n拷貝給臨時(shí)變量，再將臨時(shí)變量拷貝給ret。那么為什么要設(shè)計(jì)臨時(shí)變量呢？直接把n給ret不好嗎？

這是因?yàn)樵诋?dāng)臨時(shí)變量出了函數(shù)作用域之后會(huì)銷(xiāo)毀，函數(shù)棧楨也會(huì)銷(xiāo)毀，那么此時(shí)n是不能作為返回值再賦值給ret的。那么編譯器就在此生成了一個(gè)臨時(shí)變量，把n拷給臨時(shí)變量，再把臨時(shí)變量給ret。此時(shí)，函數(shù)棧楨銷(xiāo)毀是不會(huì)影響臨時(shí)變量的。

那我們?cè)趺纯梢宰C明這個(gè)過(guò)程產(chǎn)生了臨時(shí)變量，我們可以給ret前加個(gè)引用。

此時(shí)我們發(fā)現(xiàn)，編譯器是過(guò)不了的，這是因?yàn)榇藭r(shí)ret是引用的臨時(shí)變量，而臨時(shí)變量具有常性，這里屬于權(quán)限的放大，因此我們只需要加上const即可。我們也通過(guò)這個(gè)例子證明了臨時(shí)變量的存在。

那現(xiàn)在我們給Count函數(shù)加個(gè)引用是什么意思？我們來(lái)看這段代碼。

int& Count()
{
	int n = 0;
	n++; 
	return n;
}
//中間產(chǎn)生了一個(gè)臨時(shí)變量
int main()
{
	int ret = Count(); 
	return 0;
}

這里可以這么認(rèn)為，中間也會(huì)產(chǎn)生一個(gè)臨時(shí)變量，這個(gè)臨時(shí)變量的類(lèi)型為int&，此時(shí)這個(gè)臨時(shí)變量是n的別名，再把臨時(shí)變量賦給ret。返回的是一個(gè)n的別名，就相當(dāng)于是吧n返回給了ret。

此時(shí)我們?cè)儆^察這段代碼我們發(fā)現(xiàn)編譯器可以通過(guò)了，這里ret相當(dāng)于是n的別名。

我們可以打印n和ret的地址看看：

這里ret和n的地址相同，也能證明ret是n的別名。因此，引用作為返回值其實(shí)返回的就是n的別名。

引用導(dǎo)致野指針

這段代碼合法嗎？

其實(shí)這段代碼是不合法的，因?yàn)槌隽撕瘮?shù)的作用域，Count函數(shù)已經(jīng)銷(xiāo)毀了，我們?cè)賹?duì)此空間進(jìn)行訪問(wèn)，就會(huì)造成非法訪問(wèn)，這里就是引用搞出來(lái)的野指針。

我們來(lái)驗(yàn)證一下：

//傳引用返回的是n的別名
int& Count()
{
	int n = 0;
	n++; 
	//cout << "n:"<< & n << endl;
	return n;
}
//中間產(chǎn)生了一個(gè)臨時(shí)變量
int main()
{
	int& ret = Count(); //ret是別名的別名  也就是n的別名
	cout << ret << endl;
	cout << "ret"<< & ret << endl;
	cout << ret << endl;
	return 0;
}

通過(guò)打印我們能夠發(fā)現(xiàn)：第二個(gè)ret打印的是隨機(jī)值。

因此此處需要注意 ：

如果函數(shù)返回時(shí)，出了函數(shù)作用域，如果返回對(duì)象還未還給系統(tǒng)，則可以使用引用返回，如果已 經(jīng)還給系統(tǒng)了，則必須使用傳值返回。

我們來(lái)做一個(gè)實(shí)例鞏固一下：

下面這段代碼的結(jié)果是什么？為什么？

int& Add(int a, int b) 
{
	int c = a + b;
	return c;
}
int main()
{
	int& ret = Add(1, 2);
	Add(3, 4);
	cout << "Add(1, 2) is :" << ret << endl;
	return 0;
}

結(jié)果：7，這里是因?yàn)樵诘谝淮握{(diào)用Add時(shí)，ret為3，Add函數(shù)的棧楨銷(xiāo)毀，在第二次調(diào)用時(shí)，Add函數(shù)的棧楨是相同的，c的位置為覆蓋為7，再次訪問(wèn)ret此時(shí)就為7，因此這里使用是不安全的。以下打印就可以更加清晰了解這個(gè)過(guò)程。

值和引用作為返回值類(lèi)型的性能比較

#include <time.h>
struct A { int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a; }
// 引用返回
A& TestFunc2() { return a; }
void TestReturnByRefOrValue()
{
	// 以值作為函數(shù)的返回值類(lèi)型
	size_t begin1 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc1();
	size_t end1 = clock();
	// 以引用作為函數(shù)的返回值類(lèi)型
	size_t begin2 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc2();
	size_t end2 = clock();
	// 計(jì)算兩個(gè)函數(shù)運(yùn)算完成之后的時(shí)間
	cout << "TestFunc1 time:" << end1 - begin1 << endl;
	cout << "TestFunc2 time:" << end2 - begin2 << endl;
}
int main()
{
	TestReturnByRefOrValue();
	return 0;
}

通過(guò)打印我們發(fā)現(xiàn)引用作為返回值類(lèi)型大大提高了效率。

原因：以值作為參數(shù)或者返回值類(lèi)型，在傳參和返回期間，函數(shù)不會(huì)直接傳遞實(shí)參或者將變量本身直接返回，而是傳遞實(shí)參或者返回變量的一份臨時(shí)的拷貝，因此用值作為參數(shù)或者返回值類(lèi)型，效率是非常低下的，尤其是當(dāng)參數(shù)或者返回值類(lèi)型非常大時(shí)，效率就更低。

引用和指針的區(qū)別

引用在語(yǔ)法概念上引用就是一個(gè)別名，沒(méi)有獨(dú)立空間，和其引用實(shí)體共用同一塊空間。 在底層實(shí)現(xiàn)上實(shí)際是有空間的，因?yàn)橐檬前凑罩羔樂(lè)绞絹?lái)實(shí)現(xiàn)的。

int main()
{
	int a = 10;
	int& ra = a;
	ra = 20;
	int* pa = &a;
	*pa = 20;
	return 0;
}

我們來(lái)看引用和指針的匯編代碼對(duì)比：

因此引用的底層實(shí)現(xiàn)上是按照指針的方式來(lái)實(shí)現(xiàn)的。

引用和指針的不同點(diǎn):

1. 引用在定義時(shí)必須初始化，指針沒(méi)有要求

2. 引用在初始化時(shí)引用一個(gè)實(shí)體后，就不能再引用其他實(shí)體，而指針可以在任何時(shí)候指向任何一個(gè)同類(lèi)型實(shí)體

3. 沒(méi)有NULL引用，但有NULL指針

4. 在sizeof中含義不同：引用結(jié)果為引用類(lèi)型的大小，但指針始終是地址空間所占字節(jié)個(gè)數(shù)(32位平臺(tái)下占4個(gè)字節(jié))

5. 引用自加即引用的實(shí)體增加1，指針自加即指針向后偏移一個(gè)類(lèi)型的大小

6. 有多級(jí)指針，但是沒(méi)有多級(jí)引用

7. 訪問(wèn)實(shí)體方式不同，指針需要顯式解引用，引用編譯器自己處理

8. 引用比指針使用起來(lái)相對(duì)更安全

到此這篇關(guān)于c++超細(xì)致講解引用的文章就介紹到這了,更多相關(guān) c++ 引用內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論