为什么不动的对象仍然是副本

Question

考虑以下代码，实体对象是不可移动的。我知道STD ::移动（OBJ）只是将OBJ投入到rvalue参考obj中。我还知道，rvalue参考变量仍然是一个lvalue对象。但是我仍然让为什么语句auto temp = std :: move（a）可以调用复制构造函数，语句a = a = std :: move（b）;可以调用复制分配操作员。由于STD :: Move（a）是RVALUE参考，因此为什么它仍然可以调用LVALUE构造函数。

#include <iostream>

template<typename T>
void my_swap(T& a, T& b) {
    auto temp = std::move(a);
    a = std::move(b);
    b = std::move(temp);
}

class Entity{
    int _id;
public:
    Entity(int id) :_id(id)  {std::cout << "construtor\n" << std::endl;}
    Entity(const Entity& other) {
        _id = other._id;
        std::cout << "copy constructor\n" << std::endl;
    }

    Entity& operator= (const Entity& other) {
        if (&other == this) return *this;
        this->_id = other._id;
        std::cout << "copy assignment operator\n";
        return *this;
    }

};

int main() {
    Entity e1 = Entity(10);
    Entity e2 = Entity(20);
    my_swap(e1,e2);
    return 0;
}

Answer 1

实体对象不可移动

。即使没有移动构造函数/分配操作员，它也具有复制构造函数/赋值操作员，将lvalue-reference带到const。 std ::移动（a）和std :: move（b）是rvalue（xvalue）表达式，它们可以绑定到lvalue-reference至const。

您还可以检查 std :: is_move_move_move_constructible ：：

类型没有移动构造函数，但带有一个复制构造函数，该构造函数接受const t＆amp;参数，满足std :: is_move_constructible。

Answer 2

如果要使您的entity不可移动，请按删除添加移动组件和移动分配运算符：

    Entity(Entity&& other) = delete;
    Entity& operator= (Entity&& other) = delete;

Answer 3

考虑到以下代码，实体对象是不可移动的。

不，不是。 实体是可移动的。

但是我仍然让为什么语句自动temp = std :: move（a）

lvalue引用const可以绑定到rvalue。复制构造函数接受const参数的lVALUE参考。该参数可以绑定到std ::移动（a） rvalue参数。

我也知道rvalue参考变量仍然是一个lvalue对象。

不完全。参考不是对象。命名任何名称的ID表达，包括RVALUE参考Varaible，都是LVALUE。

实体是可移动的。确实是因为存在默认的移动构造函数/分配 - 操作器。

它是可移动的，因为它具有复制构造函数/分配运算符，并且没有删除移动构造函数/分配运算符。