std::forward如何促进左值和右值引用的完美转发

在C语言中，std::forward在实现完美转发，确保将参数传递给函数并保留其原始值类别。在处理左值和右值引用时，这种行为可能会特别令人困惑。

左值与右值区别

“如果它有名称，那么它就是左值。”虽然这句话通常成立，但它并不能完全解释 std::forward 在处理 thing&& x 与 thing& x.

Lvalue References (thing& x)

当参数通过左值引用传递时，它在函数内仍然是左值引用。左值引用始终绑定到特定的命名内存位置。

右值引用 (thing&& x)

相反，当参数通过右值引用传递时，它可以是右值引用，也可以是转换后的左值引用。右值引用绑定到临时对象或正在移动的值。

std::forward 如何工作

std::forward 由特殊的换算表。其主要目的是将任何类型的引用转换为右值引用。此转换不会更改原始参数的值类别。

示例：使用 std::forward

完美转发 考虑接受 T&& 参数的模板函数 PerfectSet :

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

现在，当使用左值调用 PerfectSet 时，实例化函数中的类型 T 被推断为 T&。 std::forward 转换确保将参数传递给 set 作为左值引用。

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

但是，如果使用右值调用 PerfectSet，则 T 被推断为 T&&，并且 std::forward 将参数转换为右值引用，从而启用 set:

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

Conclusion

std::forward 是一个强大的工具，它通过保留传递给函数的参数的值类别来促进完美转发。这可以实现高效且类型安全的值传输，确保最佳性能和代码正确性。