std::vector 和构造函数

Question

当 std::vector 创建它所包含的对象的新实例时，它会调用哪个构造函数？我的印象是它调用了默认构造函数，但如果未定义默认构造函数或者编译器正在为我执行此操作怎么办？

特别是在这样的情况下：

class Foo
{
    public:
        Foo(int size)
        {
            data = new double[size];
        }


        ~Foo()
        {
            delete[] data;
        }

    private:
        double* data;
};

std::vector<Foo> myVector;
Foo bar(5);
myVector.push_back(bar);
//stuff

当对象在构造之后大小未知时，它如何知道要分配多少内存？

Answer 1

至少，要编译 std::vector，T 必须是可复制构造和可复制分配的。如果您想使用 std::vector::vector(int) （或 std::vector::resize()），则 < code>T 必须是默认可构造的。如果不满足其中任何一个要求，代码将无法编译。

...

C++03 标准，第 23.1 节（一般讨论容器）：

存储在这些组件中的对象类型必须满足 CopyConstructible 类型 (20.1.3) 的要求，以及 Assignable 类型的附加要求。

第 20.1.4 节：

20.1.4 默认构造

不需要默认构造函数。某些容器类成员函数签名将默认构造函数指定为默认参数。如果使用默认参数 (8.3.6) 调用这些签名之一，则 T() 应是一个明确定义的表达式 (8.5)。

Answer 2

修复错误后会发生什么：

std::vector<Foo> myVector;
myVector.reserve(10);
myVector.push_back(bar);

有两个 Foo 实例指向同一个 data 缓冲区。它可能会工作一段时间，但最终两个对象都会被销毁，析构函数被调用两次（或更多，取决于 vector 是否需要移动其内容）并且缓冲区是双倍的-freed，导致未定义的行为（通常意味着崩溃）。

---

为了解决向量的初始内容，它复制构造您作为参数传入的模式（此参数默认为默认构造的对象，但并非必须如此）：

std::vector<Foo> myVector(10, bar); // 10 copies of bar