C++ STL-- vector - 技术栈

C++ STL 容器深度解析：Vector 类完全指南

Vector 是 C++ 标准模板库（STL）中最核心、使用最广泛的容器之一。它将数组的简洁性与链表的灵活性相结合，提供了一个能够自动管理内存的动态数组。对于每一位 C++ 程序员来说，熟练掌握 Vector 的内部机制、API 用法以及性能特性至关重要。

本文将从底层原理到实际编码，系统地拆解 Vector 的方方面面。

1. 基础概念与本质

在 STL 中，Vector 是一种 序列容器（Sequence Container） $\[1$ ]。它的核心本质是一个 连续的线性内存空间 ，类似于 C 语言的动态数组（malloc/realloc），但它由 C++ 对象自动管理。

关键特性：

动态增长：可以随时在末尾添加元素，容量不足时会自动扩容 $\[2$ ] $\[3$ ]。
随机访问 ：支持下标操作 []，时间复杂度为 O(1) $\[4$ ] $\[5$ ]。
迭代器有效性：由于内存连续性，Vector 的迭代器实际上是指针，支持指针算术运算 $\[6$ ]。

2. 核心成员函数详解

2.1 构造函数

Vector 提供了多种灵活的初始化方式：

cpp 复制代码

std::vector<int> v1; // 默认构造，空容器
std::vector<int> v2(10); // 包含 10 个默认值为 0 的元素
std::vector<int> v3(10, 5); // 包含 10 个值为 5 的元素
std::vector<int> v4{1, 2, 3, 4, 5}; // 列表初始化
std::vector<int> v5(v4.begin(), v4.end()); // 通过迭代器范围构造[[7]][[8]]

2.2 容量管理

Vector 的容量（Capacity）通常大于等于其大小（Size）。了解它们的区别对性能调优至关重要 $\[9$ ] $\[10$ ]。

size()：当前实际存储的元素数量 $\[11$ ]。
capacity()：当前分配的内存容量，决定了还能容纳多少元素而无需重新分配 $\[12$ ]。
empty()：容器是否为空 $\[13$ ]。
reserve(n)：请求分配至少能容纳 n 个元素的内存。用于提前预分配内存，避免插入时频繁扩容 $\[14$ ] $\[15$ ]。
shrink_to_fit()：请求容器收缩内存以匹配当前大小（非强制） $\[16$ ]。

2.3 元素访问

cpp 复制代码

v[i]           // 直接访问，无边界检查
v.at(i)        // 访问元素，超出范围会抛出 std::out_of_range 异常[[17]]
v.front()      // 返回第一个元素
v.back()       // 返回最后一个元素
v.data()       // 返回指向底层数组的指针

2.4 插入与删除

cpp 复制代码

v.push_back(val);  // 在末尾添加元素（均摊 O(1)）[[18]][[19]]
v.pop_back();      // 删除末尾元素
v.insert(pos, val); // 在任意位置插入元素（可能导致搬迁，复杂度 O(n)）
v.erase(pos);      // 删除任意位置元素
v.clear();         // 清空容器
v.resize(n);       // 改变容器大小

性能注意 ：Vector 在中间插入或删除元素时，需要移动后续所有元素（搬迁），这通常是 O(n) 的操作 $\[20$ ] $\[21$ ]。

2.5 迭代器

Vector 支持 随机访问迭代器（Random Access Iterator），因此可以像指针一样进行加减运算 $\[22$ ] $\[23$ ]。

cpp 复制代码

auto it = v.begin(); // 正向迭代器
auto rit = v.rbegin(); // 反向迭代器

陷阱警告 ：由于扩容会重新分配内存，导致旧的指针或迭代器失效。因此，在 push_back 之前，若你持有指向 Vector 元素的指针，必须重新获取 $\[24$ ]。

3. Vector 的底层原理：扩容策略

理解 Vector 的内部扩容机制是避免性能瓶颈的关键 $\[25$ ] $\[26$ ]。

3.1 扩容过程

当插入新元素导致 size 超过 capacity 时，Vector 会执行以下步骤：

计算新容量：通常是旧容量的 1.5 到 2 倍（具体实现依赖编译器）。
分配新内存：分配一块连续的大内存块。
搬迁元素：将旧内存中的元素复制（或移动）到新内存。
释放旧内存：销毁旧内存块。

3.2 性能分析

均摊时间复杂度 ：虽然单次扩容是 O(n)，但由于每次扩容都带来大量的额外空间，单次 push_back 的均摊时间复杂度是 O(1) $\[27$ ]。
内存占用：为了降低扩容次数，Vector 通常会预留一定的"冗余空间"。这意味着即使只有 10 个元素，Vector 的实际内存占用可能是 20-30 个元素的空间 $\[28$ ]。

4. 实战案例与最佳实践

4.1 高效的输入输出

在需要读取大量数据（如竞赛编程）时，使用 reserve 提前预分配内存可以显著提高效率：

cpp 复制代码

std::vector<int> numbers;
numbers.reserve(1000000); // 预分配空间，避免 1M 次扩容

int x;
while (std::cin >> x) {
    numbers.push_back(x);
}

4.2 排序与去重

Vector 与 STL 算法（如 sort、unique）结合使用非常高效：

cpp 复制代码

std::sort(v.begin(), v.end()); // 排序
v.erase(std::unique(v.begin(), v.end()), v.end()); // 去重[[29]]

4.3 迭代器失效的正确处理

cpp 复制代码

std::vector<int> v = {1, 2, 3, 4, 5};
auto it = v.begin() + 2; // 指向元素 3

v.push_back(6); // 可能导致重新分配

// 此时 it 可能失效，不能再使用

正确做法 ：在需要保留指向元素的指针时，尽量在 push_back 前完成，或者在 push_back 后重新获取指针。

总结：Vector 是 C++ 开发中最基础也是最强大的工具。掌握它不仅是编写高效代码的基础，更是理解 C++ 内存管理和 STL 设计哲学的关键一步。