c++ - 将局部变量声明为右值引用是否无用，例如T&& r = move (v)？

Question

你们能不能给我一个在特定情况下的说明性例子来证明以下陈述是有用和必要的？

AnyTypeMovable   v;
AnyTypeMovable&& r = move(v);

Answer 1

不，AnyTypeMovable&& r = move(v);这里一点用处都没有。

考虑以下代码:

#include <iostream>
#include <vector>

class MyMovableType
{
        int i;
public:
        MyMovableType(int val): i(val){}
        MyMovableType(MyMovableType&& r) { this->i = r.i; r.i = -1; }
        MyMovableType(const MyMovableType& r){ this->i = r.i; }
        int getVal(){ return i; }
};

int main()
{
        std::vector<MyMovableType> vec;
        MyMovableType a(10);
        MyMovableType&& aa = std::move(a);

        vec.push_back(aa);

        std::cout << a.getVal() << std::endl;

        return 0;

}

作为 aa是左值(如 R. Martinho Fernandes 和 Xeo 所述 - 命名的右值引用是左值)，这将打印 10表示没有执行 move (在赋值中也没有，在push_back调用中也没有)，所以你仍然需要std::move到push_back方法，如本例所示:

#include <iostream>
#include <vector>

class MyMovableType
{
        int i;
public:
        MyMovableType(int val): i(val){}
        MyMovableType(MyMovableType&& r) { this->i = r.i; r.i = -1; }
        MyMovableType(const MyMovableType& r){ this->i = r.i; }
        int getVal(){ return i; }
};

int main()
{
        std::vector<MyMovableType> vec;
        MyMovableType a(10);
        MyMovableType&& aa = std::move(a);

        vec.push_back(std::move(aa));

        std::cout << a.getVal() << std::endl;

        return 0;

}

将执行 move ，因此打印输出将是 -1 .所以，尽管你正在传递 aa到push_back ，你仍然需要通过std::move .