参见英文答案 >
Why does std::move take a forward reference?2个
只是为了确认我对std :: move的理解
只是为了确认我对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代理引用而不是左值.
