编译器何时应该生成移动构造函数？

Question

我使用 VS11 并使用以下内容：

class ContextWrapper
{
public:

    ContextWrapper()
    {
    } //it should be defaulted I *guess* in order to have automatic move constructor ?
      // no support in VS11 for that now  

    Context* GetContext()
    {
        return this->context.get();
    }

    void SetContext(std::unique_ptr<Context> context)
    {
        this->context = std::move(context);
    }

    //ContextWrapper(ContextWrapper&& other):  context(std::move(other.context))
    //{
    //} // I would like this to be generated by the compiler

private:
    ContextWrapper(const ContextWrapper&);
    ContextWrapper& operator= (const ContextWrapper&);

    std::unique_ptr<Context> context;
};

我希望此类生成移动构造函数/赋值。我没有一个微不足道的构造函数的事实是我没有得到移动的原因吗？还是有其他因素影响？

Answer 1

不幸的是，C++11 的这一部分在不断变化。而且无论标准要说什么，VC11 都不可能实现它。所以就今天而言，我不相信你能指望生成的移动成员。

不过，这是一个很好的问题，我想得到一个很好的答案。

一般来说，如果您没有用户声明的复制成员或析构函数，编译器应该生成移动成员。 = default 和 = delete 算作用户声明。如果您声明一个移动成员（例如移动构造函数），则不会隐式生成另一个。

不幸的是，C++11 继续说，有时移动成员在使用 =default 声明时会被隐式删除，有时它们的生成取决于基和成员是否具有移动成员或可简单复制。这太复杂了，有时会产生令人惊讶的行为。这是跟踪此错误的 CWG 问题：

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1402

在我撰写本文时，该问题没有正确的建议解决方案。我预计这会在大约一周内改变。在俄勒冈州波特兰举行的 2012 年秋季 C++ 标准会议上，达成了一项协议，其内容基本上是：

1. 编译器永远不会隐式删除移动成员。
2. 移动成员​​的隐式生成将始终与= default 相同。
3. 隐式生成将不取决于基地或成员的琐碎程度，也不取决于它们在移动时是否会抛出。

简而言之，我希望 CWG 1402 的更正措辞简单地说：

一般来说，如果你没有，编译器应该生成移动成员 用户声明的复制成员或析构函数。 = default 和 = delete 算作用户声明。如果您声明一个移动成员（例如移动 构造函数），其他的不会隐式生成。 如果你 =default 是一个移动成员，你会得到一些移动的东西 每个基地和成员。

（适当的标准化）。我还没有看到会这样说的措辞。 Jason Merrill 正在为我们编写。

这意味着有时编译器会隐式生成投掷移动成员。但我们要的是简单的规则，但大多数时候都做正确的事（很少有惊喜）。

Answer 2

为了更直接地回答这个问题，Visual Studio 不支持任何版本的隐式移动构造函数/赋值生成。因此，您必须始终手动将它们写出来。