C++对象vector的内存布局与初始化执行过程解析

vector<edge> v(5)的实际执行行为 #

你的理解完全准确，没有偏差，整个执行流程分三步：

• 栈上创建vector管理对象v之后，会向堆内存申请一块连续的未构造内存块，块大小为5 * sizeof(edge)，足够容纳5个edge实例。以你给出的edge类定义为例，类内仅包含3个int类型成员，无虚函数、无继承带来的额外开销，单个edge大小为12字节（3*4字节），因此申请的堆块总大小为60字节。
• 内存申请完成后，vector会从内存块的首地址开始，按照内存偏移依次在对应位置原地构造edge对象，全程不会产生拷贝或临时对象。构造时会调用edge的无参默认构造函数，你在类内给sr/ds/wt设置的默认初始值{0}会在构造时生效，因此5个对象的三个成员初始值均为0。
• 全部对象构造完成后，vector的内部size和capacity字段都会被设置为5，通过v[idx]访问到的就是对应偏移位置上直接构造的edge实例。

你可以在edge的默认构造函数中加入打印语句，运行后会看到默认构造恰好被调用5次，可以直接验证这个流程。

vector<p> v(5)的实际执行流程 #

你的理解同样完全正确，具体流程如下：

• 第一步和之前一致，先申请大小为5 * sizeof(p)的连续堆内存。由于p类仅包含两个edge类型成员，无额外开销，单个p实例大小为24字节（2*12字节），5个实例总共需要120字节堆空间。内存排布完全连续：每个p实例的内存段内，先存储first成员，紧接着存储second成员，5个p实例首尾相接排列。
• 构造时会从首地址开始逐个构造p实例：由于你没有为p定义自定义默认构造函数，编译器会生成合成默认构造函数，执行时会按成员声明顺序，先调用edge的默认构造构造first成员，再调用edge的默认构造构造second成员，两个成员构造完成后，当前位置的p实例即构造完成。
• 上述构造流程重复5次，直到所有索引位置的p对象都构造完毕，全程同样是原地构造，无多余拷贝、移动操作。

关于性能开销的说明 #

这个流程不存在过高的性能开销，完全不需要担心：

• 所有对象均在vector预申请的连续内存上原地构造，没有额外的内存二次分配、对象拷贝/移动开销。同时连续内存布局对CPU缓存非常友好，后续遍历访问时缓存命中率远高于链表等非连续存储结构，实际访问性能反而更好。
• 你定义的edge和p都属于非常轻量的类型，默认构造函数内无任何复杂逻辑，单次构造的开销可以忽略不计。如果去掉你写的空的默认构造函数，直接让编译器生成合成默认构造，编译器甚至可以直接把整个初始化过程优化为对整块内存填0，连函数调用的开销都能完全消去。整个初始化过程的开销和你在栈上/堆上手动定义一个长度为5的edge/p数组完全一致，STL不会引入任何额外成本。
• 如果你后续需要立刻给元素赋新值，认为默认构造的初始化操作是冗余的，可以选择不指定初始化长度创建vector，先调用reserve(5)提前预留足够容量，再通过emplace_back直接传入构造参数原地构造目标对象，即可跳过默认构造的步骤。

内容的提问来源于stack exchange，提问作者Abhishek jha