C++11 std::move 與 std::forward 源碼深度解析

C++11 std::move 與 std::forward 源碼深度解析

std::move 實現移動語義，std::forward 實現完美轉發。本文基於 GCC 4.6 標準庫源碼，逐行分析實現機制。

預備知識

• 引用折疊：T& & → T&, T&& & → T&, T& && → T&, T&& && → T&&。
• 模板參數推導（右值引用形參）：
  • 實參為左值 U& → 推導 T = U&。
  • 實參為右值 U&& → 推導 T = U。
• std::remove_reference：去除類型中的引用，remove_reference::type = T。
• static_cast(expr)：將表達式轉為類型 T 的右值（無名右值引用）。

std::move 實現

template
inline typename std::remove_reference<_Tp>::type&&
move(_Tp&& __t) {
    return static_cast::type&&>(__t);
}

左值調用分析 move(a)（a 為 X 類型左值）

1. 形參 _Tp&& 匹配 X& → 推導 _Tp = X&。
2. remove_reference::type = X。
3. 返回類型 X&&。
4. static_cast(a) 將左值 a 轉為右值。

右值調用分析 move(X())

1. 形參匹配 X&& → 推導 _Tp = X。
2. remove_reference::type = X。
3. 返回類型 X&&。
4. static_cast(X()) 右值保持右值。

std::forward 實現

// 重載 1：左值引用形參
template
inline _Tp&& forward(typename std::remove_reference<_Tp>::type& __t) {
    return static_cast<_Tp&&>(__t);
}
// 重載 2：右值引用形參（含靜態斷言防誤用）
template
inline _Tp&& forward(typename std::remove_reference<_Tp>::type&& __t) {
    static_assert(!std::is_lvalue_reference<_Tp>::value, "template argument substituting _Tp is an lvalue reference type");
    return static_cast<_Tp&&>(__t);
}

完美轉發場景

template
void outer(T&& t) { inner(forward(t)); }

void inner(const X&) { cout << "lvalue\n"; }
void inner(X&&) { cout << "rvalue\n"; }

int main() {
    X a; outer(a);      // 輸出 lvalue
    outer(X());         // 輸出 rvalue
}

左值轉發分析 outer(a)

1. outer 推導 T = X&，形參 t 類型 X&。
2. 調用 forward(t)。
3. 匹配重載 1：_Tp = X&，remove_reference::type = X，形參類型 X& 匹配。
4. static_cast(t) → 引用折疊 X&，保持左值。

右值轉發分析 outer(X())

1. outer 推導 T = X，形參 t 類型 X&&。
2. 調用 forward(t)。
3. 匹配重載 1：_Tp = X，形參類型 X& 不匹配 X&&。
4. 匹配重載 2：_Tp = X，形參類型 X&& 匹配，靜態斷言通過。
5. static_cast(t) 保持右值。

核心差異總結

工程應用建議

• swap 實現：T tmp(move(a)); a = move(b); b = move(tmp);。
• 工廠函數完美轉發構造參數：template unique_ptr make(Args&&... args) { return unique_ptr(new T(forward(args)...)); }。
• 只有確定不再使用對象時才 move，轉發場景優先 forward。

深入理解這兩個工具的編譯期類型推導與引用折疊機制，是掌握 C++11 移動語義與完美轉發的核心鑰匙。

1. 上一篇文章： NYUOJ 1162 數字：字符串分割排序輸出
2. 下一篇文章： USACO 1.2 Dual Palindromes：多進制回文檢測

C++ 入門

設計模式：單例模式 完整實作與解析

核心要點 私有化建構函數，防止外部直接 new。 靜態成員

UVA 11538 Chess Queen：計算兩皇后互相攻擊的放置方案數

題目大意 在一個 n × m 的棋盤上放置兩個不同的皇后，使

C++ 指針與字串操作：兩種參數形式實現字串長度計算

陣列名與指針參數的等價性驗證 C++ 中字串處理常面臨「陣列

UVA 507 Jill Rides Again：最大子段和 DP 變體

UVA 507 Jill Rides Again：最大子段和