解析为什么不能自动合成的而又未显示删除的移动操作（move operations）会处于未定义状态

问题描述

在某些情况下，编译器不能自动合成（synthesized）移动操作（move constructor和move assignment operator），例如以下情况：

• 成员变量无相应move操作或者不能访问
• 析构函数或者复制操作（copy constructor以及copy assignment operator）被显示定义
• 其直接父类没有相应的move操作成员变量或不能访问

当然还有其它情况会导致编译器不能自动合成移动操作，例如该类的析构函数无法访问会导致构造函数默认为delete。

与复制操作不同的是，即使编译器不能自动合成它，也不会自动声明其为delete，而是让其处于未定义状态。为什么会有此区分？

回答

这样做可以让移动操作在进行重载解析（overload resolution）时被忽略，从而可以使用右值（rvalue）来调用对应复制操作。

我们知道编译器在对右值的实参进行重载解析（或函数绑定）时，如果参数为右值形参的移动操作存在的话，它会比对应的复制操作函数优先级更高，因此如果其被声明为delete，那么就会因无法调用被delete的函数而报错。

这背后体现了C++的“哲学”。当我们不显示地定义移动操作符,同时对应的复制操作可以访问时，编译器想让对应的复制操作来代替他们，而不是直接禁止，毕竟复制操作要安全的多。而同样情况下，不显示定义复制操作符时，复制操作符会被自动声明为delete，即禁止复制，保证关键数据在系统中只有一份。

代码实验

在这个实验中，Base主要演示移动操作被显示的delete的情况，Derived主要演示本问题提到的未定义的移动操作符的情况。在本例中，由于Derived的父类的移动操作被删除，所以其自身不能自动合成移动操作，而复制操作是可以自动合成的。

#include <iostream>

class Base
{
public:
	Base() = default;
	Base(const Base &) 
	{
		std::cout << "Copy constructor" << std::endl;
	}
	Base(Base &&) = delete;	
};

class Derived : public Base
{
public:
	Derived() = default;
};

int main()
{
	Base b;
	
	// 报错，因为移动构造函数被显示删除了
	Base b2{std::move(b)};
	
	// 在MSVC中会报错，因为Base()是右值，绑定到显示声明的
	// 移动构造函数上，但该函数被delete了。
	// 在gnu编译器上不会报错，但这只是因为该编译器强制性的
	// copy elision, 为了提高性能，编译器会省略复制或者移动的过程，
	// 直接在目的地构造对象
	Base b3 = Base();	
	
	Derived d;
	// OK，该右值被隐式转换为左值传给对应的复制构造函数
	// std::move接受没有定义移动操作的对象
	Derived d2{std::move(d)};
	// OK，对应的复制构造函数被调用
	Derived d3 = Derived();
	return 0;
}

关于copy elision本专栏也会讲。