为什么即使缺少移动构造函数和移动赋值运算符也可以“移动”对象？

Question

http://en.cppreference.com/w/cpp/language/rule_of_three

几个月前我开始使用 c++11 并且看过五法则。

所以..我开始在每个具有虚拟析构函数的类上放置带有默认关键字的复制构造函数/复制赋值运算符/移动构造函数/移动赋值运算符。

因为规则告诉我，如果您声明显式析构函数，那么您的类将不再具有其隐式移动构造函数和移动赋值运算符。

所以我认为 gcc 会因为缺少移动构造函数和移动赋值运算符而向我抱怨低于类。

但是效果很好！发生了什么？？

class Interface {
public:
    virtual ~Interface() = default;  // implicit destructor
};

class ImplA : public Interface {
public:
    virtual ~ImplA() = default; // implicit destructor
};

ImplA first;
ImplA second(first);            // copy constructor, OK. understood it.
ImplA third(std::move(first));  // move constructor, it's OK. Why?
second = first;             // copy assignment, OK. understood it.
second = std::move(first);  // move assignment, it's also OK. Why?

Answer 1

所以我认为 gcc 会因为缺少移动构造函数和移动赋值运算符而向我抱怨低于类。

因为所需的操作可以通过复制构造函数和复制赋值运算符来执行。 Interface 仍然有 implcitly declared 的复制构造函数和复制赋值运算符。并且右值总是可以绑定到const Interface&。

更准确地说，即使没有提供移动构造函数和移动赋值运算符，Interface 仍然是MoveConstructible，

一个类不必实现一个移动构造函数来满足这个 类型要求：接受const T& 参数的复制构造函数 可以绑定右值表达式。

和MoveAssignable。

该类型不必按顺序实现移动赋值运算符 为了满足这种类型要求：复制赋值运算符 通过值或作为const Type& 获取其参数，将绑定到右值 论据。

---

顺便说一句：如果你明确地创建移动构造函数和移动赋值运算符delete，那么复制和移动操作都会失败。与右值表达式一起使用将选择显式删除的重载，然后失败。使用左值表达式也会失败，因为复制构造函数和复制赋值运算符被隐式声明为删除，因为声明了移动构造函数或移动赋值运算符。