自拍偷在线精品自拍偷,亚洲欧美中文日韩v在线观看不卡

左值?右值?&&是什么鬼?—— 寫(xiě)給所有被C++移動(dòng)語(yǔ)義折磨的人

開(kāi)發(fā)
你是不是經(jīng)??吹紺++代碼中那些奇怪的&、&&符號(hào),還有到處亂飛的std::move,然后一臉懵逼?別擔(dān)心,今天我用大白話(huà)帶你徹底搞懂這些東西!

開(kāi)場(chǎng)小段子:搬家引發(fā)的思考

想象一下,你要搬家。如果你是土豪,可能會(huì)直接買(mǎi)新家具,舊家具直接扔掉。但如果你像我一樣是個(gè)普通人,肯定是把家具從舊房子搬到新房子。

這就是C++移動(dòng)語(yǔ)義的核心思想——與其復(fù)制一份資源,不如直接把資源的所有權(quán)轉(zhuǎn)移過(guò)去!

一、左值和右值: C++中最被誤解的概念

很多教材會(huì)告訴你:"等號(hào)左邊是左值,右邊是右值"。這種解釋就像告訴你"太陽(yáng)從東邊升起"一樣,雖然看起來(lái)沒(méi)錯(cuò),但一旦情況復(fù)雜起來(lái)就不夠用了。

1. 左值和右值的本質(zhì)區(qū)別

最簡(jiǎn)單實(shí)用的判斷標(biāo)準(zhǔn)是:

  • 能取地址的就是左值 —— 它在內(nèi)存中有確定位置
  • 不能取地址的就是右值 —— 它是臨時(shí)的,轉(zhuǎn)瞬即逝

舉些栗子感受一下:

// 左值例子:
int a = 42;        // a是左值,&a是合法的
int arr[5];        // arr是左值,&arr是合法的
int *p = &a;       // p是左值,&p是合法的
a = 100;           // a可以出現(xiàn)在等號(hào)左邊,是個(gè)"可修改的左值"
const int c = 10;  // c是左值但不可修改,是個(gè)"不可修改的左值"
// 右值例子:
int b = a + 1;     // a+1是右值,你不能寫(xiě)&(a+1)
int d = 42;        // 字面量42是右值,你不能寫(xiě)&42
func();            // 函數(shù)返回值是右值(除非返回引用)

2. 腦洞助記:左值像房子,右值像旅館

想象一下:

(1) 左值就像你擁有的房子:

  • 有固定地址(可以&取址)
  • 可以長(zhǎng)期存在(生命周期確定)
  • 可以反復(fù)訪(fǎng)問(wèn)(可以多次使用)
  • 可以改裝(可修改,除非const)

(2) 右值就像旅館房間:

  • 臨時(shí)的(生命周期短)
  • 住完就退房(用完就銷(xiāo)毀)
  • 地址無(wú)法長(zhǎng)期持有(不能直接取址)
  • 東西可以被帶走(資源可以被轉(zhuǎn)移走,可以被右值引用捕獲)

二、引用:普通引用vs右值引用

1. 左值引用 (普通引用)

在傳統(tǒng)C++中,"引用"通常指的是左值引用:

int a = 42;
int& ref = a;  // 左值引用,綁定到左值
ref = 100;     // 修改ref實(shí)際上就是修改a
std::cout << a;  // 輸出100,原變量被修改了

// 下面這些是錯(cuò)誤的用法
// int& invalid_ref;        // 錯(cuò)誤:引用必須初始化  
// int& ref_to_literal = 42; // 錯(cuò)誤:不能綁定到字面量(右值)

左值引用的幾個(gè)關(guān)鍵特點(diǎn):

  • 必須初始化,而且一旦綁定就不能重新綁定到其他對(duì)象
  • 對(duì)引用的操作就是對(duì)原變量的操作
  • 常規(guī)左值引用只能綁定到左值(名字都帶"左值",當(dāng)然只能綁左值啦)

2. const左值引用的特殊性

const int&是個(gè)特殊的存在,它既能綁左值,又能綁右值!

int x = 42;
const int& ref1 = x;    // 綁定到左值,沒(méi)問(wèn)題
const int& ref2 = 42;   // 綁定到右值,也沒(méi)問(wèn)題!
const int& ref3 = x+1;  // 綁定到表達(dá)式結(jié)果,也可以!

為什么const int&能綁定右值?因?yàn)榫幾g器會(huì)創(chuàng)建一個(gè)臨時(shí)變量來(lái)存儲(chǔ)右值,然后引用綁定到這個(gè)臨時(shí)變量上。而且因?yàn)槭莄onst的,所以保證你不會(huì)修改這個(gè)臨時(shí)對(duì)象,安全!

這就是為什么你經(jīng)??吹胶瘮?shù)參數(shù)用const T&——它能同時(shí)接受左值和右值參數(shù)!

void printValue(const std::string& s) {  // 既能接受左值又能接受右值
    std::cout << s << std::endl;
}

std::string str = "hello";
printValue(str);             // 左值:沒(méi)問(wèn)題
printValue(str + " world");  // 右值:也沒(méi)問(wèn)題!

3. 右值引用 (C++11新特性)

C++11引入了右值引用,語(yǔ)法是雙&&:

int&& rref = 42;       // 右值引用,綁定到右值
int x = 10;
// int&& bad_ref = x;  // 錯(cuò)誤:右值引用不能直接綁定到左值

右值引用專(zhuān)門(mén)用來(lái)綁定右值的,這些右值通常是臨時(shí)的、即將消亡的值。

4. 右值引用的"雙面性"

這個(gè)很重要但容易讓人混亂:右值引用類(lèi)型的變量本身是左值!

int&& rref = 42;  // rref的類(lèi)型是右值引用(int&&),但rref本身是個(gè)左值
int& ref = rref;  // 正確!因?yàn)閞ref雖然類(lèi)型是右值引用,但它是個(gè)有名字的變量,所以是左值

void foo(int&& x) {
    x = 100;  // x在函數(shù)內(nèi)部是左值!盡管它的類(lèi)型是右值引用
}

記住這個(gè)規(guī)則:如果它有名字,它就是左值,不管它的類(lèi)型是什么!

5. 左值引用和右值引用在函數(shù)中的表現(xiàn)

void foo(int& x) {
    // 參數(shù)必須是左值
}

void bar(int&& x) {
    // 參數(shù)必須是右值
    // 但x本身在函數(shù)內(nèi)部是左值(因?yàn)樗忻郑?}

int main() {
    int a = 5;
    foo(a);     // 正確,a是左值
    // foo(10);    // 錯(cuò)誤,10是右值
    
    bar(10);    // 正確,10是右值
    // bar(a);     // 錯(cuò)誤,a是左值
}

6. 究竟什么時(shí)候用左值引用,什么時(shí)候用右值引用?

(1) 用左值引用的場(chǎng)景:

  • 想避免復(fù)制大對(duì)象時(shí):void process(BigObject& obj);
  • 需要修改傳入的參數(shù)時(shí):void increment(int& value);
  • 實(shí)現(xiàn)"輸出參數(shù)"時(shí):void getValues(int& out1, std::string& out2);

(2) 用const左值引用的場(chǎng)景:

  • 想避免復(fù)制,但不需要修改原對(duì)象:void print(const BigObject& obj);
  • 函數(shù)既要接受左值又要接受右值:bool compare(const std::string& s1, const std::string& s2);

(3) 用右值引用的場(chǎng)景:

  • 實(shí)現(xiàn)移動(dòng)語(yǔ)義(下面會(huì)講):void moveFrom(BigObject&& obj);
  • 完美轉(zhuǎn)發(fā)(高級(jí)話(huà)題,下次講):template<typename T> void wrapper(T&& param);

左值引用就像借用別人的東西,而右值引用則像是接管了一個(gè)無(wú)主之物!

三、移動(dòng)語(yǔ)義:不是真的"移動(dòng)",而是"偷"

現(xiàn)在我們來(lái)到C++11最激動(dòng)人心的部分!移動(dòng)語(yǔ)義就像是程序員的"循環(huán)利用"藝術(shù),讓我們能夠合法地"偷"資源,而不是復(fù)制它們。

1. 傳統(tǒng)復(fù)制的問(wèn)題

假設(shè)你有個(gè)自定義字符串類(lèi):

class MyString {
private:
    char* data;
    size_t length;
public:
    // 構(gòu)造函數(shù)
    MyString(constchar* str) {
        length = strlen(str);
        data = newchar[length + 1];
        strcpy(data, str);
    }
    
    // 析構(gòu)函數(shù)
    ~MyString() {
        delete[] data;
    }
    
    // ... 其他成員
};

傳統(tǒng)的復(fù)制是這樣的:

// 復(fù)制構(gòu)造函數(shù)
MyString(const MyString& other) {
    length = other.length;
    data = newchar[length + 1];
    strcpy(data, other.data);  // 復(fù)制內(nèi)容,開(kāi)辟新內(nèi)存
}

// 復(fù)制賦值運(yùn)算符
MyString& operator=(const MyString& other) {
    if (this != &other) {
        delete[] data;  // 釋放原有資源
        length = other.length;
        data = newchar[length + 1];
        strcpy(data, other.data);  // 復(fù)制內(nèi)容,開(kāi)辟新內(nèi)存
    }
    return *this;
}

問(wèn)題在哪? 當(dāng)你在傳遞大對(duì)象時(shí),特別是臨時(shí)對(duì)象,復(fù)制操作會(huì)帶來(lái)不必要的性能開(kāi)銷(xiāo)。

2. 思考一個(gè)場(chǎng)景

MyString createGreeting() {
    MyString greeting("Hello, world!");
    return greeting;  // 返回時(shí)會(huì)創(chuàng)建臨時(shí)對(duì)象
}

void useString() {
    MyString s = createGreeting();  // 從臨時(shí)對(duì)象復(fù)制構(gòu)造
    // 臨時(shí)對(duì)象隨后被銷(xiāo)毀
}

在這個(gè)過(guò)程中,我們做了什么?

  • 創(chuàng)建greeting,分配內(nèi)存并填充"Hello, world!"
  • 返回時(shí)創(chuàng)建臨時(shí)對(duì)象,又分配內(nèi)存并復(fù)制"Hello, world!"
  • 構(gòu)造s時(shí),再次分配內(nèi)存并復(fù)制"Hello, world!"
  • 臨時(shí)對(duì)象銷(xiāo)毀,釋放其內(nèi)存

三次內(nèi)存分配,兩次不必要的復(fù)制! 有沒(méi)有更好的方法?

3. 移動(dòng)語(yǔ)義:合法的資源"竊取"

C++11引入的移動(dòng)語(yǔ)義允許我們直接"偷取"即將被銷(xiāo)毀的對(duì)象的資源:

// 移動(dòng)構(gòu)造函數(shù)
MyString(MyString&& other) noexcept {
    length = other.length;
    data = other.data;         // 直接偷走指針
    other.data = nullptr;      // 把被偷的對(duì)象標(biāo)記為"已被偷"
    other.length = 0;
}

// 移動(dòng)賦值運(yùn)算符
MyString& operator=(MyString&& other) noexcept {
    if (this != &other) {
        delete[] data;         // 釋放自身原有資源
        length = other.length;
        data = other.data;     // 偷走other的資源
        other.data = nullptr;  // 標(biāo)記other為"已被偷"狀態(tài)
        other.length = 0;
    }
    return *this;
}

現(xiàn)在我們的代碼變成:

MyString createGreeting() {
    MyString greeting("Hello, world!");
    return greeting;  // 返回時(shí)會(huì)創(chuàng)建臨時(shí)對(duì)象
}
void useString() {
    MyString s = createGreeting();  // 現(xiàn)在可以移動(dòng)構(gòu)造,而不是復(fù)制
}

這里的巨大優(yōu)勢(shì)在于:

  • 只有一次內(nèi)存分配(在createGreeting里面)
  • 沒(méi)有不必要的復(fù)制
  • 通過(guò)簡(jiǎn)單地轉(zhuǎn)移指針?biāo)袡?quán),我們獲得了巨大的性能提升

4. 移動(dòng)語(yǔ)義背后的魔法細(xì)節(jié)

來(lái)聊聊那些你必須知道的移動(dòng)語(yǔ)義細(xì)節(jié),我盡量用最簡(jiǎn)單的語(yǔ)言和例子說(shuō)明:

(1) 被移動(dòng)對(duì)象必須保持有效但狀態(tài)不確定

MyString source("Hello");
MyString dest = std::move(source);  // 移動(dòng)構(gòu)造

// 此時(shí)source仍然是有效的對(duì)象,但它的內(nèi)容是什么?
// 我們只知道它不再擁有原來(lái)的字符串資源,但具體狀態(tài)不確定
// 你可以對(duì)source賦新值,但不應(yīng)該使用它的當(dāng)前值

// 此時(shí)直接使用source是危險(xiǎn)的
std::cout << source.data;    // 危險(xiǎn)!source可能已經(jīng)是空指針

// 但給source賦新值是安全的
source = MyString("World");  
// 賦值后,使用source又變得安全了
std::cout << source.data;    // 現(xiàn)在安全了,因?yàn)閟ource有了新值

為了安全,最好的做法是把被移動(dòng)的對(duì)象當(dāng)作"已經(jīng)被掏空"的東西,不要再使用它的值,直到你給它賦予新值。

(2) 移動(dòng)操作應(yīng)該標(biāo)記為noexcept(這很重要)

// 最佳實(shí)踐:標(biāo)記移動(dòng)操作為noexcept
MyString(MyString&& other) noexcept {
    data = other.data;
    other.data = nullptr;
}

為什么要加noexcept?這涉及到STL容器的性能優(yōu)化:

// 這樣STL容器在擴(kuò)容時(shí)會(huì)優(yōu)先使用移動(dòng)而不是復(fù)制
std::vector<MyString> vec;
vec.push_back(MyString("test"));  // 當(dāng)vector需要擴(kuò)容時(shí)會(huì)使用移動(dòng)操作

關(guān)鍵點(diǎn):雖然在簡(jiǎn)單移動(dòng)場(chǎng)景下,不加noexcept也會(huì)調(diào)用移動(dòng)構(gòu)造函數(shù),但在STL容器的特定操作中(特別是擴(kuò)容時(shí)),noexcept會(huì)產(chǎn)生重要影響:

  • 如果移動(dòng)構(gòu)造標(biāo)記了noexcept,STL容器知道移動(dòng)操作不會(huì)拋異常,就可以放心使用更高效的移動(dòng)操作
  • 如果沒(méi)有標(biāo)記noexcept,某些STL實(shí)現(xiàn)會(huì)采取保守策略,在需要保證異常安全性的場(chǎng)景下退回到復(fù)制操作

簡(jiǎn)而言之,加上noexcept是一種優(yōu)化提示,告訴STL容器:"放心,我的移動(dòng)操作絕對(duì)不會(huì)拋異常,你可以放心使用它來(lái)提高性能!"

(3) 簡(jiǎn)單類(lèi)型的移動(dòng)等同于復(fù)制

// 對(duì)于int、double這樣的簡(jiǎn)單類(lèi)型,移動(dòng)和復(fù)制沒(méi)有區(qū)別
int a = 5;
int b = std::move(a);  // 和 int b = a; 效果完全一樣
std::cout << a;  // 輸出仍然是5,因?yàn)閕nt的移動(dòng)就是復(fù)制

移動(dòng)語(yǔ)義只對(duì)管理資源(指針、句柄等)的類(lèi)有明顯優(yōu)勢(shì)。

(4) 自定義類(lèi)的規(guī)則變了

在C++11之前,如果你不定義任何特殊函數(shù),編譯器會(huì)自動(dòng)生成:

  • 默認(rèn)構(gòu)造函數(shù)
  • 復(fù)制構(gòu)造函數(shù)
  • 復(fù)制賦值運(yùn)算符
  • 析構(gòu)函數(shù)

C++11之后,又多了兩個(gè):

  • 移動(dòng)構(gòu)造函數(shù)
  • 移動(dòng)賦值運(yùn)算符

但有個(gè)重要規(guī)則:如果你自定義了復(fù)制操作,編譯器不會(huì)生成移動(dòng)操作;反之亦然。

class OnlyCopy {
public:
    OnlyCopy(const OnlyCopy& other) { /*...*/ }  // 只定義了復(fù)制構(gòu)造
    // 編譯器不會(huì)生成移動(dòng)構(gòu)造和移動(dòng)賦值
};

class OnlyMove {
public:
    OnlyMove(OnlyMove&& other) noexcept { /*...*/ }  // 只定義了移動(dòng)構(gòu)造
    // 編譯器不會(huì)生成復(fù)制構(gòu)造和復(fù)制賦值
};

如果你想要兩者都有,就必須兩者都自己定義!

5. 現(xiàn)實(shí)中移動(dòng)語(yǔ)義的使用場(chǎng)景

來(lái)看幾個(gè)真實(shí)場(chǎng)景,理解移動(dòng)語(yǔ)義為什么這么強(qiáng)大:

(1) 容器擴(kuò)容的性能飛躍

當(dāng)std::vector需要擴(kuò)容時(shí),它需要把所有元素從舊內(nèi)存轉(zhuǎn)移到新內(nèi)存??纯从袩o(wú)移動(dòng)語(yǔ)義的區(qū)別:

// 創(chuàng)建一個(gè)字符串向量并添加數(shù)據(jù)
std::vector<MyString> names;
for(int i = 0; i < 1000; ++i) {
    names.push_back(MyString("很長(zhǎng)的字符串..."));  // 每次可能導(dǎo)致擴(kuò)容
}

沒(méi)有移動(dòng)語(yǔ)義時(shí):

  • 分配新內(nèi)存(原來(lái)大小的1.5或2倍)
  • 復(fù)制構(gòu)造所有元素到新內(nèi)存(每個(gè)元素都要新分配內(nèi)存并復(fù)制字符串內(nèi)容)
  • 析構(gòu)舊內(nèi)存中的所有元素
  • 釋放舊內(nèi)存

有移動(dòng)語(yǔ)義時(shí):

  • 分配新內(nèi)存
  • 移動(dòng)構(gòu)造所有元素到新內(nèi)存(只是轉(zhuǎn)移指針,不復(fù)制內(nèi)容)
  • 析構(gòu)舊內(nèi)存中的所有元素(這些都是被移動(dòng)過(guò)的空殼)
  • 釋放舊內(nèi)存

性能對(duì)比:對(duì)于管理大量?jī)?nèi)存的類(lèi)(如字符串、容器),移動(dòng)比復(fù)制可能快幾倍甚至數(shù)10倍!

(2) 返回大對(duì)象的函數(shù)

C++里返回大對(duì)象一直是個(gè)性能擔(dān)憂(yōu),看看移動(dòng)語(yǔ)義怎么解決這個(gè)問(wèn)題:

// 返回一個(gè)包含百萬(wàn)個(gè)元素的向量
std::vector<int> createLargeVector() {
    std::vector<int> result;
    for(int i = 0; i < 1000000; ++i) {
        result.push_back(i);
    }
    return result;  // 返回一個(gè)巨大的對(duì)象!
}

// 使用這個(gè)函數(shù)
void useVector() {
    std::vector<int> myVec = createLargeVector();  // 不用擔(dān)心性能了!
}

C++98時(shí)代:這會(huì)導(dǎo)致一次額外的復(fù)制,程序員經(jīng)常被迫使用輸出參數(shù)或動(dòng)態(tài)分配來(lái)避免這個(gè)開(kāi)銷(xiāo)。

C++11移動(dòng)語(yǔ)義后:編譯器會(huì)自動(dòng)優(yōu)化,使用移動(dòng)語(yǔ)義避免多余復(fù)制。甚至在更多情況下,編譯器可能應(yīng)用返回值優(yōu)化(RVO),完全消除復(fù)制/移動(dòng)。

(3) 交換(swap)操作的巨大改進(jìn)

移動(dòng)語(yǔ)義讓交換操作變得超級(jí)高效:

// 交換兩個(gè)很大的字符串
MyString a("超長(zhǎng)字符串...");
MyString b("另一個(gè)超長(zhǎng)字符串...");

// C++98的交換
void old_swap(MyString& a, MyString& b) {
    MyString temp(a);  // 復(fù)制構(gòu)造
    a = b;            // 復(fù)制賦值
    b = temp;         // 復(fù)制賦值
}

// C++11的交換
void new_swap(MyString& a, MyString& b) {
    MyString temp(std::move(a));  // 移動(dòng)構(gòu)造
    a = std::move(b);             // 移動(dòng)賦值
    b = std::move(temp);          // 移動(dòng)賦值
}

性能提升:在管理大量資源的類(lèi)中,移動(dòng)交換可能比傳統(tǒng)交換快幾十倍!這也是為什么C++11標(biāo)準(zhǔn)庫(kù)全面升級(jí)了std::swap的實(shí)現(xiàn)。

(4) 智能指針與移動(dòng)語(yǔ)義的完美配合

移動(dòng)語(yǔ)義讓std::unique_ptr真正變得易用。理解這一點(diǎn)很簡(jiǎn)單:

// unique_ptr的核心特點(diǎn):獨(dú)占所有權(quán),不允許復(fù)制
std::unique_ptr<BigObject> p1(new BigObject());
// std::unique_ptr<BigObject> p2 = p1;  // 錯(cuò)誤!不能復(fù)制

// 但有了移動(dòng)語(yǔ)義,我們可以轉(zhuǎn)移所有權(quán):
std::unique_ptr<BigObject> p2 = std::move(p1);  // 成功!p1變?yōu)榭?,p2獲得所有權(quán)

這讓我們能輕松地在函數(shù)間傳遞unique_ptr:

std::unique_ptr<BigObject> createObject() {
    auto ptr = std::make_unique<BigObject>();
    // 配置對(duì)象...
    return ptr;  // 自動(dòng)使用移動(dòng)語(yǔ)義,資源所有權(quán)被轉(zhuǎn)移
}

void processObject() {
    auto obj = createObject();  // obj獲得所有權(quán)
    // 使用obj...
}  // obj自動(dòng)釋放資源

簡(jiǎn)單來(lái)說(shuō):沒(méi)有移動(dòng)語(yǔ)義,unique_ptr 就像一個(gè)不能傳遞的"門(mén)票";有了移動(dòng)語(yǔ)義,它變成可以轉(zhuǎn)讓但同一時(shí)刻只有一人持有的"門(mén)票"。這讓我們能同時(shí)擁有安全性和靈活性!

6. 小貼士:移動(dòng)語(yǔ)義的失效情況

有些情況下即使你用了std::move,移動(dòng)語(yǔ)義也會(huì)失效:

對(duì)象沒(méi)有移動(dòng)操作 如果類(lèi)沒(méi)有定義移動(dòng)構(gòu)造/賦值,std::move會(huì)退化為復(fù)制操作。

移動(dòng)操作被禁用 某些類(lèi)可能顯式刪除了移動(dòng)操作。

移動(dòng)不如復(fù)制快 對(duì)于某些簡(jiǎn)單類(lèi)型,編譯器可能選擇復(fù)制而不是移動(dòng),因?yàn)閺?fù)制可能更高效。

現(xiàn)在,你對(duì)"偷"資源的藝術(shù)是不是有更清晰的理解了?移動(dòng)語(yǔ)義是C++11最重要的特性之一,掌握它會(huì)讓你的代碼性能有質(zhì)的飛躍!

四、std::move:不是移動(dòng),是變身大法

這個(gè)名字起得有點(diǎn)坑人,很多C++新手看到std::move就以為它會(huì)移動(dòng)什么東西。事實(shí)上:

std::move根本不會(huì)移動(dòng)任何東西!

1. std::move的真相

它的真正作用非常簡(jiǎn)單:把一個(gè)左值強(qiáng)制轉(zhuǎn)換為右值引用類(lèi)型。

// std::move簡(jiǎn)化版實(shí)現(xiàn)(揭開(kāi)它的神秘面紗)
template<typename T>
typename std::remove_reference<T>::type&& move(T&& param) {
    return static_cast<typename std::remove_reference<T>::type&&>(param);
}

不用被上面的代碼嚇到,它本質(zhì)上就是一個(gè)類(lèi)型轉(zhuǎn)換函數(shù),相當(dāng)于:

// 偽代碼,更容易理解
template<typename T>
右值引用類(lèi)型 move(參數(shù)) {
    return 把參數(shù)轉(zhuǎn)成右值引用類(lèi)型;
}

2. 為什么叫"變身大法"?

想象一下,std::move就像是一個(gè)魔法標(biāo)簽:

MyString a("Hello");  // a是個(gè)普通的左值

// std::move在這里施了個(gè)魔法!
MyString b = std::move(a);  // 把a(bǔ)貼上"可以偷我"的標(biāo)簽

這個(gè)魔法做了什么?

  • 它把a(bǔ)從"普通左值"變身為"右值引用"
  • 這個(gè)變身讓編譯器調(diào)用移動(dòng)構(gòu)造函數(shù)而不是復(fù)制構(gòu)造函數(shù)
  • 移動(dòng)構(gòu)造函數(shù)看到右值引用,心想:"這家伙被標(biāo)記為可偷了,我可以偷它的資源!"

3. 看個(gè)實(shí)際例子

#include <iostream>
#include <string>
usingnamespacestd;

int main() {
    string name = "Hello World";  // name是個(gè)左值
    
    cout << "原始name: " << name << endl;
    
    // 錯(cuò)誤理解:下面這行會(huì)移動(dòng)name
    string new_name = std::move(name);
    
    // 真相:std::move只是轉(zhuǎn)換類(lèi)型,真正的移動(dòng)發(fā)生在string的移動(dòng)構(gòu)造函數(shù)中
    cout << "移動(dòng)后name: " << name << endl;  // name可能為空或未定義狀態(tài)
    cout << "new_name: " << new_name << endl;
}

輸出可能是:

原始name: Hello World
移動(dòng)后name: 
new_name: Hello World

為什么說(shuō)"可能為空"?因?yàn)楸灰苿?dòng)的對(duì)象處于"有效但未指定"的狀態(tài),標(biāo)準(zhǔn)只保證它可以安全析構(gòu),不保證它的具體內(nèi)容。實(shí)際上對(duì)于std::string,大多數(shù)實(shí)現(xiàn)中移動(dòng)后的字符串會(huì)變?yōu)榭铡?/p>

4. std::move使用注意事項(xiàng)

  • 移動(dòng)后不要再使用原對(duì)象的值:
vector<int> v1 = {1, 3, 5};
auto v2 = std::move(v1);  // v1被轉(zhuǎn)換成右值引用
// cout << v1[0] << endl;  // 危險(xiǎn)!v1的狀態(tài)未定義
v1 = {1, 2, 3};  // 重新賦值后才能安全使用
  • 返回值不需要std::move:
// 不要這樣做
vector<int> createVector() {
    vector<int> result = {1, 2, 3};
    return std::move(result);  // 多余的!編譯器已經(jīng)會(huì)自動(dòng)應(yīng)用返回值優(yōu)化
}

// 正確做法
vector<int> createVector() {
    vector<int> result = {1, 2, 3};
    return result;  // 編譯器會(huì)自動(dòng)處理
}
  • 何時(shí)該用std::move
// 場(chǎng)景1:當(dāng)你確定不再需要某個(gè)變量時(shí)
string str = "hello";
doSomething(std::move(str));  // str的值被移走了

// 場(chǎng)景2:實(shí)現(xiàn)移動(dòng)語(yǔ)義
void swap(T& a, T& b) {
    T temp = std::move(a);  // 移動(dòng)a到temp
    a = std::move(b);       // 移動(dòng)b到a
    b = std::move(temp);    // 移動(dòng)temp到b
}

// 場(chǎng)景3:將對(duì)象插入容器
vector<MyObject> v;
MyObject obj;
v.push_back(std::move(obj));  // 避免不必要的復(fù)制

5. 小貼士:std::forward vs std::move

std::move和std::forward容易混淆:

  • std::move總是無(wú)條件地將參數(shù)轉(zhuǎn)為右值引用
  • std::forward根據(jù)模板參數(shù)類(lèi)型有條件地轉(zhuǎn)換(完美轉(zhuǎn)發(fā),這個(gè)我們下篇聊)

6. 總結(jié):理解std::move

  • std::move不移動(dòng)任何東西,它只是類(lèi)型轉(zhuǎn)換
  • 真正的移動(dòng)發(fā)生在移動(dòng)構(gòu)造函數(shù)或移動(dòng)賦值運(yùn)算符中
  • 移動(dòng)后,原對(duì)象仍然存在,但狀態(tài)不確定
  • 只有當(dāng)你不再需要原對(duì)象的值時(shí),才使用std::move

記住這個(gè)比喻:std::move就像是給對(duì)象貼了個(gè)"可偷"的標(biāo)簽,告訴編譯器:"這個(gè)對(duì)象的資源可以被偷走!"

五、實(shí)戰(zhàn)例子:移動(dòng)語(yǔ)義的威力

來(lái)看個(gè)實(shí)際例子,感受一下移動(dòng)語(yǔ)義帶來(lái)的性能提升:

#include <iostream>
#include <vector>
#include <string>
#include <chrono>

int main() {
    constint NUM_STRINGS = 100000;  // 測(cè)試字符串?dāng)?shù)量
    constint STRING_SIZE = 1000;      // 每個(gè)字符串大小

    // 創(chuàng)建源數(shù)據(jù) - 兩個(gè)相同的字符串向量
    std::vector<std::string> sourceDataCopy;
    std::vector<std::string> sourceDataMove;

    // 填充源數(shù)據(jù)
    for (int i = 0; i < NUM_STRINGS; i++) {
        sourceDataCopy.push_back(std::string(STRING_SIZE, 'x'));
        sourceDataMove.push_back(std::string(STRING_SIZE, 'x'));
    }

    // 準(zhǔn)備目標(biāo)容器
    std::vector<std::string> destCopy;
    std::vector<std::string> destMove;
    destCopy.reserve(NUM_STRINGS);
    destMove.reserve(NUM_STRINGS);

    // 測(cè)試復(fù)制性能
    auto startCopy = std::chrono::high_resolution_clock::now();

    for (constauto& str : sourceDataCopy) {
        destCopy.push_back(str);  // 復(fù)制插入
    }

    auto endCopy = std::chrono::high_resolution_clock::now();

    // 測(cè)試移動(dòng)性能
    auto startMove = std::chrono::high_resolution_clock::now();

    for (auto& str : sourceDataMove) {
        destMove.push_back(std::move(str));  // 移動(dòng)插入
    }

    auto endMove = std::chrono::high_resolution_clock::now();

    // 計(jì)算時(shí)間
    auto copyTime = std::chrono::duration_cast<std::chrono::milliseconds>(endCopy - startCopy).count();
    auto moveTime = std::chrono::duration_cast<std::chrono::milliseconds>(endMove - startMove).count();

    // 輸出結(jié)果
    std::cout << "插入" << NUM_STRINGS << "個(gè)字符串(每個(gè)"
        << STRING_SIZE << "字符)的時(shí)間對(duì)比:\n";
    std::cout << "復(fù)制方式: " << copyTime << " ms\n";
    std::cout << "移動(dòng)方式: " << moveTime << " ms\n";
    std::cout << "性能比率: 復(fù)制/移動(dòng) = "
        << (moveTime > 0 ? static_cast<double>(copyTime) / moveTime : 0)
        << " 倍\n";

    // 驗(yàn)證移動(dòng)確實(shí)發(fā)生了
    size_t emptyCount = 0;
    for (constauto& str : sourceDataMove) {
        if (str.empty()) emptyCount++;
    }
    std::cout << "被移動(dòng)的源字符串?dāng)?shù)量: " << emptyCount << " (應(yīng)該接近于 " << NUM_STRINGS << ")\n";

    return0;
}

在我的電腦上運(yùn)行結(jié)果(你的可能不同):

插入100000個(gè)字符串(每個(gè)1000字符)的時(shí)間對(duì)比:
復(fù)制方式: 170 ms
移動(dòng)方式: 68 ms
性能比率: 復(fù)制/移動(dòng) = 2.5 倍
被移動(dòng)的源字符串?dāng)?shù)量: 100000 (應(yīng)該接近于 100000)

看到差距了嗎?移動(dòng)比復(fù)制快了近3倍!插入的字符串?dāng)?shù)量越多,效果越明顯!

六、何時(shí)使用移動(dòng)語(yǔ)義?

理解了移動(dòng)語(yǔ)義的原理后,關(guān)鍵問(wèn)題來(lái)了:什么時(shí)候該用它?

下面我從實(shí)戰(zhàn)角度詳細(xì)講解各種常見(jiàn)場(chǎng)景。

1. 不再需要某對(duì)象的值時(shí)

當(dāng)你確定不再需要某個(gè)變量的值時(shí),可以安全地"偷走"它的資源:

std::string name = "一個(gè)很長(zhǎng)的字符串...";
std::string name2;

// 當(dāng)你確定之后不再使用name的值時(shí)
name2 = std::move(name);  // 直接偷走name的資源

// 此后不應(yīng)該再訪(fǎng)問(wèn)name的值,除非重新賦值
// cout << name << endl;  // 危險(xiǎn)!name可能已被掏空
name = "新值";  // 這樣是安全的

這是最常見(jiàn)也最實(shí)用的移動(dòng)語(yǔ)義場(chǎng)景,尤其適用于大型對(duì)象(如字符串、容器等)的傳遞。

2. 函數(shù)返回值(通常不需要std::move)

對(duì)于函數(shù)返回值,編譯器通常會(huì)自動(dòng)應(yīng)用返回值優(yōu)化(RVO)或移動(dòng)語(yǔ)義:

std::vector<int> createVector() {
    std::vector<int> result;
    // 填充result...
    
    return result;  // 不需要std::move!
    // 編譯器會(huì)自動(dòng)優(yōu)化,可能直接在調(diào)用者空間構(gòu)造,
    // 或者應(yīng)用移動(dòng)語(yǔ)義
}

錯(cuò)誤示范:

std::vector<int> createVector() {
    std::vector<int> result;
    // ...
    return std::move(result);  // 錯(cuò)誤用法!可能阻礙RVO
}

為什么不需要std::move?因?yàn)镃++標(biāo)準(zhǔn)允許編譯器在返回局部變量時(shí)省略復(fù)制/移動(dòng)(RVO 返回值優(yōu)化),這比移動(dòng)更高效。而使用std::move反而會(huì)阻止這種優(yōu)化!

3. 實(shí)現(xiàn)容器類(lèi)或資源管理類(lèi)

如果你在設(shè)計(jì)自己的容器或管理資源的類(lèi),移動(dòng)語(yǔ)義是必不可少的:

class Buffer {
private:
    char* data;
    size_t size;

public:
    // 移動(dòng)構(gòu)造函數(shù)
    Buffer(Buffer&& other) noexcept
        : data(other.data), size(other.size) {
        other.data = nullptr;
        other.size = 0;
    }
    
    // 移動(dòng)賦值運(yùn)算符
    Buffer& operator=(Buffer&& other) noexcept {
        if (this != &other) {
            delete[] data;
            data = other.data;
            size = other.size;
            other.data = nullptr;
            other.size = 0;
        }
        return *this;
    }
    
    // ... 其他成員 ...
};

4. 向容器中插入大型對(duì)象

當(dāng)向容器中添加元素時(shí),移動(dòng)可以避免不必要的復(fù)制:

std::vector<MyLargeObject> collection;

MyLargeObject obj = createLargeObject();  // 創(chuàng)建一個(gè)大對(duì)象

// 不好的方式:復(fù)制obj到容器
collection.push_back(obj);  // obj會(huì)被復(fù)制

// 更好的方式:移動(dòng)obj到容器
collection.push_back(std::move(obj));  // obj被移動(dòng),避免復(fù)制
// 此后obj處于有效但未指定狀態(tài)

5. swap函數(shù)實(shí)現(xiàn)

移動(dòng)語(yǔ)義讓交換操作變得更高效:

template <typename T>
void my_swap(T& a, T& b) {
    T temp = std::move(a);  // 移動(dòng)a到temp
    a = std::move(b);       // 移動(dòng)b到a
    b = std::move(temp);    // 移動(dòng)temp到b
}

6. 函數(shù)參數(shù)使用右值引用

當(dāng)你想在函數(shù)內(nèi)部"竊取"參數(shù)資源時(shí):

void processAndStore(std::string&& str) {
    // 因?yàn)閰?shù)是右值引用,我們知道調(diào)用者不再需要它
    storage.push_back(std::move(str));  // 可以安全地移動(dòng)
}

// 調(diào)用方式
processAndStore(std::string("臨時(shí)字符串"));  // 直接傳遞臨時(shí)對(duì)象
std::string s = "hello";
processAndStore(std::move(s));  // 明確表示不再需要s的值

7. 什么時(shí)候不要使用移動(dòng)語(yǔ)義?

了解不應(yīng)該使用移動(dòng)的場(chǎng)景同樣重要:

(1) 當(dāng)你還需要使用源對(duì)象的值時(shí)

std::string name = "Alice";
std::string greeting = "Hello, " + std::move(name);  // 錯(cuò)誤用法!
std::cout << "Name: " << name << std::endl;  // name的值現(xiàn)在不確定

(2) 不必要的std::move

// 不需要這樣做
return std::move(result);  // 多余的!編譯器會(huì)自動(dòng)處理返回值優(yōu)化(RVO)

(3) 簡(jiǎn)單類(lèi)型(如int、double等)

int a = 5;
int b = std::move(a);  // 沒(méi)有效果,和 int b = a; 完全一樣

8. 移動(dòng)語(yǔ)義自動(dòng)觸發(fā)的地方

在某些情況下,移動(dòng)語(yǔ)義會(huì)自動(dòng)觸發(fā),無(wú)需顯式使用std::move:

(1) 返回局部變量

std::vector<int> createVector() {
    std::vector<int> result;
    // 填充result...
    return result;  // 編譯器通常會(huì)自動(dòng)應(yīng)用移動(dòng)語(yǔ)義或返回值優(yōu)化
}

(2) 臨時(shí)對(duì)象初始化

std::string s = std::string("hello") + " world";  // 右側(cè)臨時(shí)對(duì)象會(huì)被移動(dòng),而非復(fù)制

9. 移動(dòng)語(yǔ)義測(cè)試

如何驗(yàn)證移動(dòng)語(yǔ)義是否真的生效?可以添加打印語(yǔ)句:

class MyClass {
public:
    MyClass() { std::cout << "構(gòu)造\n"; }
    MyClass(const MyClass&) { std::cout << "復(fù)制構(gòu)造\n"; }
    MyClass(MyClass&&) noexcept { std::cout << "移動(dòng)構(gòu)造\n"; }
    // ...
};

int main() {
    MyClass a;
    MyClass b = a;           // 輸出"復(fù)制構(gòu)造"
    MyClass c = std::move(a); // 輸出"移動(dòng)構(gòu)造"
}

10. 總結(jié):移動(dòng)語(yǔ)義的最佳實(shí)踐

  • 當(dāng)確定不再需要原對(duì)象的值時(shí),使用std::move
  • 為你的類(lèi)實(shí)現(xiàn)移動(dòng)操作,并標(biāo)記為noexcept
  • 函數(shù)參數(shù)中使用右值引用可以"竊取"臨時(shí)對(duì)象的資源
  • 移動(dòng)后不要使用原對(duì)象的值,除非重新賦值
  • 對(duì)于大型對(duì)象,優(yōu)先考慮移動(dòng)而非復(fù)制

記?。阂苿?dòng)語(yǔ)義是C++性能優(yōu)化的重要武器!

七、小結(jié):左值、右值與移動(dòng)語(yǔ)義的關(guān)系

  • 左值:有名字、有地址的東西
  • 右值:臨時(shí)的、即將消亡的東西
  • 左值引用&:綁定到左值的引用
  • 右值引用&&:綁定到右值的引用
  • 移動(dòng)語(yǔ)義:利用右值引用從即將消亡的對(duì)象"偷"資源
  • std::move:把左值變身為右值引用,允許我們對(duì)左值應(yīng)用移動(dòng)語(yǔ)義

八、寫(xiě)在最后:移動(dòng)語(yǔ)義小貼士

搞懂了移動(dòng)語(yǔ)義的原理,我再給你幾個(gè)簡(jiǎn)單實(shí)用的小貼士,幫你在實(shí)際編碼中用好這個(gè)特性:

1. 日常使用要點(diǎn)

記住移動(dòng)后原對(duì)象就像"被偷了家":

string original = "Hello World";
string new_str = std::move(original);

// original現(xiàn)在可能是空的!除非你給它新值,否則別再用它

合適的場(chǎng)景才用std::move:

  • 當(dāng)你確定不再需要某個(gè)變量值時(shí)
  • 當(dāng)你要把資源從一個(gè)對(duì)象轉(zhuǎn)移到另一個(gè)對(duì)象時(shí)
  • 當(dāng)你往容器里插入大對(duì)象時(shí)

不要對(duì)簡(jiǎn)單類(lèi)型用std::move:

int a = 5;
int b = std::move(a);  // 沒(méi)意義,和 int b = a; 完全一樣

2. 自己寫(xiě)類(lèi)時(shí)的注意事項(xiàng)

實(shí)現(xiàn)移動(dòng)操作時(shí)記得"掏空"原對(duì)象:

MyClass(MyClass&& other) noexcept {
    data = other.data;       // 偷資源
    other.data = nullptr;    // 記得標(biāo)記原對(duì)象"已被偷" 
}

移動(dòng)操作最好標(biāo)記為noexcept:

  • 這樣能提高容器操作的性能
  • 使用noexcept關(guān)鍵字即可

如果實(shí)現(xiàn)了移動(dòng),通常也需要實(shí)現(xiàn)復(fù)制:

  • 大多數(shù)情況下兩者都需要
  • 在實(shí)現(xiàn)移動(dòng)操作時(shí),記得正確處理資源所有權(quán)

3. 簡(jiǎn)單判斷口訣

  • 臨時(shí)對(duì)象或右值 → 自動(dòng)觸發(fā)移動(dòng)
  • 命名變量 → 需要std::move才能觸發(fā)移動(dòng)
  • 移動(dòng)后的變量 → 不要再使用它的值(除非重新賦值)

怎么樣,現(xiàn)在對(duì)左值、右值和移動(dòng)語(yǔ)義是不是有了更清晰的理解?C++的這部分特性雖然開(kāi)始有點(diǎn)繞,但掌握后真的能寫(xiě)出更高效的代碼。

下次當(dāng)你看到std::move或者&&時(shí),你就能自信地說(shuō):"我知道這是在做什么!"

責(zé)任編輯:趙寧寧 來(lái)源: 跟著小康學(xué)編程
相關(guān)推薦

2025-03-28 08:50:00

指針編程C 語(yǔ)言

2025-02-07 09:58:43

C++11Lvalue對(duì)象

2022-02-16 12:52:22

C++項(xiàng)目編譯器

2010-02-03 17:32:54

C++左值與右值

2022-07-26 00:36:06

C#C++函數(shù)

2020-08-11 11:00:16

左值引用右值引用移動(dòng)語(yǔ)義

2012-02-13 10:18:42

C++ 11

2024-12-17 17:24:24

2015-11-12 10:03:34

前端H5web

2024-03-05 09:55:00

C++右值引用開(kāi)發(fā)

2017-01-13 23:06:45

swiftios

2024-01-31 23:51:22

C++移動(dòng)語(yǔ)義代碼

2021-11-10 12:13:02

HostonlyCookie瀏覽器

2009-11-12 09:37:14

Visual Stud

2020-09-27 06:53:57

MavenCDNwrapper

2017-04-03 15:35:13

知識(shí)體系架構(gòu)

2021-12-03 17:22:09

CC++編程語(yǔ)言

2010-02-06 15:49:31

刪除C++容器值

2015-03-17 10:13:52

HTML5什么鬼

2019-10-30 10:13:15

區(qū)塊鏈技術(shù)支付寶
點(diǎn)贊
收藏

51CTO技術(shù)棧公眾號(hào)