为什么std :: vector :: reserve会调用复制构造函数？

Question

为什么以下代码不适用于g++版本4.9.2？ 如果我尝试构建它，编译器会抱怨在向量被告知保留更多内存的行中缺少复制构造函数。

#include <vector>

class Number
{
public:
    explicit Number(const int& i) : _value(i) {}

    Number(const Number& other) = delete;
    Number& operator=(const Number& other) = delete;

private:
    int _value;
};


int main(int argc, char** argv)
{
    std::vector<Number> numbers;
    numbers.reserve(8);

    return 0;
}

为什么编译器甚至会在向量的存储大小增加时尝试调用已删除的复制构造函数？ 无论如何，矢量中没有对象。

Answer 1

简短的回答是因为语言标准这样说。 但这并不有趣。

如果容器中有数据，则Reserve可以调用复制构造函数。

它遵循哪个reserve分支（无副本或副本）在运行时确定，而不是编译时。

您看到编译时错误，而不是运行时错误。 您已声明不应编译可能导致您的对象复制的代码。

编译器不分析reserve位置，向自身证明向量是空的，用它来确定代码reserve哪个分支将运行，然后说“没问题”。 相反，它编译包含副本的函数，并生成错误。

理论上，只允许预分配（空的）和安置构造（直到预定限制）的容器不需要具有任何类型的复制或移动构造的对象。 在编写std容器库时，emplace构造是不切实际的，因此std容器库中不存在此选项：在C ++ 11之前，将对象放入vector的唯一方法是复制它。

std::dynarray接近，但它不会让缓冲区被半未使用并逐渐填充。