在向量中放置派生的可移动但不可复制会产生编译错误

Question

我在尝试 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 中删除了复制构造函数并且没有基 class，它编译正确。
不知何故，删除移动构造函数中的默认值也可以使它正确编译，但是我必须定义移动构造函数，我不想去那里。

这意味着编译正常：

#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，而不能是 move-constructed。 Test 实际上不是 move-constructible 在你的第一个例子中。

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

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

Test(Test&&) { }

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

Base 不是 move-constructible 因为它有一个 user-declared 复制构造函数，这阻止了移动构造函数的隐式声明 - 它根本没有移动构造函数 - 及其副本构造函数被删除（它无法处理右值，因为它需要一个 non-const 引用）。

如果您使 Base move-constructible，通过添加，例如，

Base(Base&&) = default;

然后 Test 也变为 move-constructible，您的示例将编译。

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

有关 std::vector 在重新分配期间选择使用哪个构造函数来复制/移动元素的逻辑的解释，请参阅 . Looking at the logic that std::move_if_noexcept 用于选择对 return 的引用类型，在我们的例子中它将是一个右值引用（当 T 不是 copy-constructible 时，条件总是假的）。因此，我们仍然希望编译器尝试调用移动构造函数。

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

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

在向量中放置派生的可移动但不可复制会产生编译错误

Emplace a derived movable but noncopyable in a vector gives compilation error

c++

vector

emplace

noncopyable