1. Vector容器基础认知
作为C++标准模板库(STL)中最常用的序列式容器，vector本质上是一个动态数组，它能够根据存储需求自动扩容。与普通数组相比，vector的最大优势在于其动态增长特性——当现有容量不足时，会自动申请更大的内存空间并将原有元素迁移过去。这种特性使得开发者无需手动管理内存，大大降低了内存泄漏的风险。
在实际工程中，vector通常被用作默认的数组替代方案。比如在游戏开发中存储实体列表，在科学计算中保存矩阵数据，或者在网络编程中缓冲接收到的数据包。它的随机访问时间复杂度为O(1)，尾部插入删除操作平均也是O(1)，这些特性使其成为大多数场景下的首选容器。
注意：虽然vector支持中间插入删除，但这些操作会导致元素移动，时间复杂度为O(n)，在性能敏感场景需谨慎使用。
2. Vector核心接口详解
2.1 基础操作接口
vector提供了一套完整的容器操作接口，最常用的包括：
cpp复制vector<int> v; // 创建空vector
v.push_back(1); // 尾部插入元素
v.pop_back(); // 尾部删除元素
v.size(); // 获取元素数量
v.empty(); // 判断是否为空
v[0]; // 通过下标访问元素
特别需要注意的是resize()和reserve()的区别：
resize(n)会改变vector的size，如果n大于当前size，会添加默认初始化的元素reserve(n)只改变capacity，为后续元素预留空间，但不会实际增加元素
2.2 迭代器相关操作
vector支持多种迭代器操作，这是STL算法能通用的重要基础：
cpp复制vector<int>::iterator it = v.begin(); // 获取起始迭代器
auto rit = v.rbegin(); // 反向迭代器(C++11起可用auto)
advance(it, 2); // 迭代器前进2位
在C++11之后，range-based for循环让vector遍历更加简洁：
cpp复制for(const auto& num : v) {
cout << num << endl;
}
3. Vector内存管理机制
3.1 扩容策略剖析
vector的扩容策略直接影响其性能表现。标准未规定具体实现，但主流实现通常采用2倍或1.5倍扩容策略。以g++为例，其扩容逻辑大致如下：
- 当size == capacity时触发扩容
- 申请新的内存空间（通常为原capacity的2倍）
- 将原有元素拷贝到新空间（调用元素的拷贝构造函数）
- 释放原有内存空间
这种策略虽然保证了均摊O(1)的插入时间复杂度，但在极端情况下可能导致大量内存浪费。因此，对于已知大小的数据，建议先用reserve()预分配空间。
3.2 元素存储方式
vector在内存中连续存储元素，这也是它能提供高效随机访问的基础。这种连续性带来了几个重要特性：
- 缓存友好：相邻元素很可能在同一缓存行
- 指针算术有效：可以通过指针偏移访问元素
- 与C数组兼容：
&v[0]可以当作普通数组指针使用
但这种连续性也意味着插入删除操作可能导致大量元素移动，在中间位置操作时性能较差。
4. Vector模拟实现关键点
4.1 基础框架搭建
一个简化版的vector类框架应包含以下核心成员：
cpp复制template<typename T>
class Vector {
private:
T* _start; // 指向首元素
T* _finish; // 指向最后一个元素的下一个位置
T* _end_of_storage; // 指向存储空间末尾
public:
// 构造、析构、拷贝等函数
// 各种操作接口
};
这种三指针设计是vector实现的经典模式，可以高效地管理内存和元素：
_start到_finish之间是已使用的空间_finish到_end_of_storage之间是未使用的预留空间
4.2 关键操作实现
4.2.1 push_back实现
push_back是vector最常用的操作之一，其核心逻辑需要考虑扩容：
cpp复制void push_back(const T& value) {
if(_finish == _end_of_storage) {
reserve(capacity() == 0 ? 4 : capacity() * 2);
}
*_finish = value; // 在尾部构造新元素
++_finish;
}
4.2.2 insert实现
insert操作需要处理元素移动，实现相对复杂：
cpp复制iterator insert(iterator pos, const T& value) {
assert(pos >= begin() && pos <= end());
if(_finish == _end_of_storage) {
size_t len = pos - _start;
reserve(capacity() == 0 ? 4 : capacity() * 2);
pos = _start + len; // 扩容后迭代器失效，需要重新计算
}
// 从后向前移动元素
iterator end = _finish;
while(end > pos) {
*end = *(end - 1);
--end;
}
*pos = value;
++_finish;
return pos;
}
5. Vector性能优化实践
5.1 预留空间策略
合理使用reserve()可以显著提升vector性能。以下是一个测试案例：
cpp复制// 不预留空间
vector<int> v1;
auto start = chrono::high_resolution_clock::now();
for(int i=0; i<1000000; ++i) v1.push_back(i);
auto end = chrono::high_resolution_clock::now();
// 预留空间
vector<int> v2;
v2.reserve(1000000);
start = chrono::high_resolution_clock::now();
for(int i=0; i<1000000; ++i) v2.push_back(i);
end = chrono::high_resolution_clock::now();
实测表明，预留空间的版本通常快3-5倍，因为避免了多次扩容和数据拷贝。
5.2 元素类型选择
vector存储大型对象时性能会显著下降，因为扩容时需要拷贝整个对象。这时可以考虑存储指针：
cpp复制vector<LargeObject*> objVec; // 替代vector<LargeObject>
或者使用C++11的移动语义优化：
cpp复制class LargeObject {
public:
LargeObject(LargeObject&& other) noexcept; // 移动构造函数
// ...
};
6. 常见问题与解决方案
6.1 迭代器失效问题
vector的某些操作会导致迭代器失效，这是常见错误来源：
| 操作 | 影响范围 | 解决方案 |
|---|---|---|
| push_back | 所有迭代器可能失效 | 操作后重新获取迭代器 |
| insert | pos及之后迭代器失效 | 使用返回值作为新迭代器 |
| erase | pos及之后迭代器失效 | 使用返回值作为新迭代器 |
| resize | 可能使所有迭代器失效 | 操作后重新获取迭代器 |
6.2 性能陷阱
- 频繁中间插入删除：这会导致大量元素移动，考虑改用list
- 存储bool类型：
vector<bool>是特化版本，行为可能不符合预期 - 多线程不安全：并发修改需要外部同步机制
7. 高级应用技巧
7.1 使用swap释放内存
vector的clear()只清空元素，不释放内存。要真正释放内存可以使用swap技巧：
cpp复制vector<int> v(1000000);
// ...使用v...
vector<int>().swap(v); // 清空并释放内存
C++11后更推荐使用shrink_to_fit()：
cpp复制v.clear();
v.shrink_to_fit();
7.2 高效元素移除
要移除满足条件的元素，可以使用erase-remove惯用法：
cpp复制vector<int> v = {1,2,3,4,5,6};
v.erase(remove_if(v.begin(), v.end(), [](int x){return x%2==0;}), v.end());
这种方法比手动循环erase更高效，因为减少了元素移动次数。
8. 现代C++中的vector增强
C++11/14/17为vector带来了多项改进：
- emplace操作：直接在容器内构造元素，避免临时对象
cpp复制vector<Person> people;
people.emplace_back("John", 30); // 直接构造，无需创建临时Person对象
- 移动语义支持：vector现在支持移动构造和移动赋值
cpp复制vector<string> getStrings();
auto v = getStrings(); // 可能触发移动构造而非拷贝
- data()方法：提供直接访问底层数组的途径
cpp复制vector<int> v = {1,2,3};
int* arr = v.data(); // 等价于&v[0]
在实际项目中，合理运用这些新特性可以显著提升代码效率和可读性。