保证大 std::vector 的移动

Question

我有一个大型数据集（数 GB）存储在一个不适合 QVector（最大 ~2gb）的文件中，该文件是写时复制的，不会受此影响。我像这样将向量加载到内存中：

std::vector<int> load()
{
    std::vector<int> vec;
    QFile file("filename");
    file.open(QIODevice::ReadOnly);
    QDataStream stream(&file);
    stream >> vec; //using my implementation of QDataStream &operator>>(QDataStream &stream, std::vector<int> &v)
    return vec;
}

并将其传递给这个：

class Data
{
public:
    Data(const std::vector<int> &data) :
        d(data)
    {
    }

private:
    std::vector<int> d;
};

这样：

Data data(load());

现在在load() 中创建了向量并用文件中的数据填充。然后它按值返回，但我认为编译器应该对其进行优化，而不是实际复制vec，而是将其移动到目的地。

目标是Data 的私有成员，但我怀疑构造函数中的初始化列表实际上可能会复制向量而不是移动它，因为它不知道（或者是吗？）它已收到一个 const 引用临时的。

有没有办法保证在这种场景下向量只会在构造后移动而不被复制？我怀疑使用std::move、std::forward 或更改Data::Data() 的签名来获取r 值参考？

Answer 1

您可以添加一个接受右值引用的构造函数，然后用它复制构造数据成员：

Data(std::vector<int>&& data) :
    d(std::move(data)) {}

Data(const std::vector<int>& data) // as before

有一个较短的版本，您可以将两个构造函数重载替换为一个，并按值获取参数。请注意，这依赖于右值参数的复制省略以避免任何额外的移动副本。它可能比两个重载解决方案做更多的工作，但与复制大向量^* 的内容相比，工作量很小。它也可能需要额外的挠头，尽管它已经变得有点惯用了：

Data(std::vector<int> data) :
    d(std::move(data)) {}

---

^{* 请参阅 this related post，尤其是 Howard Hinnant 的回答。}