vector使用连续内存存储元素,通过三个指针管理大小与容量,支持随机访问;插入时自动扩容,通常扩大为1.5或2倍原容量,涉及内存重分配与元素迁移;采用placement new构造对象,确保正确初始化;迭代器为指针实现,支持O(1)随机访问,但扩容后失效;尾部操作高效,中间或头部插入删除需移动元素,复杂度为O(n);建议预分配内存以提升性能。

vector 是 C++ 标准模板库(STL)中最常用的动态数组容器。它的底层实现基于连续的内存空间,支持随机访问、自动扩容,同时保持高效的插入和删除操作(在尾部)。理解 vector 的底层原理,有助于写出更高效、安全的代码。
连续内存存储
vector 内部使用一段连续的内存块来存储元素,类似于数组。这段内存由三个指针管理:
- _start:指向当前已分配内存中第一个元素的位置
- _finish:指向最后一个已构造元素的下一个位置
- _end_of_storage:指向整个分配内存块的末尾
这三个指针决定了 vector 的 size(_finish - _start)和 capacity(_end_of_storage - _start)。
动态扩容机制
当插入元素导致 size 超过 capacity 时,vector 会触发扩容。过程如下:
立即学习“C++免费学习笔记(深入)”;
- 申请一块更大的连续内存空间,通常是原容量的 1.5 倍或 2 倍
- 将原有元素逐个拷贝或移动到新空间
- 释放旧内存
- 更新三个指针指向新内存区域
扩容是昂贵的操作,因此建议在可预估大小时调用 reserve() 预先分配内存,避免频繁重新分配。
元素的构造与析构
vector 不直接使用原始内存存储对象,而是通过 placement new 在指定内存位置构造对象,在删除时显式调用析构函数。这保证了类类型对象的正确初始化与资源释放。
例如:
// 构造一个元素 ::new(_finish) T(value); // 析构一个元素 (_start + i)->~T();迭代器实现
vector 的迭代器本质上是指针。begin() 返回指向 _start 的指针,end() 返回指向 _finish 的指针。正因为底层是连续内存,vector 支持 O(1) 的随机访问,如 it + n 或 it[n]。
但要注意,扩容后所有迭代器、引用、指针都会失效。
尾部操作高效,头部/中间插入代价高
在尾部添加元素(push_back)平均时间复杂度为 O(1),仅扩容时为 O(n)。而 insert() 在中间或头部插入时,需要将后续元素整体后移,复杂度为 O(n)。erase() 同理。
若需频繁在首部或中间增删,应考虑 list 或 deque。
基本上就这些。vector 的设计平衡了性能与易用性,关键在于理解其连续内存 + 动态扩容的机制,合理使用 reserve、resize 等接口,避免不必要的性能损耗。











