跳到主要内容C++ STL 容器 vector 详解：定义、访问与操作 | 极客日志C++算法
C++ STL 容器 vector 详解：定义、访问与操作
C++ STL vector 是序列容器，支持运行时动态插入和删除元素，基于数组实现但自动管理内存。介绍 vector 的定义与初始化方式，对比 at、operator[] 和迭代器三种访问方法的特性与安全性，解析 push_back、emplace_back 及 insert 的插入机制与性能差异，阐明 reserve 与 resize 在容量与大小控制上的不同，说明 assign 函数的三种形式及内存变化规则，最后分析迭代器失效的本质原因及常见触发场景。
女王3 浏览 C++ STL 容器 vector 详解
1. 定义 vector
C++ 中的 vector 是一种序列容器，允许在运行时动态地插入和删除元素。它是基于数组的数据结构，但能自动管理内存，无需手动分配和释放。
#include <vector>
std::vector<int> myVector;
std::vector<> myVector = {, , , , };
;
;
int
1
2
3
4
5
std::vector<int> myVector(5)
std::vector<int> myVector(5, 10)
2. 访问 vector 中的元素
int main() {
std::vector<int> vec = {10, 20, 30, 40, 50};
std::cout << "原始 vector：";
for (int& val : vec) {
std::cout << val << " ";
}
}
2.1 at 访问
- 语法：
vec.at(index)
- 特点：会检查索引是否越界，越界时抛出
std::out_of_range 异常；效率略低于 []。
int main() {
std::vector<int> vec = {10, 20, 30, 40, 50};
std::cout << "原始 vector：";
for (int& val : vec) std::cout << val << " ";
std::cout << "\n=== at() 安全访问 ===" << std::endl;
std::cout << "索引 2 的元素：" << vec.at(2) << std::endl;
vec.at(3) = 400;
std::cout << "修改后 vector：";
for (int& val : vec) std::cout << val << " ";
std::cout << std::endl;
try {
vec.at(10);
} catch (const std::out_of_range& e) {
std::cout << "at() 越界错误：" << e.what() << std::endl;
}
}
2.2 operator[] 访问
- 语法：
vec[index]（索引从 0 开始）
- 特点：直接内存访问，执行效率最佳；但不进行边界检查，越界访问可能引发未定义行为（程序崩溃或内存污染）。
int main() {
std::vector<int> vec = {10, 20, 30, 40, 50};
std::cout << "原始 vector：";
for (int& val : vec) std::cout << val << " ";
std::cout << "\n=== [] 下标访问 ===" << std::endl;
std::cout << "索引 0 的元素：" << vec[0] << std::endl;
std::cout << "索引 3 的元素：" << vec[3] << std::endl;
vec[1] = 200;
vec[4] = 500;
std::cout << "修改后 vector：";
for (int val : vec) std::cout << val << " ";
std::cout << std::endl;
}
2.3 迭代器访问
2.3.1 普通迭代器
int main() {
std::vector<int> vec = {10, 20, 30, 40, 50};
std::cout << "原始 vector：";
for (int& val : vec) std::cout << val << " ";
std::cout << "\n=== 普通迭代器（可读写） ===" << std::endl;
std::vector<int>::iterator it = vec.begin();
for (; it != vec.end(); ++it) {
std::cout << *it << std::endl;
}
std::cout << std::endl;
it = vec.begin();
for (; it != vec.end(); ++it) {
*it += 10;
std::cout << *it << std::endl;
}
return 0;
}
2.3.2 常性迭代器
int main() {
std::vector<int> vec = {10, 20, 30, 40, 50};
std::cout << "原始 vector：";
for (int& val : vec) std::cout << val << " ";
std::cout << "\nconst 迭代器遍历（只读）：" << std::endl;
std::vector<int>::const_iterator cit = vec.cbegin();
for (; cit != vec.cend(); ++cit) {
std::cout << *cit << " ";
}
std::cout << std::endl;
return 0;
}
2.3.3 逆置迭代器
使用 rbegin() 和 rend() 可以获取反向迭代器，用于从后向前遍历。
2.4 at 和 operator[] 的区别
at() 安全但稍慢，适合需要边界检查的场景。[] 快速但不安全，适合已知索引合法的高频场景。
3. 插入元素到 vector
3.1 push_back
向尾部插入元素。若插入前没有可用空间，需先扩容（通常原容量的 1.5 倍~2 倍），并将原数组所有元素拷贝/移动到新的内存。
- 拷贝构造：创建临时副本对象，通过定位 new 构造在 vector 空间。
- 移动构造：将对象资源直接转移到 vector 空间。
建议在使用 push_back 前调用 reserve 预留空间，避免频繁扩容。
3.2 emplace_back
解决频繁拷贝和移动资源的问题，又称原位构造。直接在 vector 空间上构造对象，避免临时对象的创建。
3.3 insert
iterator insert(iterator pos, const T& value);
iterator insert(iterator pos, T&& value);
iterator insert(iterator pos, size_t count, const T& value);
template <class InputIt>
iterator insert(iterator pos, InputIt first, InputIt last);
3.4 emplace_back 和 push_back 区别
push_back：先构造临时对象，再移动/拷贝进容器。emplace_back：直接将参数传递给构造函数，原地构造。
#include <vector>
#include <string>
using namespace std;
class Person {
public:
Person(string name, int age) : name_(name), age_(age) {}
private:
string name_;
int age_;
};
int main() {
vector<Person> v;
v.push_back(Person("Alice", 20));
v.emplace_back("Bob", 22);
return 0;
}
4. reserve 和 resize
reserve(n)：预分配至少 n 个元素的存储空间，不改变 size，仅增加 capacity。resize(n)：改变容器大小。若新大小大于当前大小，新增元素默认初始化；若小于，则销毁多余元素。
vector<int> vec{1, 2, 3};
vec.reserve(10);
std::cout << vec.size();
std::cout << vec.capacity();
vector<int> vec2{1, 2, 3};
vec2.resize(5);
std::cout << vec2.size();
std::cout << vec2.capacity();
vec2.resize(2);
std::cout << vec2.size();
5. assign
assign() 用于替换容器中的所有现有元素（先清空原有元素，再插入新元素）。它会直接改变 vector 的 size，并在新元素数量超过当前容量时调整 capacity。
形式 1：assign(n, val)
vector<int> vec{1, 2, 3};
vec.assign(4, 10);
形式 2：assign(first, last)
vector<int> vec{1, 2, 3};
int arr[] = {100, 200, 300, 400};
vec.assign(arr + 1, arr + 3);
vector<int> tmp{5, 6, 7};
vec.assign(tmp.begin(), tmp.end());
形式 3：assign(initializer_list)
vector<int> vec{1, 2, 3};
vec.assign({8, 9, 10, 11});
特殊情况
- 内存变化：自动扩容（当新元素数量 > 当前 capacity），不会主动缩容（如原 capacity=10，assign(2, 0) 后 capacity 仍为 10）。
- 元素析构：对于类对象，assign() 会先调用所有原有元素的析构函数，再构造新元素。
- n=0 时：
assign(0, val) 等价于清空 vector（size=0），但 capacity 不变（需使用 shrink_to_fit() 释放内存）。
6. 迭代器失效
6.1 迭代器失效本质
迭代器本质是'容器元素的内存指针 / 索引封装'。当容器底层内存布局改变（如扩容、元素移动）、元素被删除时，迭代器指向的地址 / 逻辑位置失效，此时解引用或操作迭代器会导致 UB（未定义行为）。
6.2 迭代器失效场景
- 对 vector 进行插入操作（push_back, insert）可能导致扩容，使所有迭代器失效。
- 对 vector 进行删除操作（erase）导致元素移动，使被删除位置及之后的迭代器失效。
- 对 vector 进行 resize 操作可能导致内存重新分配，使所有迭代器失效。
微信扫一扫，关注极客日志
微信公众号「极客日志」，在微信中扫描左侧二维码关注。展示文案：极客日志 zeeklog
相关免费在线工具
- 加密/解密文本
使用加密算法（如AES、TripleDES、Rabbit或RC4）加密和解密文本明文。 在线工具，加密/解密文本在线工具，online
- Base64 字符串编码/解码
将字符串编码和解码为其 Base64 格式表示形式即可。 在线工具，Base64 字符串编码/解码在线工具，online
- Base64 文件转换器
将字符串、文件或图像转换为其 Base64 表示形式。 在线工具，Base64 文件转换器在线工具，online
- Markdown转HTML
将 Markdown（GFM）转为 HTML 片段，浏览器内 marked 解析；与 HTML转Markdown 互为补充。 在线工具，Markdown转HTML在线工具，online
- HTML转Markdown
将 HTML 片段转为 GitHub Flavored Markdown，支持标题、列表、链接、代码块与表格等；浏览器内处理，可链接预填。 在线工具，HTML转Markdown在线工具，online
- JSON 压缩
通过删除不必要的空白来缩小和压缩JSON。 在线工具，JSON 压缩在线工具，online
