溫馨提示×

您好,登錄后才能下訂單哦!

密碼登錄×
登錄注冊(cè)×
其他方式登錄
點(diǎn)擊 登錄注冊(cè) 即表示同意《億速云用戶服務(wù)條款》

C++11中右值引用和轉(zhuǎn)發(fā)型引用的示例分析

發(fā)布時(shí)間:2021-08-30 11:30:29 來(lái)源:億速云 閱讀:147 作者:小新 欄目:編程語(yǔ)言

這篇文章主要為大家展示了“C++11中右值引用和轉(zhuǎn)發(fā)型引用的示例分析”,內(nèi)容簡(jiǎn)而易懂,條理清晰,希望能夠幫助大家解決疑惑,下面讓小編帶領(lǐng)大家一起研究并學(xué)習(xí)一下“C++11中右值引用和轉(zhuǎn)發(fā)型引用的示例分析”這篇文章吧。

右值引用

為了解決移動(dòng)語(yǔ)義及完美轉(zhuǎn)發(fā)問(wèn)題,C++11標(biāo)準(zhǔn)引入了右值引用(rvalue reference)這一重要的新概念。右值引用采用T&&這一語(yǔ)法形式,比傳統(tǒng)的引用T&(如今被稱作左值引用 lvalue reference)多一個(gè)&。

如果把經(jīng)由T&&這一語(yǔ)法形式所產(chǎn)生的引用類(lèi)型都叫做右值引用,那么這種廣義的右值引用又可分為以下三種類(lèi)型:

  • 無(wú)名右值引用

  • 具名右值引用

  • 轉(zhuǎn)發(fā)型引用

無(wú)名右值引用和具名右值引用的引入主要是為了解決移動(dòng)語(yǔ)義問(wèn)題。

轉(zhuǎn)發(fā)型引用的引入主要是為了解決完美轉(zhuǎn)發(fā)問(wèn)題。 

無(wú)名右值引用

無(wú)名右值引用(unnamed rvalue reference)是指由右值引用相關(guān)操作所產(chǎn)生的引用類(lèi)型。

無(wú)名右值引用主要通過(guò)返回右值引用的類(lèi)型轉(zhuǎn)換操作產(chǎn)生, 其語(yǔ)法形式如下:

static_cast<T&&>(t)

標(biāo)準(zhǔn)規(guī)定該語(yǔ)法形式將把表達(dá)式 t 轉(zhuǎn)換為T(mén)類(lèi)型的無(wú)名右值引用。

無(wú)名右值引用是右值,標(biāo)準(zhǔn)規(guī)定無(wú)名右值引用和傳統(tǒng)的右值一樣具有潛在的可移動(dòng)性,即它所占有的資源可以被移動(dòng)(竊?。?nbsp;

std::move()

由于無(wú)名右值引用是右值,借助于類(lèi)型轉(zhuǎn)換操作產(chǎn)生無(wú)名右值引用這一手段,左值表達(dá)式就可以被轉(zhuǎn)換成右值表達(dá)式。為了便于利用這一重要的轉(zhuǎn)換操作,標(biāo)準(zhǔn)庫(kù)為我們提供了封裝這一操作的函數(shù),這就是std::move()。

假設(shè)左值表達(dá)式 t 的類(lèi)型為T(mén)&,利用以下函數(shù)調(diào)用就可以把左值表達(dá)式 t 轉(zhuǎn)換為T(mén)類(lèi)型的無(wú)名右值引用(右值,類(lèi)型為T(mén)&&)。
std::move(t)

具名右值引用

如果某個(gè)變量或參數(shù)被聲明為T(mén)&&類(lèi)型,并且T無(wú)需推導(dǎo)即可確定,那么這個(gè)變量或參數(shù)就是一個(gè)具名右值引用(named rvalue reference)。

具名右值引用是左值,因?yàn)榫呙抑狄糜忻?,和傳統(tǒng)的左值引用一樣可以用操作符&取地址。

與廣義的右值引用相對(duì)應(yīng),狹義的右值引用僅限指具名右值引用。

傳統(tǒng)的左值引用可以綁定左值,在某些情況下也可綁定右值。與此不同的是,右值引用只能綁定右值。

右值引用和左值引用統(tǒng)稱為引用(reference),它們具有引用的共性,比如都必須在初始化時(shí)綁定值,都是左值等等。

struct X {}; 
X a; 
X&& b = static_cast<X&&>(a); 
X&& c = std::move(a); 
//static_cast<X&&>(a) 和 std::move(a) 是無(wú)名右值引用,是右值 
//b 和 c 是具名右值引用,是左值 
X& d = a; 
X& e = b; 
const X& f = c; 
const X& g = X(); 
X&& h = X(); 
//左值引用d和e只能綁定左值(包括傳統(tǒng)左值:變量a以及新型左值:右值引用b) 
//const左值引用f和g可以綁定左值(右值引用c),也可以綁定右值(臨時(shí)對(duì)象X()) 
//右值引用b,c和h只能綁定右值(包括新型右值:無(wú)名右值引用std::move(a)以及傳統(tǒng)右值:臨時(shí)對(duì)象X())

左右值重載策略

有時(shí)我們需要在函數(shù)中區(qū)分參數(shù)的左右值屬性,根據(jù)參數(shù)左右值屬性的不同做出不同的處理。適當(dāng)?shù)夭捎米笥抑抵剌d策略,借助于左右值引用參數(shù)不同的綁定特性,我們可以利用函數(shù)重載來(lái)做到這一點(diǎn)。常見(jiàn)的左右值重載策略如下:

struct X {}; 
//左值版本 
void f(const X& param1){/*處理左值參數(shù)param1*/} 
//右值版本 
void f(X&& param2){/*處理右值參數(shù)param2*/} 
X a; 
f(a);      //調(diào)用左值版本 
f(X());     //調(diào)用右值版本 
f(std::move(a)); //調(diào)用右值版本

即在函數(shù)重載中分別重載const左值引用和右值引用。

重載const左值引用的為左值版本,這是因?yàn)閏onst左值引用參數(shù)能綁定左值,而右值引用參數(shù)不能綁定左值。

重載右值引用的為右值版本,這是因?yàn)殡m然const左值引用參數(shù)和右值引用參數(shù)都能綁定右值,但標(biāo)準(zhǔn)規(guī)定右值引用參數(shù)的綁定優(yōu)先度要高于const左值引用參數(shù)。

移動(dòng)構(gòu)造器和移動(dòng)賦值運(yùn)算符

在類(lèi)的構(gòu)造器和賦值運(yùn)算符中運(yùn)用上述左右值重載策略,就會(huì)產(chǎn)生兩個(gè)新的特殊成員函數(shù):移動(dòng)構(gòu)造器(move constructor)和移動(dòng)賦值運(yùn)算符(move assignment operator)。

struct X 
{ 
  X();             //缺省構(gòu)造器 
  X(const X& that);      //拷貝構(gòu)造器 
  X(X&& that);         //移動(dòng)構(gòu)造器 
  X& operator=(const X& that); //拷貝賦值運(yùn)算符 
  X& operator=(X&& that);   //移動(dòng)賦值運(yùn)算符 
}; 
X a;               //調(diào)用缺省構(gòu)造器 
X b = a;             //調(diào)用拷貝構(gòu)造器 
X c = std::move(b);       //調(diào)用移動(dòng)構(gòu)造器 
b = a;              //調(diào)用拷貝賦值運(yùn)算符 
c = std::move(b);        //調(diào)用移動(dòng)賦值運(yùn)算符

移動(dòng)語(yǔ)義

無(wú)名右值引用和具名右值引用的引入主要是為了解決移動(dòng)語(yǔ)義問(wèn)題。

移動(dòng)語(yǔ)義問(wèn)題是指在某些特定情況下(比如用右值來(lái)賦值或構(gòu)造對(duì)象時(shí))如何采用廉價(jià)的移動(dòng)語(yǔ)義替換昂貴的拷貝語(yǔ)義的問(wèn)題。

移動(dòng)語(yǔ)義(move semantics)是指某個(gè)對(duì)象接管另一個(gè)對(duì)象所擁有的外部資源的所有權(quán)。移動(dòng)語(yǔ)義需要通過(guò)移動(dòng)(竊?。┢渌?/p>

對(duì)象所擁有的資源來(lái)完成。移動(dòng)語(yǔ)義的具體實(shí)現(xiàn)(即一次that對(duì)象到this對(duì)象的移動(dòng)(move))通常包含以下若干步驟:

  • 如果this對(duì)象自身也擁有資源,釋放該資源

  • 將this對(duì)象的指針或句柄指向that對(duì)象所擁有的資源

  • 將that對(duì)象原本指向該資源的指針或句柄設(shè)為空值


上述步驟可簡(jiǎn)單概括為①釋放this(this非空時(shí))②移動(dòng)that

移動(dòng)語(yǔ)義通常在移動(dòng)構(gòu)造器和移動(dòng)賦值運(yùn)算符中得以具體實(shí)現(xiàn)。兩者的區(qū)別在于移動(dòng)構(gòu)造對(duì)象時(shí)this對(duì)象為空因而①釋放this無(wú)須進(jìn)行。

與移動(dòng)語(yǔ)義相對(duì),傳統(tǒng)的拷貝語(yǔ)義(copy semantics)是指某個(gè)對(duì)象拷貝(復(fù)制)另一個(gè)對(duì)象所擁有的外部資源并獲得新生資源的所有權(quán)??截愓Z(yǔ)義的具體實(shí)現(xiàn)(即一次that對(duì)象到this對(duì)象的拷貝(copy))通常包含以下若干步驟:

  • 如果this對(duì)象自身也擁有資源,釋放該資源

  • 拷貝(復(fù)制)that對(duì)象所擁有的資源

  • 將this對(duì)象的指針或句柄指向新生的資源

  • 如果that對(duì)象為臨時(shí)對(duì)象(右值),那么拷貝完成之后that對(duì)象所擁有的資源將會(huì)因that對(duì)象被銷(xiāo)毀而即刻得以釋放

上述步驟可簡(jiǎn)單概括為①釋放this(this非空時(shí))②拷貝that③釋放that(that為右值時(shí))
拷貝語(yǔ)義通常在拷貝構(gòu)造器和拷貝賦值運(yùn)算符中得以具體實(shí)現(xiàn)。兩者的區(qū)別在于拷貝構(gòu)造對(duì)象時(shí)this對(duì)象為空因而①釋放this無(wú)須進(jìn)行。

比較移動(dòng)語(yǔ)義與拷貝語(yǔ)義的具體步驟可知,在賦值或構(gòu)造對(duì)象時(shí),

如果源對(duì)象that為左值,由于兩者效果不同(移動(dòng)that ≠ 拷貝that),此時(shí)移動(dòng)語(yǔ)義不能用來(lái)替換拷貝語(yǔ)義。

如果源對(duì)象that為右值,由于兩者效果相同(移動(dòng)that = 拷貝that + 釋放that),此時(shí)廉價(jià)的移動(dòng)語(yǔ)義(通過(guò)指針操作來(lái)移動(dòng)資源)便可以用來(lái)替換昂貴的拷貝語(yǔ)義(生成,拷貝然后釋放資源)。

由此可知,只要在進(jìn)行相關(guān)操作(比如賦值或構(gòu)造)時(shí),采取適當(dāng)?shù)淖笥抑抵剌d策略區(qū)分源對(duì)象的左右值屬性,根據(jù)其左右值屬性分別采用拷貝語(yǔ)義和移動(dòng)語(yǔ)義,移動(dòng)語(yǔ)義問(wèn)題便可以得到解決。

下面用MemoryBlock這個(gè)自我管理內(nèi)存塊的類(lèi)來(lái)具體說(shuō)明移動(dòng)語(yǔ)義問(wèn)題。

#include <iostream> 
class MemoryBlock 
{ 
public: 
  // 構(gòu)造器(初始化資源) 
  explicit MemoryBlock(size_t length) 
    : _length(length) 
    , _data(new int[length]) 
  { 
  } 
  // 析構(gòu)器(釋放資源) 
  ~MemoryBlock() 
  { 
    if (_data != nullptr) 
    { 
      delete[] _data; 
    } 
  } 
  // 拷貝構(gòu)造器(實(shí)現(xiàn)拷貝語(yǔ)義:拷貝that) 
  MemoryBlock(const MemoryBlock& that) 
    // 拷貝that對(duì)象所擁有的資源 
    : _length(that._length) 
    , _data(new int[that._length]) 
  { 
    std::copy(that._data, that._data + _length, _data); 
  } 
  // 拷貝賦值運(yùn)算符(實(shí)現(xiàn)拷貝語(yǔ)義:釋放this + 拷貝that) 
  MemoryBlock& operator=(const MemoryBlock& that) 
  { 
    if (this != &that) 
    { 
      // 釋放自身的資源 
      delete[] _data; 
      // 拷貝that對(duì)象所擁有的資源 
      _length = that._length; 
      _data = new int[_length]; 
      std::copy(that._data, that._data + _length, _data); 
    } 
    return *this; 
  } 
  // 移動(dòng)構(gòu)造器(實(shí)現(xiàn)移動(dòng)語(yǔ)義:移動(dòng)that) 
  MemoryBlock(MemoryBlock&& that) 
    // 將自身的資源指針指向that對(duì)象所擁有的資源 
    : _length(that._length) 
    , _data(that._data) 
  { 
    // 將that對(duì)象原本指向該資源的指針設(shè)為空值 
    that._data = nullptr; 
    that._length = 0; 
  } 
  // 移動(dòng)賦值運(yùn)算符(實(shí)現(xiàn)移動(dòng)語(yǔ)義:釋放this + 移動(dòng)that) 
  MemoryBlock& operator=(MemoryBlock&& that) 
  { 
    if (this != &that) 
    { 
      // 釋放自身的資源 
      delete[] _data; 
      // 將自身的資源指針指向that對(duì)象所擁有的資源 
      _data = that._data; 
      _length = that._length; 
      // 將that對(duì)象原本指向該資源的指針設(shè)為空值 
      that._data = nullptr; 
      that._length = 0; 
    } 
    return *this; 
  } 
private: 
  size_t _length; // 資源的長(zhǎng)度 
  int* _data; // 指向資源的指針,代表資源本身 
}; 
MemoryBlock f() { return MemoryBlock(50); } 
int main() 
{ 
  MemoryBlock a = f();      // 調(diào)用移動(dòng)構(gòu)造器,移動(dòng)語(yǔ)義 
  MemoryBlock b = a;       // 調(diào)用拷貝構(gòu)造器,拷貝語(yǔ)義 
  MemoryBlock c = std::move(a);  // 調(diào)用移動(dòng)構(gòu)造器,移動(dòng)語(yǔ)義 
  a = f();            // 調(diào)用移動(dòng)賦值運(yùn)算符,移動(dòng)語(yǔ)義 
  b = a;             // 調(diào)用拷貝賦值運(yùn)算符,拷貝語(yǔ)義 
  c = std::move(a);        // 調(diào)用移動(dòng)賦值運(yùn)算符,移動(dòng)語(yǔ)義 
}

轉(zhuǎn)發(fā)型引用

如果某個(gè)變量或參數(shù)被聲明為T(mén)&&類(lèi)型,并且T需要經(jīng)過(guò)推導(dǎo)才可確定,那么這個(gè)變量或參數(shù)就是一個(gè)轉(zhuǎn)發(fā)型引用(forwarding reference)。

轉(zhuǎn)發(fā)型引用由以下兩種語(yǔ)法形式產(chǎn)生

  • 如果某個(gè)變量被聲明為auto&&類(lèi)型,那么這個(gè)變量就是一個(gè)轉(zhuǎn)發(fā)型引用

  • 在函數(shù)模板中,如果某個(gè)參數(shù)被聲明為T(mén)&&類(lèi)型,并且T是一個(gè)需要經(jīng)過(guò)推導(dǎo)才可確定的模板參數(shù)類(lèi)型,那么這個(gè)參數(shù)就是一個(gè)轉(zhuǎn)發(fā)型引用

轉(zhuǎn)發(fā)型引用是不穩(wěn)定的,它的實(shí)際類(lèi)型由它所綁定的值來(lái)確定。轉(zhuǎn)發(fā)型引用既可以綁定左值,也可以綁定右值。如果綁定左值,轉(zhuǎn)發(fā)型引用就成了左值引用。如果綁定右值,轉(zhuǎn)發(fā)型引用就成了右值引用。
轉(zhuǎn)發(fā)型引用在被C++標(biāo)準(zhǔn)所承認(rèn)之前曾經(jīng)被稱作萬(wàn)能引用(universal reference)。萬(wàn)能引用這一術(shù)語(yǔ)的發(fā)明者,Effective C++系列的作者Scott Meyers認(rèn)為,如此異常靈活的引用類(lèi)型不屬于右值引用,它應(yīng)該擁有自己的名字。

對(duì)于某個(gè)轉(zhuǎn)發(fā)型引用類(lèi)型的變量(auto&&類(lèi)型)來(lái)說(shuō)

  • 如果初始化表達(dá)式為左值(類(lèi)型為U&),該變量將成為左值引用(類(lèi)型為U&)。

  • 如果初始化表達(dá)式為右值(類(lèi)型為U&&),該變量將成為右值引用(類(lèi)型為U&&)。

對(duì)于函數(shù)模板中的某個(gè)轉(zhuǎn)發(fā)型引用類(lèi)型的形參(T&&類(lèi)型)來(lái)說(shuō)

  • 如果對(duì)應(yīng)的實(shí)參為左值(類(lèi)型為U&),模板參數(shù)T將被推導(dǎo)為引用類(lèi)型U&,該形參將成為左值引用(類(lèi)型為U&)。

  • 如果對(duì)應(yīng)的實(shí)參為右值(類(lèi)型為U&&),模板參數(shù)T將被推導(dǎo)為非引用類(lèi)型U,該形參將成為右值引用(類(lèi)型為U&&)。

struct X {}; 
X&& var1 = X();              // var1是右值引用,只能綁定右值X() 
auto&& var2 = var1;            // var2是轉(zhuǎn)發(fā)型引用,可以綁定左值var1 
                      // var2的實(shí)際類(lèi)型等同于左值var1,即X& 
auto&& var3 = X();             // var3是轉(zhuǎn)發(fā)型引用,可以綁定右值X() 
                      // var3的實(shí)際類(lèi)型等同于右值X(),即X&& 
template<typename T> 
void g(std::vector<typename T>&& param1); // param1是右值引用 
template<typename T> 
void f(T&& param2);            // param2是轉(zhuǎn)發(fā)型引用 
X a; 
f(a);        // 模板函數(shù)f()的形參param2是轉(zhuǎn)發(fā)型引用,可以綁定左值a 
           // 在此次調(diào)用中模板參數(shù)T將被推導(dǎo)為引用類(lèi)型X& 
           // 而形參param2的實(shí)際類(lèi)型將等同于左值a,即X& 
f(X());       // 模板函數(shù)f()的形參param2是轉(zhuǎn)發(fā)型引用,可以綁定右值X() 
           // 在此次調(diào)用中模板參數(shù)T將被推導(dǎo)為非引用類(lèi)型X 
           // 而形參param2的實(shí)際類(lèi)型將等同于右值X(),即X&& 
// 更多右值引用和轉(zhuǎn)發(fā)型引用 
const auto&& var4 = 10;              // 右值引用 
template<typename T> 
void h(const T&& param1);             // 右值引用 
template <typename T/*, class Allocator = allocator*/> 
class vector 
{ 
public: 
  void push_back( T&& t );           // 右值引用 
  template <typename Args...> 
  void emplace_back( Args&&... args );     // 轉(zhuǎn)發(fā)型引用 
};

完美轉(zhuǎn)發(fā)

完美轉(zhuǎn)發(fā)(perfect forwarding)問(wèn)題是指函數(shù)模板在向其他函數(shù)轉(zhuǎn)發(fā)(傳遞)自身參數(shù)(形參)時(shí)該如何保留該參數(shù)(實(shí)參)的左右值屬性的問(wèn)題。也就是說(shuō)函數(shù)模板在向其他函數(shù)轉(zhuǎn)發(fā)(傳遞)自身形參時(shí),如果相應(yīng)實(shí)參是左值,它就應(yīng)該被轉(zhuǎn)發(fā)為左值;同樣如果相應(yīng)實(shí)參是右值,它就應(yīng)該被轉(zhuǎn)發(fā)為右值。這樣做是為了保留在其他函數(shù)針對(duì)轉(zhuǎn)發(fā)而來(lái)的參數(shù)的左右值屬性進(jìn)行不同處理(比如參數(shù)為左值時(shí)實(shí)施拷貝語(yǔ)義;參數(shù)為右值時(shí)實(shí)施移動(dòng)語(yǔ)義)的可能性。如果將自身參數(shù)不分左右值一律轉(zhuǎn)發(fā)為左值,其他函數(shù)就只能將轉(zhuǎn)發(fā)而來(lái)的參數(shù)視為左值,從而失去針對(duì)該參數(shù)的左右值屬性進(jìn)行不同處理的可能性。

轉(zhuǎn)發(fā)型引用的引入主要是為了解決完美轉(zhuǎn)發(fā)問(wèn)題。在函數(shù)模板中需要保留左右值屬性的參數(shù),也就是要被完美轉(zhuǎn)發(fā)的參數(shù)須被聲明為轉(zhuǎn)發(fā)型引用類(lèi)型,即參數(shù)必須被聲明為T(mén)&&類(lèi)型,而T必須被包含在函數(shù)模板的模板參數(shù)列表之中。按照轉(zhuǎn)發(fā)型引用類(lèi)型形參的特點(diǎn),該形參將根據(jù)所對(duì)應(yīng)的實(shí)參的左右值屬性而分別蛻變成左右值引用。但無(wú)論該形參成為左值引用還是右值引用,該形參在函數(shù)模板內(nèi)都將成為左值。這是因?yàn)樵撔螀⒂忻?,左值引用是左值,具名右值引用也同樣是左值。如果在函?shù)模板內(nèi)照原樣轉(zhuǎn)發(fā)該形參,其他函數(shù)就只能將轉(zhuǎn)發(fā)而來(lái)的參數(shù)視為左值,完美轉(zhuǎn)發(fā)任務(wù)將會(huì)失敗。

#include<iostream> 
using namespace std; 
struct X {}; 
void inner(const X&) {cout << "inner(const X&)" << endl;} 
void inner(X&&) {cout << "inner(X&&)" << endl;} 
template<typename T> 
void outer(T&& t) {inner(t);} 
int main() 
{ 
  X a; 
  outer(a); 
  outer(X()); 
} 
//inner(const X&) 
//inner(const X&) 
std::forward()

要在函數(shù)模板中完成完美轉(zhuǎn)發(fā)轉(zhuǎn)發(fā)型引用類(lèi)型形參的任務(wù),我們必須在相應(yīng)實(shí)參為左值,該形參成為左值引用時(shí)把它轉(zhuǎn)發(fā)成左值,在相應(yīng)實(shí)參為右值,該形參成為右值引用時(shí)把它轉(zhuǎn)發(fā)成右值。此時(shí)我們需要標(biāo)準(zhǔn)庫(kù)函數(shù)std::forward()。

標(biāo)準(zhǔn)庫(kù)函數(shù) std::forward<T>(t) 有兩個(gè)參數(shù):模板參數(shù) T 與 函數(shù)參數(shù) t。函數(shù)功能如下:

  • 當(dāng)T為左值引用類(lèi)型U&時(shí),t 將被轉(zhuǎn)換為無(wú)名左值引用(左值,類(lèi)型為U&)。

  • 當(dāng)T為非引用類(lèi)型U或右值引用類(lèi)型U&&時(shí),t 將被轉(zhuǎn)換為無(wú)名右值引用(右值,類(lèi)型為U&&)。

使用此函數(shù),我們?cè)诤瘮?shù)模板中轉(zhuǎn)發(fā)類(lèi)型為T(mén)&&的轉(zhuǎn)發(fā)型引用參數(shù) t 時(shí),只需將參數(shù) t 替換為std::forward<T>(t)即可完成完美轉(zhuǎn)發(fā)任務(wù)。這是因?yàn)?br/>

  • 如果 t 對(duì)應(yīng)的實(shí)參為左值(類(lèi)型為U&),模板參數(shù)T將被推導(dǎo)為引用類(lèi)型U&,t 成為具名左值引用(類(lèi)型為U&),std::forward<T>(t)就會(huì)把 t 轉(zhuǎn)換成無(wú)名左值引用(左值,類(lèi)型為U&)。

  • 如果 t 對(duì)應(yīng)的實(shí)參為右值(類(lèi)型為U&&),模板參數(shù)T將被推導(dǎo)為非引用類(lèi)型U,t 成為具名右值引用(類(lèi)型為U&&),std::forward<T>(t)就會(huì)把 t 轉(zhuǎn)換成無(wú)名右值引用(右值,類(lèi)型為U&&)。

#include<iostream> 
using namespace std; 
struct X {}; 
void inner(const X&) {cout << "inner(const X&)" << endl;} 
void inner(X&&) {cout << "inner(X&&)" << endl;} 
template<typename T> 
void outer(T&& t) {inner(forward<T>(t));} 
int main() 
{ 
  X a; 
  outer(a); 
  outer(X()); 
} 
//inner(const X&) 
//inner(X&&)

以上是“C++11中右值引用和轉(zhuǎn)發(fā)型引用的示例分析”這篇文章的所有內(nèi)容,感謝各位的閱讀!相信大家都有了一定的了解,希望分享的內(nèi)容對(duì)大家有所幫助,如果還想學(xué)習(xí)更多知識(shí),歡迎關(guān)注億速云行業(yè)資訊頻道!

向AI問(wèn)一下細(xì)節(jié)

免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱:is@yisu.com進(jìn)行舉報(bào),并提供相關(guān)證據(jù),一經(jīng)查實(shí),將立刻刪除涉嫌侵權(quán)內(nèi)容。

c++
AI