將左值引用用于一級(jí)指針時(shí)，有以下幾種用法：

//方式一：引用一級(jí)指針，常規(guī)用法
int a = 5;
int * pa = &a;
int * &rpa = pa;
 
//方式二：引用指向常量的一級(jí)指針，以下幾種為等效表示
int a = 5;
const int * pa = &a;
const int * &rpac = pa; //方式一
int const * &rpac = pa; //方式二
 
//方式三：引用一級(jí)指針的常引用，引用自身為常量
int a = 5;
int * pa = &a;
int * const &crpa = pa;
 
//方式四：引用指向常量的一級(jí)指針，且引用自身為常量，以下幾種為等效表示
int a = 5;
int * pa = &a;
const int * const &crpac = pa; //方式一
int const * const &crpac = pa; //方式二

在 Microsoft Visual Studio 中連續(xù)多個(gè) const 會(huì)被編譯器解釋成一個(gè)，即 const const const const int *& 與 const int *& 等效，除此之外，const int const *& 在 Microsoft Visual Studio 中也與 const int *& 等效，而 int *& const 在 QT minGW 中將會(huì)報(bào)錯(cuò)，在 Microsoft Visual Studio 中與 int *& 等效。

各類(lèi)型引用可修改屬性如下表所示：

若將變量的地址賦予引用（例如 rp=&x），各類(lèi)型引用可接受的變量地址如下表所示：

若將一級(jí)指針變量賦予引用（例如 rp=p），各類(lèi)型引用可接受的一級(jí)指針變量如下表所示。若賦值時(shí)等號(hào)右邊是函數(shù)返回的臨時(shí)指針變量（屬于右值），則只有當(dāng)?shù)忍?hào)左邊為 int * const & 以及 const int * const & 類(lèi)型時(shí)不會(huì)報(bào)錯(cuò)，此時(shí)必會(huì)創(chuàng)建臨時(shí)變量（與 const 左值引用性質(zhì)一致）。

若將引用變量賦予引用（例如 rp=rp2），各類(lèi)型引用可接受的引用變量如下表所示。比較上下兩表可知，左值引用類(lèi)型變量被初始化完畢后，若要將其賦值給另一引用變量，賦值時(shí)的表現(xiàn)與所引用類(lèi)型的變量相一致。

補(bǔ)充：C++ (左值)引用和指針簡(jiǎn)介

1. 引用

引用(reference)：引用指向一個(gè)左值，并一直與指向的左值綁定(bind)在一起。用《C++ Primer》里面的話(huà)說(shuō)，引用就是“給對(duì)象起了另外一個(gè)名字”

int ival = 1024;
int &refVal = ival; // refVal引用ival

引用必須被初始化：引用被聲明后必須被立刻初始化，否則就會(huì)報(bào)錯(cuò)

int ival = 1024;
int &refVal = ival; // 順利引用
int &refVal2;?? ??? ?// 報(bào)錯(cuò)，因?yàn)闆](méi)有初始化

引用無(wú)法更改指向的左值：引用一旦經(jīng)過(guò)初始化綁定后，就無(wú)法更改綁定的對(duì)象
引用不是對(duì)象：引用只是一個(gè)對(duì)象的別名，自身不是對(duì)象。你對(duì)引用的賦值，取值實(shí)際上等于對(duì)其引用的對(duì)象的賦值，取值

int ival = 1024;
int &refVal = ival;
refVal = 2;?? ??? ??? ?// 等于對(duì)ival賦值
int ii = refVal;?? ?// 等于將ival的值賦給ii

一個(gè)對(duì)象多個(gè)引用：這是允許的，一個(gè)對(duì)象可以擁有多個(gè)”別名“

int ival = 1024;
int &refVal = ival;
int &refVal2 = ival;?? ?// refVal2作為ival的第二個(gè)引用

2. 指針

指針(Pointer)：指針用于存儲(chǔ)一個(gè)對(duì)象的地址，我們稱(chēng)為“指向”某個(gè)對(duì)象。通過(guò)指針，我們可以訪問(wèn)到對(duì)象在內(nèi)存空間中的地址以及對(duì)象本身存儲(chǔ)的值

int *p;?? ?// 定義一個(gè)指針

2.1. 獲取地址與訪問(wèn)對(duì)象

利用指針獲取對(duì)象地址：由于指針本身是“存儲(chǔ)地址的對(duì)象”，我們不能直接讓指針存儲(chǔ)對(duì)象本身，這時(shí)候就需要用取地址符(&)來(lái)提取對(duì)象的地址

int ival = 42;
int *p = &ival;?? ??? ?// 讓指針p指向ival的地址

利用指針訪問(wèn)對(duì)象：直接訪問(wèn)指針的話(huà)，得到的是地址。要訪問(wèn)實(shí)際對(duì)象，就要用到解引用符(*)。解引用只適用于指向某個(gè)對(duì)象的有效指針

int ival = 42;
int *p = &ival;
int ival2;        // 新定義整數(shù)類(lèi)型變量ival2
ival2 = *p;        // 將ival2賦值為p指向的值(也就是ival的值)

2.2. 指針的特殊狀態(tài)

空指針(Null Pointer)：一個(gè)值為0，不指向任何對(duì)象的指針

// 以下三行代碼本質(zhì)相同，都是初始化一個(gè)空指針
int *p1 = nullptr;?? ?
int *p2 = 0;
int *p3 = NULL;

未初始化的指針：未指向任何地址，并且也不是空指針的指針是忌使用的。這樣的指針由于指向的位置不確定，訪問(wèn)時(shí)有可能會(huì)造成未定義行為(Undefined Behaviour)。所以在定義指針時(shí)，一定要進(jìn)行初始化，即便現(xiàn)在不會(huì)立刻使用，也要初始化為空指針

2.3 void* 指針

void類(lèi)型：void被稱(chēng)之為“空類(lèi)型”，它一般被用與沒(méi)有返回值的函數(shù)上。
void*指針：一個(gè)void類(lèi)型的指針同樣能指向一塊內(nèi)存地址，但因?yàn)轭?lèi)型是空，我們沒(méi)有辦法知曉指向的類(lèi)型，以至于不知道該類(lèi)型占用的內(nèi)存大小，因此無(wú)法訪問(wèn)指向的對(duì)象本身。

3. 引用和指針的復(fù)合使用

引用的引用：不合法。因?yàn)橐帽旧聿皇菍?duì)象，所以無(wú)法使一個(gè)引用綁定另一個(gè)引用
引用的指針：不合法。因?yàn)橐帽旧聿皇菍?duì)象，所以無(wú)法使一個(gè)指針指向一個(gè)引用
指針的引用：合法。指針本身是對(duì)象，引用可以綁定指針

int i = 42；
int *p = &i;
int *&r = p;?? ?// r引用指針p

指針的指針：合法。指針本身是對(duì)象，指針可以指向指針

int i = 42;
int *p = &i;?? ?// p指向i
int **p2 = &p;?? ?// p2指向p

std::cout << **p2 << std::endl;?? ?// 兩次解引，輸出“42”

到此這篇關(guān)于C++ 左值引用與一級(jí)指針的文章就介紹到這了,更多相關(guān)C++ 左值引用內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論