引用初階

引用是C++的特性的之一，不過(guò)C++沒(méi)有沒(méi)有給引用特意出一個(gè)關(guān)鍵字，使用了操作符的重載。引用在C++中很常見(jiàn)，常見(jiàn)就意味著它很重要。我們分兩個(gè)境界來(lái)談?wù)勔?初階是我們能在書(shū)上看到的.

什么是引用

引用不是新定義一個(gè)變量，而是給已存在變量取了一個(gè)別名，編譯器不會(huì)為引用變量開(kāi)辟內(nèi)存空間，它和它引用的變量共用同一塊內(nèi)存空間 .所謂的取別名,就是取外號(hào),張三在朋友面前可能叫三子,在長(zhǎng)輩面前可能叫三兒,但是無(wú)論是叫三子還是三兒,他們叫的就是張三,這是無(wú)可否認(rèn)的.引用的符號(hào)&和我們?nèi)〉刂返?amp;操作符一樣的,后面我們就會(huì)知道這是操作符構(gòu)成重載的原因.

我們可以理解所謂的引用.

#include <stdio.h>
int main()
{
	int a = 10;
	int& b = a;       //  b 是 a的一個(gè)別名
	printf("%p\n", &a);
	printf("%p\n", &b);
	return 0;
}

為何要有引用

引用有很多優(yōu)點(diǎn),其中有一個(gè)就是可以簡(jiǎn)化代碼,我們?cè)贑語(yǔ)言中寫過(guò)如何交換兩個(gè)整型數(shù)據(jù)，需要借助一維指針，但是這有一點(diǎn)麻煩，使用引用就可以很好的解決這個(gè)問(wèn)題．

#include <stdio.h>
void swap(int& a, int& b)
{
	int c = a;
	a = b;
	b = c;
}
int main()
{
	int a = 10;
	int b = 20;
	printf("交換前  a = %d b = %d\n", a, b);
	swap(a, b);
	printf("交換后  a = %d b = %d\n", a, b);
	return 0;
}

引用指向同一塊空間

我們無(wú)論給變量取多少外號(hào),但是這些外號(hào)所指向的空間是一樣的,我們只要修改一個(gè)外號(hào)的空間,就會(huì)導(dǎo)致其他外號(hào)值得修改.

#include <iostream>
using namespace std;
int main()
{
	int a = 10;
	int& b = a;  //b 是  a  的別名
	int& c = b;  //還可以對(duì)c取別名
	return 0;
}

int main()
{
	int a = 10;
	int& b = a;  //b 是  a  的別名
	int& c = b;  //還可以對(duì)c取別名
	c = 20;
	cout << "a: " << a << endl;
	cout << "b: " << a << endl;
	cout << "c: " << a << endl;
	return 0;
}

引用的特性

即使引用很好使用,但是我們還要關(guān)注他們的一些特性.

定義時(shí)必須初識(shí)化

這個(gè)要求很嚴(yán)格,我們必須在引用的時(shí)候給他初始化,否則就會(huì)報(bào)錯(cuò).

#include <iostream>
using namespace std;
int main()
{
	int a = 10;
	int& b;
	return 0;
}

一個(gè)變量可以多次引用

這個(gè)特性我們前面和大家分享過(guò)了,我們可以對(duì)一個(gè)變量多次取外號(hào),每一個(gè)外號(hào)都是是這個(gè)變量的別名,我們甚至可以對(duì)外號(hào)取外號(hào),不過(guò)我們一般不這么干.

引用一旦引用了一個(gè)實(shí)例,不能在再引用其他的實(shí)例

這個(gè)特性完美的闡釋了引用的專一性,一旦我們給某一個(gè)變量起了一個(gè)別名,這個(gè)別名就會(huì)跟著這個(gè)變量一輩子,絕對(duì)不會(huì)在成為其他的變量的別名.這個(gè)也是和指針很大的區(qū)別,指針比較花心.

這個(gè)我們就不通過(guò)代碼打印各個(gè)變量的地址了.,我們觀看另外一種現(xiàn)象,通過(guò)觀察我們看到a的值也被修改了,可以確定 b 仍舊a的別名.

int main()
{
	int a = 10;
	int& b = a;
	int c = 20;
	// 這個(gè)一定是賦值
	b = c;
	cout << "a: " << a << endl;
	return 0;
}

引用進(jìn)階

我們已經(jīng)看到引用的優(yōu)點(diǎn),但是這是引用的基礎(chǔ)用法,要是到那里,我們一般看書(shū)都可以做到,現(xiàn)在要看看引用更加詳細(xì)的知識(shí).

常引用

我們?cè)贑語(yǔ)言中,專門分享過(guò)const相關(guān)的知識(shí),那么我們?nèi)绾螌?duì)const修飾的變量取別名呢?這是一個(gè)小問(wèn)題.

const int a = 10;

我們看看下面的方法.

int main()
{
	const int a = 10;
	int& b = a;        //報(bào)錯(cuò)
	const int& c = a;  // 不報(bào)錯(cuò)
	return 0;
}

到這里我們就可以發(fā)現(xiàn),我們?nèi)e名的時(shí)候也用const修飾就可以了,這是我們從現(xiàn)象中的得出的結(jié)論,但是這又是因?yàn)槭裁茨?我們需要知道他們的原理.

權(quán)限

不知道大家有沒(méi)有在學(xué)習(xí)中看到過(guò)這樣一種現(xiàn)象,對(duì)于一個(gè)文件,我們可能存在僅僅閱讀的權(quán)限,自己無(wú)法修改,但是其他的人有可能有資格修改,這就是權(quán)限的能力,const修飾變量后,使得變量的加密程度更加高了,我們?nèi)e名的時(shí)候,總不能把這個(gè)權(quán)限給過(guò)擴(kuò)大了,編譯器這是不允許的,也就是說(shuō)我們?nèi)e名的時(shí)候,權(quán)限只能往低了走,絕對(duì)不能比原來(lái)的高.

下面就是把權(quán)限往縮小了：

int main()
{
    int a = 10;
	const int& b = a;
	return 0;
}

給常量取別名必須要是const修飾的,因?yàn)槌Ａ坎荒苄薷?

int main()
{
	const int& a = 10;
	return 0;
}

臨時(shí)變量具有常屬性

這個(gè)是語(yǔ)法的一個(gè)知識(shí)點(diǎn),我們記住就可以了,現(xiàn)在我們就要看看為什么這個(gè)代碼會(huì)可以運(yùn)行.

我們常引用 還有最后一個(gè)問(wèn)題，如果我們是double類型的變量，如何給取一個(gè)int類型的別名？

需要用const修飾,而且會(huì)發(fā)生截?cái)啵?/strong>

int main()
{
	double d = 1.2;
	const int& a = d;       //需要用const修飾
	cout << a << endl;
	return 0;
}

int main()
{
	double d = 1.2;
	const int& a = d;
	cout << "&a :" <<&a << endl;
	cout << "&d :" <<&d << endl;
	return 0;
}

#include <stdio.h>
void swap(int& a, int& b)
{
	int c = a;
	a = b;
	b = c;
}
int main()
{
	int a = 10;
	int b = 20;
	printf("交換前  a = %d b = %d\n", a, b);
	swap(a, b);
	printf("交換后  a = %d b = %d\n", a, b);
	return 0;
}

void func(int& a)
{
}
int main()
{
	int a = 10;
	double b = 10.2;

	func(a);
	func(10);
	func(b);
	return 0;
}

int func()
{
	int n = 1;
	n++;
	return n;
}

int main()
{
	int ret = func();
	return 0;
}

int main()
{
	int& ret = func();
	return 0;
}

int& func()
{
	static int n = 1;
	n++;
	return n;
}
int main()
{
	int ret = func();
	cout << ret << endl;
	return 0;
}

int& func()
{
	static int n = 1;
	n++;
	cout << &n << endl;
	return n;
}

int main()
{
	int& ret = func();     //  注意 是 int&
	cout << &ret << endl;
	return 0;
}

int& func()
{
	int n = 1;
	n++;
	return n;
}

int main()
{
	int& ret = func();
	printf("這是一條華麗的分割線\n");
	cout << ret << endl;
	cout << ret << endl;
	return 0;
}

typedef struct A 
{
	int arr[10000];
} A;

void func1(A a)
{

}

void func2(A& a)
{

}

void TestRefAndValue()
{
	A a;

	// 以值作為函數(shù)參數(shù)
	size_t begin1 = clock();
	for (size_t i = 0; i < 100000; ++i)
		func1(a);
	size_t end1 = clock();

	// 以引用作為函數(shù)參數(shù)
	size_t begin2 = clock();
	for (size_t i = 0; i < 100000; ++i)
		func2(a);
	size_t end2 = clock();

	// 分別計(jì)算兩個(gè)函數(shù)運(yùn)行結(jié)束后的時(shí)間
	cout << "func1(A)-time:" << end1 - begin1 << endl;
	cout << "func2(A&)-time:" << end2 - begin2 << endl;
}

int main()
{
	TestRefAndValue();
	return 0;
}

它們有一個(gè)本質(zhì)的區(qū)別,在語(yǔ)法概念上引用就是一個(gè)別名，沒(méi)有獨(dú)立空間，和其引用實(shí)體共用同一塊空間 ,但是引用的底層還是開(kāi)辟空間的,因?yàn)?strong>引用是按照指針?lè)绞絹?lái)實(shí)現(xiàn).我們看看匯編代碼.

• 引用不會(huì)開(kāi)辟空間,但是指針會(huì)開(kāi)辟相應(yīng)的空間.

底層引用和指針是一樣的.

int main()
{
	int a = 10;
	//語(yǔ)法沒(méi)有開(kāi)辟空間  底層開(kāi)辟了
	int& b = a;
	b = 20;

	//語(yǔ)法開(kāi)辟空間  底層也開(kāi)辟了
	int* pa = &a;
	*pa = 20;
	return 0;

我們來(lái)看看它們其他的比較小的區(qū)別,我就不詳細(xì)舉例了.

• 引用在定義時(shí)必須初始化，指針沒(méi)有要求
• 引用在初始化時(shí)引用一個(gè)實(shí)體后，就不能再引用其他實(shí)體，而指針可以在任何時(shí)候指向任何一個(gè)同類型實(shí)體
• 沒(méi)有NULL引用，但有NULL指針
• 在sizeof中含義不同：引用結(jié)果為引用類型的大小，但指針始終是地址空間所占字節(jié)個(gè)數(shù)(32位平臺(tái)下占4個(gè)字節(jié))
• 引用自加即引用的實(shí)體增加1，指針自加即指針向后偏移一個(gè)類型的大小
• 有多級(jí)指針，但是沒(méi)有多級(jí)引用
• 訪問(wèn)實(shí)體方式不同，指針需要顯式解引用，引用編譯器自己處理
• 引用比指針使用起來(lái)相對(duì)更安全

內(nèi)聯(lián)函數(shù)

以inline修飾的函數(shù)叫做內(nèi)聯(lián)函數(shù)，編譯時(shí)C++編譯器會(huì)在調(diào)用內(nèi)聯(lián)函數(shù)的地方展開(kāi)，沒(méi)有函數(shù)壓棧的開(kāi)銷，內(nèi)聯(lián)函數(shù)提升程序運(yùn)行的效率,本質(zhì)來(lái)說(shuō)就和我們的宏比較相似.

記住我們不關(guān)心他們?cè)谀莻€(gè)過(guò)程中展開(kāi),只需要記住他會(huì)展開(kāi)就可以了.我么看看內(nèi)聯(lián)函數(shù)的知識(shí)點(diǎn).

為何存在 內(nèi)聯(lián)函數(shù)

對(duì)于一些比較小的函數(shù),我們總是調(diào)用函數(shù)開(kāi)銷比較的,我們是不是存在一個(gè)方法減少這個(gè)開(kāi)銷呢?C語(yǔ)言通過(guò)宏來(lái)實(shí)現(xiàn),C++支持C語(yǔ)言，所以我們可以通過(guò)行來(lái)實(shí)現(xiàn)，那么你給我寫一個(gè)兩數(shù)現(xiàn)相加的宏，要是你寫的和下面的不一樣，就代表你忘記了一部分知識(shí)點(diǎn)．

#define ADD(x,y) ((x) + (y))       //不帶  ;   括號(hào)要帶

我們就可以理解了,宏很好,但是寫出一個(gè)正確的宏很困難,但是寫一個(gè)函數(shù)就不一樣了,所以一些大佬就發(fā)明了內(nèi)斂函數(shù),用來(lái)替代宏的部分功能.

展開(kāi)短小的函數(shù)

函數(shù)內(nèi)聯(lián)不內(nèi)聯(lián)不是你說(shuō)了算,我們用inline修飾就是告訴編譯器這個(gè)函數(shù)可以展開(kāi),至于是否展開(kāi)還是看編譯器,一般之后展開(kāi)比較短小的函數(shù),較大的函數(shù)不會(huì)展開(kāi),像遞歸的那些也不可以.

inline void swap(int& x, int& y)
{
	int ret = x;
	x = y;
	y = ret;
}

int main()
{
	int a = 1;
	int b = 2;
	swap(a,b);
	cout << "a: " << a << endl;
	cout << "b: " << b << endl;
	return 0;
}

我們來(lái)看看內(nèi)聯(lián)函數(shù),如果函數(shù)不是內(nèi)聯(lián)了的,匯編語(yǔ)言會(huì)call

void swap(int& x, int& y)
{
	int ret = x;
	x = y;
	y = ret;
}

如果在上述函數(shù)前增加inline關(guān)鍵字將其改成內(nèi)聯(lián)函數(shù)，在編譯期間編譯器會(huì)用函數(shù)體替換函數(shù)的調(diào)用.

由于我們使用的是VS編譯器,這里需要看看內(nèi)聯(lián)函數(shù)的匯編語(yǔ)言.

在release模式下，查看編譯器生成的匯編代碼中是否存在call swap,但是編譯器會(huì)發(fā)生優(yōu)化,我們通過(guò)debug模式下,但是需要設(shè)置.

inline修飾的較短函數(shù)展開(kāi)了,沒(méi)有call

inline void swap(int& x, int& y)
{
	int ret = x;
	x = y;
	y = ret;
}

內(nèi)聯(lián)函數(shù)的特性

我們需要來(lái)看看函數(shù)的基本的特性

• inline是一種以空間換時(shí)間的做法，省去調(diào)用函數(shù)額開(kāi)銷。所以代碼很長(zhǎng)或者有循環(huán) / 遞歸的函數(shù)不適宜使用作為內(nèi)聯(lián)函數(shù)。
• inline 對(duì)于編譯器而言只是一個(gè)建議，編譯器會(huì)自動(dòng)優(yōu)化，如果定義為inline的函數(shù)體內(nèi)有循環(huán)/遞歸等，編譯器優(yōu)化時(shí)會(huì)忽略內(nèi)聯(lián)。
• inline不建議聲明和定義分離，分離會(huì)導(dǎo)致鏈接錯(cuò)誤。因?yàn)閕nline被展開(kāi)，就沒(méi)有函數(shù)地址了，鏈接就會(huì)找不到。

較大的函數(shù)編譯器不會(huì)發(fā)生內(nèi)聯(lián)

編譯器會(huì)自動(dòng)判別這個(gè)函數(shù)給不該內(nèi)聯(lián),要是一個(gè)函數(shù)比較大,里面存在遞歸,那么還不如不展開(kāi)呢.一般是10行為依據(jù).

inline void f()
{
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
	cout << "hello" << endl;
}
int main()
{
	f();
	return 0;
}

聲明定義一起

如果我們聲明和定義的分離,運(yùn)行時(shí)編譯器會(huì)找不到這個(gè)函數(shù)的地址的.

這里我么建議直接把內(nèi)聯(lián)函數(shù)直接放到自定義的頭文件中

inline void f()
{
}

到此這篇關(guān)于C++ 引用與內(nèi)聯(lián)函數(shù)詳情的文章就介紹到這了,更多相關(guān)C++ 引用內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論