C++11 move 與 forward 完整解析：右值引用、完美轉發與資源管理

背景痛點：C++98 無法區分左值/右值

`T&` 綁定左值，`const T&` 綁定左/右值。無法針對右值（臨時對象）編寫專用邏輯（如移動構造），導致不必要的深拷貝。

C++11 右值引用 `T&&`

• 綁定右值（臨時對象、將亡值）
• 使「移動語義」成為可能：竊取資源而非拷貝
• 規則：**有名字的變量是左值**（即使聲明為 `T&&`）

move 實現與作用

template 
typename remove_reference::type&& move(T&& a) {
    return static_cast::type&&>(a);
}

**無條件將參數轉為右值引用**。使左值也能被當作右值處理（如 `std::swap` 內部使用 `move` 實現三次指釖交換而非深拷貝）。

完美轉發問題與 forward

模板函數轉發參數時，需保持參數的值屬性（左值/右值、const/volatile）。

兩大核心規則

1. **引用折疊**：`T& & → T&`、`T& && → T&`、`T&& & → T&`、`T&& && → T&&`
2. **模板推導特例**：`template void f(T&&)` 中，實參為左值 → `T` 推導為 `U&`，參數類型變 `U&`；實參為右值 → `T` 推導為 `U`，參數類型 `U&&`

forward 實現

template 
T&& forward(typename remove_reference::type& arg) {
    return static_cast(arg);
}

配合上述規則，`forward(arg)` 能還原 `arg` 原始值屬性：傳入左值 → 返回左值；傳入右值 → 返回右值。

應用場景

• 通用工廠函數 `factory(args...)` 完美轉發構造參數
• 標準庫 `emplace_back`、`make_shared` 等
• 移動構造/賦值運算符實現資源竊取

本質

`move`/`forward` 本質是 `static_cast`，賦予語義明確性。核心在於引用折疊規則與模板推導特例的配合。