C-STL-详解-vector-的深度解析与实践指南

目录

C++ STL 详解 ——vector 的深度解析与实践指南

  • 连续内存存储 :与普通数组相同,vector 使用连续的内存空间,支持 O (1) 时间复杂度的随机访问。
  • 动态扩容特性 :通过 push_back 等操作自动调整容量,无需手动管理内存。
  • 与数组的区别
    特性普通数组vector
    内存分配静态分配动态分配
    大小可变
    越界检查无(需手动检查)
    内存管理手动释放自动管理

https://i-blog.csdnimg.cn/direct/bb7149d2e52c4135863818d4189194c9.png

  • 常见扩容方式

    • 指数增长 :每次扩容为当前容量的 2 倍(如 GCC STL)。
    • 线性增长 :每次扩容固定增量(如 MSVC STL)。
  • 示例代码

    vector<int> v;
    for (int i = 0; i < 10; ++i) {
        v.push_back(i);
        cout << "Size: " << v.size() << " Capacity: " << v.capacity() << endl;
    }
  • 输出结果 (以 GCC 为例):

    Size: 1 Capacity: 1
    Size: 2 Capacity: 2
    Size: 3 Capacity: 4
    ...

方式示例代码说明
空容器vector<int> v1;初始容量为 0
指定大小与初始值vector<int> v2(10, 2);10 个元素,值为 2
拷贝构造vector<int> v3(v2);复制 v2 的内容
迭代器范围构造vector<int> v4(v2.begin(), v2.end());复制区间 [begin, end) 的元素
其他容器转换vector<char> v5(s.begin(), s.end());将 string 转换为 vector
函数作用复杂度示例代码
size()返回有效元素个数O(1)cout << v.size();
capacity()返回当前分配的最大容量O(1)cout << v.capacity();
reserve(n)预留至少 n 个元素的空间O(n)v.reserve(100);
resize(n)调整元素个数为 n,新元素默认值为 0O(n)v.resize(5);
empty()判断容器是否为空O(1)if (v.empty()) ...
  • 迭代器类型

    • 正向迭代器vector<int>::iterator
    • 反向迭代器vector<int>::reverse_iterator
    • 常量迭代器vector<int>::const_iterator
  • 遍历方式对比

    // 下标遍历
    for (size_t i = 0; i < v.size(); ++i) { /* ... */ }
    
    // 正向迭代器遍历
    for (auto it = v.begin(); it != v.end(); ++it) { /* ... */ }
    
    // 反向迭代器遍历
    for (auto rit = v.rbegin(); rit != v.rend(); ++rit) { /* ... */ }
    
    // 范围for循环
    for (auto& element : v) { /* ... */ }

  • 尾插push_back() 时间复杂度为 O (1)(均摊)。

  • 任意位置插入insert(pos, val) 时间复杂度为 O (n)(需移动元素)。

  • 批量插入

    // 插入多个相同元素
    v.insert(v.begin(), 5, -1); // 在开头插入5个-1
    
    // 插入其他容器元素
    vector<int> src = {1, 2, 3};
    v.insert(v.end(), src.begin(), src.end());
  • 尾删pop_back() 时间复杂度为 O (1)。

  • 任意位置删除erase(pos) 时间复杂度为 O (n)。

  • 按值删除 :结合 find()erase()

    auto pos = find(v.begin(), v.end(), 2);
    if (pos != v.end()) {
        v.erase(pos);
    }
  • 使用 at() 代替 []

    try {
        cout << v.at(5); // 越界时抛出out_of_range异常
    } catch (const exception& e) {
        cerr << e.what() << endl;
    }

操作类型迭代器失效原因影响范围
插入元素可能导致扩容,所有迭代器失效全部迭代器
删除元素被删除元素之后的迭代器失效删除点之后的迭代器
resize()若容量变化,所有迭代器失效全部迭代器(若容量变化)

案例 1:插入后删除导致的失效

// 错误代码
auto pos = find(v.begin(), v.end(), 2);
v.insert(pos, 10); // 插入后pos失效
v.erase(pos);      // 非法访问

// 正确代码
auto pos = find(v.begin(), v.end(), 2);
v.insert(pos, 10);
pos = find(v.begin(), v.end(), 2); // 重新获取pos
v.erase(pos);

案例 2:遍历删除偶数时的越界

// 错误代码
for (auto it = v.begin(); it != v.end(); ++it) {
    if (*it % 2 == 0) {
        v.erase(it); // it失效后继续递增
    }
}

// 正确代码
for (auto it = v.begin(); it != v.end(); ) {
    if (*it % 2 == 0) {
        it = v.erase(it); // erase返回下一个有效迭代器
    } else {
        ++it;
    }
}

  • 场景 :已知需要存储大量元素时,使用 reserve() 减少扩容次数。

  • 示例

    vector<int> v;
    v.reserve(1000); // 预分配1000个元素空间
    for (int i = 0; i < 1000; ++i) {
        v.push_back(i); // 无扩容开销
    }
  • 使用移动语义

    vector<string> vs;
    vs.push_back("hello"); // 深拷贝
    vs.push_back(move("world")); // 移动语义,避免拷贝
容器随机访问插入 / 删除(非尾部)内存占用适用场景
vectorO(1)O(n)较小动态数组、频繁随机访问
listO(n)O(1)较大频繁插入 / 删除
dequeO(1)O (1)(首尾)中等双端队列操作

  • 原因 :vector 会预分配额外空间以优化插入操作的性能。
  • 方法 :使用 swap 技巧:

    vector<int>().swap(v); // 临时vector与v交换,释放内存
  • 注意vector<bool> 并非存储 bool 类型,而是特化为 bitset 以节省空间,迭代器行为可能不同。

  1. C++ 官方文档
  2. 《C++ Primer》 :第 9 章 顺序容器
  3. Stack Overflow 专题