C++11 右值引用與移動語義完全指南

前言

C++11 引入的右值引用與移動語義是現代 C++ 性能優化的核心特性。本文系統解析左值/右值區別、引用類型演進、移動語義實現機制，並通過 MyString 類完整示例展示如何消除不必要的拷貝，大幅提升資源管理效率。

一、核心概念辨析

1.1 左值與右值

• 左值：可寫入、有名字、可取地址的對象（如變量 int a）。本質是內存位置（Location）。
• 右值：臨時對象、字面量、運算結果等不可寫入、無名字的值（如 3、a+b）。本質是數據值（Read）。

經典判斷：能出現在賦值號左邊的是左值，只能出現在右邊的是右值。

1.2 左值引用 vs 右值引用

1.3 右值引用的雙重使命

1. 實現移動語義：轉移資源所有權，避免深拷貝開銷
2. 支援完美轉發：保持參數的值類別、cv 資格原封不動地傳遞

二、語法與重載解析

2.1 重載區分示例

void process(int& i)  { cout << "LValue: " << i << endl; }
void process(int&& i) { cout << "RValue: " << i << endl; }

int main() {
    int a = 0;
    process(a);      // 輸出 LValue
    process(1);      // 輸出 RValue
    process(std::move(a)); // 輸出 RValue
}

2.2 命名右值引用的「左值屬性」

關鍵規則：有名字的右值引用在函數內部是左值。

void forward(int&& i) {
    process(i);  // i 有名字 → 視為左值 → 調用 process(int&)
}

int main() {
    forward(2);  // 輸出 LValue processed: 2
}

三、移動語義深度實戰

3.1 拷貝與移動的對比

• 拷貝語義：複製資源（如文件 Copy），原對象保持不變
• 移動語義：轉移資源所有權（如文件剪切），源對象置空

3.2 MyString 類完整演進

階段一：僅有拷貝構造/賦值（低效）

class MyString {
    char* _data; size_t _len;
    // 拷貝構造
    MyString(const MyString& str) {
        _len = str._len;
        _data = new char[_len+1];
        memcpy(_data, str._data, _len);
        cout << "Copy Ctor" << endl;
    }
    // 拷貝賦值
    MyString& operator=(const MyString& str) { ... }
};

輸出：Copy Assignment... Copy Constructor... —— 每次操作都伴隨內存申請、拷貝、釋放。

階段二：加入移動構造/賦值（高效）

class MyString {
    char* _data; size_t _len;
    // 移動構造
    MyString(MyString&& str) noexcept {
        _len = str._len;
        _data = str._data;     // 直接接管指針
        str._len = 0;
        str._data = nullptr;   // 來源置空，防止析構釋放
        cout << "Move Ctor" << endl;
    }
    // 移動賦值
    MyString& operator=(MyString&& str) noexcept {
        if (this != &str) {
            delete[] _data;
            _len = str._len;
            _data = str._data;
            str._len = 0;
            str._data = nullptr;
        }
        cout << "Move Assign" << endl;
        return *this;
    }
};

輸出：Move Assignment... Move Constructor... —— 僅指針轉移，零內存拷貝。

3.3 移動操作實現三要素

1. 參數必須是非 const 右值引用（需修改源對象）
2. 接管資源：淺拷貝指針、長度等元數據
3. 置空源對象：防止其析構函數釋放已轉移資源

int a = 10;
process(a);           // LValue
process(std::move(a)); // RValue —— 強制啟用移動語義

// 傳統 swap（3 次拷貝）
template <class T> void swap(T& a, T& b) {
    T tmp(a); a = b; b = tmp;
}

// 移動版 swap（3 次移動，無拷貝）
template <class T> void swap(T& a, T& b) {
    T tmp(std::move(a));
    a = std::move(b);
    b = std::move(tmp);
}

// 傳統需 2^n 個重載
template <typename T> void forward(const T& val) { process(val); }
template <typename T> void forward(T& val)       { process(val); }

// C++11 單一模板搞定
template <typename T> void forward(T&& val) { process(std::forward<T>(val)); }