c++ - std::forward 实现之间的区别

Question

最近我一直在尝试理解 move 语义并想出了一个问题。

问题已经讨论过了here .

我实现了第一个变体并检查它返回的是左值还是右值:

#include <iostream>
using namespace std;

template <typename T>
T&& my_forward(T&& x) {
    return static_cast<T&&> (x);
}

int main() {
    int a = 5;
    &my_forward(a); // l-value
    return 0;
}

因此，如果我传递左值，它会返回左值(编译，因为我可以从左值获取地址)，如果我这样做:

&my_forward(int(5)); // r-value with int&& type

我的代码没有编译，因为 my_forward 返回了右值。在上面的问题中，他们说此实​​现与标准实现之间的区别(分别使用 std::remove_reference 和 2 个不同的 & 和 && 参数)是我的实现始终返回左值，但正如我所展示的返回右值和左值。

所以我想知道，为什么我不能像那样实现 std::forward？在什么具体情况下，它会显示标准之间的差异？另外，为什么我要将 T 指定为模板，而不能让它用参数类型定义自己？

Answer 1

尝试在真实环境中像 std forward 一样处理它。你的不行；

void test(std::vector<int>&&){}

template<class T>
void foo(T&&t){
  test(my_forward<T>(t));
}

foo( std::vector<int>{} );

以上不编译。它与 std::forward 一起使用。

除了 block 引用生命周期延长之外，您的转发没有任何用处。同时，std::forward 是一个有条件的 std::move。

所有有名字的都是左值，但是向前 move 带名字的右值引用。

具有名称的右值引用是左值。