std::forward如何促進左值和右值引用的完美轉發

在C語言中，std::forward在實現完美轉發，確保將參數傳遞給函數並保留其原始值類別。在處理左值和右值引用時，這種行為可能會特別令人困惑。

左值與右值區別

「如果它有名稱，那麼它就是左值。」雖然這句話通常成立，但它並不能完全解釋std::forward 在處理thing&& x 與thing& x.

Lvalue References (thing& x)

當參數透過左值引用傳遞時，它在函數內仍然是左值引用。左值引用始終綁定到特定的命名記憶體位置。

相反，當參數透過右值引用傳遞時，它可以是右值引用，也可以是轉換後的左值引用。右值引用綁定到臨時物件或正在移動的值。

std::forward 由特殊的換算表。其主要目的是將任何類型的引用轉換為右值引用。此轉換不會變更原始參數的值類別。

template
void perfectSet(T&& t) {
    set(std::forward(t));
}

完美轉送 考慮接受 T&& 參數的範本函數 PerfectSet :

std::vector v;
perfectSet(v); // lvalue reference passed to set

現在，當使用左值呼叫 PerfectSet 時，實例化函數中的型別 T 被推斷為 T&。 std::forward 轉換確保將參數傳遞給 set 作為左值參考。

perfectSet(makeAndFillVector()); // rvalue reference passed to set

但是，如果使用右值呼叫PerfectSet，則T 被推斷為T&&，並且std::forward 將參數轉換為右值引用，從而啟用set:perfectSet(makeAndFillVector()); // 右值引用傳遞給set