c – 为什么std :: move采用forward_reference而不是lvaue引用

参见英文答案 > Why does std::move take a forward reference?2个
只是为了确认我对std :: move的理解

std :: move – 转换T&对T&&这样T的移动构造函数就会启动(如果存在,否则复制ctor将发挥其作用,除非我们没有外部删除移动ctor / assignment).

当我看到std :: move的可能实现时就像

template<typename T>
typename remove_reference<T>::type&& move(T&& param)
{
using ReturnType =typename remove_reference<T>::type&&;
return static_cast<ReturnType>(param);
}

它使用remove_reference的原因< T>是因为应用于forward_reference T&& amp;

我只是想知道为什么我们需要前向参考,我们不能这样做

template<typename T>
T&& moveInQuestion(T& p){
  return static_cast<T&&>(p);
}

struct someType{};
someType lvalref;
static_assert(is_same<decltype(moveInQuestion(lvalref)),decltype(std::move(lvalref))>::value,"");

static_assert没有失败.

而且我还认为std :: move的值类别是一个左值,这种情况可能是moveInQuestion可能比std :: move更好吗？

解决方法

通常的例子是通用代码

template<class T>
T frob() {
    std::vector<T> x = /* ... */;
    return std::move(x[0]);
}

随着你的移动,当T为bool时会中断,因为在这种情况下x [0]是prvalue代理引用而不是左值.