std::仅移动类型列表:不能在 VC++ 中放入 std::vector

std::list of move-only type: Cannot emplace into std::vector in VC++

本文关键字：std vector VC++ 不能 移动 类型 列表      更新时间：2023-10-16

在VC++ 2019中，我无法emplace_back仅移动类型的(右值)list。

#include <vector>
#include <list>
struct A
{
A(A&&) {}
};
using ListOfA = std::list<A>;
int main()
{
std::vector<ListOfA> v;
// Build error in VC++ 2019
// No error in Clang and GCC C++11 - C++2a
v.emplace_back(std::move(ListOfA()));
}

尝试在 VC++ 2019 中构建会给出以下编译错误：

'A::A(const A &)': attempting to reference a deleted function

显然，VC++正在尝试实例化A的(左值)复制构造函数，该构造函数(正确)不存在，因为我已显式定义了A的一个构造函数。

我认为通过从另一个list移动来就地实例化vector中的list应该是有效的 - 也就是说，list类确实有一个移动构造函数，我认为它应该只是让新list对(移自)list中的元素拥有所有权， 不需要任何副本。

事实上，使用Wandbox，相同的代码使用GCC和Clang构建和运行而不会出错。

有人可以解释为什么这段代码不能在VC++ 2019中编译吗？ 我是否有误解 - 实际上是否有正当理由为什么(左值)复制构造函数由上面的代码中的 VC++ 编译器实例化？

注意

当std::move(...)不存在时，VC++ 中会发生相同的错误;即以下行也发生相同的错误：

v.emplace_back(ListOfA());

MSVC 使用std::list的复制构造函数，因为它的移动构造函数正在抛出。在重新分配期间，如果移动构造函数引发，std::vector无法提供标准要求的强异常保证。

在您的情况下，向量在重新分配之前没有任何元素，因此似乎没有调用复制构造函数，但这并不意味着不需要复制构造函数。

libstdc++和libc++中的std::listnoexcept移动构造函数。这是允许的，但标准没有要求。

相关文章：