c++ - 在 vector 中放置派生的可移动但不可复制会产生编译错误

Question

当我尝试在不可复制但可移动的对象 vector 中 emplace_back 时遇到编译器错误，具有微妙的继承扭曲，据我所知，这应该不会改变问题。

这是合法的 C++ 还是 Visual Studio 2015 错误，还是我犯了一个明显的错误？

#include <vector>

class Base
{
public:
    Base() {}

    Base(Base&) = delete;
    Base& operator= (Base&) = delete;
};

class Test : public Base
{
public:
    Test(int i) : m_i(i) {}

    Test(Test&&) = default;
    Test& operator= (Test&&) = default;

protected:
    int m_i;
};

int main(int argc, char *argv[])
{
    std::vector<Test> vec;
    vec.emplace_back(1);
}

输出:

error C2280: 'Test::Test(Test &)': attempting to reference a deleted function

没有继承，即在 Test 中删除复制构造函数并且没有基类，它可以正确编译。
不知何故，删除移动构造函数中的默认值也可以使它正确编译，但是我必须定义移动构造函数，我不想去那里。

这意味着编译正常:

#include <vector>

class Test
{
public:
    Test(int i) : m_i(i) {}

    Test(Test&) = delete;
    Test& operator= (Test&) = delete;

    Test(Test&&) = default;
    Test& operator= (Test&&) = default;

protected:
    int m_i;
};

int main(int argc, char *argv[])
{
    std::vector<Test> vec;
    vec.emplace_back(1);
}

莫名其妙？

Answer 1

编译器在您描述的所有情况下都是正确的。

当 Test 派生自 Base 时，它的默认移动构造函数被定义为已删除，因为它试图移动无法移动的 Base -建。 Test 在您的第一个示例中实际上不是可移动构造的。

在你的第二个例子中，没有基类，没有什么可以阻止定义默认的移动构造函数，所以 Test 变成可移动构造的。

当您为移动构造函数提供定义时，由您来处理 Base。如果你只是写

Test(Test&&) { }

这只会默认构造一个 Base 对象，因此移动构造函数会编译，但它可能不会执行您想要的操作。

---

Base 不可移动构造，因为它有一个用户声明的复制构造函数，这阻止了移动构造函数的隐式声明 - 它根本没有移动构造函数 - 并且它的复制构造函数被删除(无论如何它都无法处理右值，因为它采用非常量引用)。

如果您使 Base 可移动构造，例如，通过添加

Base(Base&&) = default;

然后 Test 也变成可移动构造的，您的示例将编译。

---

最后一 block 拼图:既然我们已经为 Test 声明了移动构造函数，为什么错误消息引用了已删除的复制构造函数，即使在第一种情况下也是如此？

有关 std::vector 在重新分配期间选择使用哪个构造函数来复制/移动元素的逻辑的解释，请参阅 this answer .查看 std::move_if_noexcept 的逻辑用于选择返回哪种类型的引用，在我们的例子中它将是右值引用(当 T 不可复制构造时，条件始终为假)。因此，我们仍然希望编译器尝试调用移动构造函数。

但是，还有一条规则开始起作用:定义为 deleted 的默认移动构造函数不参与重载决议。

这样做是为了让右值的构造可以回退到采用 const 左值引用(如果可用)的复制构造函数。请注意，当移动构造函数被显式声明为已删除时，该规则不适用。