std::forward 实现之间的区别

Question

最近我一直在尝试理解移动语义并提出了一个问题。

这个问题已经讨论过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;
}

所以如果我传递 l-value，它会返回 l-value（编译，因为我可以从 l-value 中获取地址）如果我这样做：

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

我的代码无法编译，因为 my_forward 返回了 r 值。在上面的问题中，他们说这个实现和标准实现之间的区别（分别使用 std::remove_reference 和 2 个不同的参数与 & 和 && ）是我的实现一直返回左值，但正如我所展示的那样返回右值和左值。

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

Answer 1

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

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

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

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

以上内容无法编译。它适用于std::forward。

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

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

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

Answer 2

不幸的是，获取地址在您的上下文中不是一个有用的操作，因为它查看了错误的值类别：

• 您可以获取glvalue 的地址，但不能获取prvalue。 glvalue 表示“位置”（即对象所在的位置），prvalue 表示“初始化”（即对象具有什么值）。

• 您可以从右值中窃取资源，但不能从左值中窃取。左值引用绑定到左值，右值引用绑定到右值。 std::forward 的要点是在提供右值时将参数强制转换为右值，在提供左值时将参数强制转换为左值。

std::forward返回右值的时候，其实是返回了一个xvalue，xvalues既是rvalues又是glvalues：

                    lvalue       f() for "T& f();",   decltype(f()) is T&
                  /
          glvalue
        /         \
  value             xvalue       f() for "T&& f();",  decltype(f()) is T&&
        \         /
           rvalue
                  \
                    prvalue      f() for "T f();",    decltype(f()) is T