std::forward 是一個 C++11 中的模板函數，其主要作用是在模板函數或模板類中，將一個參數以“原樣”（forward）的方式轉發(fā)給另一個函數。通常情況下，該函數被用于實現(xiàn)完美轉發(fā)（perfect forwarding）。

完美轉發(fā)是指，一個函數或類模板可以將其參數原封不動地轉發(fā)給另一個函數或類模板，同時保持被轉發(fā)參數的左右值特性（lvalue 或 rvalue）。它在實現(xiàn)泛型編程時非常有用，因為它可以避免重復編寫代碼，同時提高代碼的可復用性。

在 C++ 中，函數參數可以是左值引用（lvalue reference）或右值引用（rvalue reference）。對于一個模板函數或類模板，當傳遞一個參數時，如果該參數是左值，那么傳遞的就是一個左值引用；如果該參數是右值，那么傳遞的就是一個右值引用。

通常情況下，在將參數轉發(fā)給其他函數時，我們需要保留原始參數的左右值特性。這就是 std::forward 函數的作用，它可以將一個參數的左右值特性原封不動地轉發(fā)給其他函數。

下面是一個使用 std::forward 的例子：

#include <iostream>
#include <utility>

void func(int& x) {
    std::cout << "lvalue reference: " << x << std::endl;
}

void func(int&& x) {
    std::cout << "rvalue reference: " << x << std::endl;
}

template<typename T>
void wrapper(T&& arg) {
    func(std::forward<T>(arg));
}

int main() {
    int x = 42;
    wrapper(x);  // lvalue reference: 42
    wrapper(1);  // rvalue reference: 1
    return 0;
}

在上面的例子中，我們定義了兩個函數 func，一個接受左值引用，另一個接受右值引用。然后我們定義了一個模板函數 wrapper，它的參數是一個完美轉發(fā)引用（perfect forwarding reference） T&&。在 wrapper 函數中，我們使用 std::forward 函數將參數 arg 轉發(fā)給 func 函數。通過使用 std::forward，我們可以確保 func 函數接收到的參數的左右值特性與原始參數保持一致。

• 當向wrapper里面?zhèn)魅離的時候，wrapper推導認為 T是一個左值引用int &，通過引用折疊原則（看萬能引用文章）int && + & = int &，相當于wrapper(int& arg)，同時我們知道了T推導為int&，那么在向func傳遞的時候，就是func(std::forward<int&> (arg)) ，那么func會以左值引用的形式 func(int& x) 調用arg。
• 當向wrapper里面?zhèn)魅?的時候，wrapper推導認為T是一個右值引用int&& ，通過引用折疊原則，int && + && =int&& ，相當于wrapper(int&& arg)，同時我們知道了T推導為int&&，那么在向func傳遞的時候，就是func(std::forward<int&&>(arg))，那么func會以左值引用的形式func(int&& x)調用arg。

簡單來說，當傳遞給 wrapper 函數的參數是右值時，T 會被推導為右值引用類型 int&&，此時 std::forward(arg) 的返回值類型為 int&&，將會調用 func(int&&)。當傳遞給 wrapper 函數的參數是左值時，T 會被推導為左值引用類型 int&，此時 std::forward(arg) 的返回值類型為 int&，將會調用 func(int&)。

當我們把std::forward去掉的話，那么當傳入一個具名變量參數時，func會認為這個值就是是一個左值。當傳入一個臨時變量（不具名變量）參數的時候，func會認為這個值就是一個右值。

#include <iostream>
#include <utility>

void func(int&& x) {
    std::cout << "rvalue reference: " << x << std::endl;
}

void func(int& x) {
    std::cout << "lvalue reference: " << x << std::endl;
}

template<typename T>
void wrapper(T&& arg) {
    func(arg);
    func(1);
}

int main() {
    int x = 42;
    wrapper(x);  // lvalue reference: 42
    wrapper(10);  // rvalue reference: 1
    return 0;
}

輸出：

lvalue reference: 42
rvalue reference: 1
lvalue reference: 10
rvalue reference: 1

這樣的結果就是不能對arg推導出的類型完美轉發(fā)到其他函數中，顯然不符合本意。

到此這篇關于C++編程之 std::forward的文章就介紹到這了,更多相關C++ std::forward內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！

最新評論