目录
一、什么是 vector
二、vector 的核心特性
1. 构造函数
2. 容量管理
3. 增删查改操作
三、vector 的扩容机制
四、迭代器失效问题
五、vector 的模拟实现
1. push_back 实现
2. 扩容的细节
六、memcpy 和深浅拷贝问题
七、总结
在 C++ 标准模板库（STL）中，vector 是最常用的动态数组容器之一。它提供了动态调整大小的数组结构，同时保留了数组随机访问的高效特性。本文将深入剖析 vector 的核心实现原理，并通过模拟实现的方式，帮助大家更好地理解其工作机制。
一、什么是 vector
vector 是 C++ STL 中的一个动态数组容器，它可以自动管理内存，并根据需要动态增加或减少存储容量。与传统数组相比，vector 具备以下优势：
vector 可以根据需要动态增长或缩小，而不需要在初始化时指定固定大小。高效的随机访问：与数组一样，vector 允许通过下标进行常量时间（O(1)）的随机访问。自动内存管理：vector 会在容量不足时自动扩展空间，并且可以通过 reserve 减少频繁扩容带来的性能开销。 二、vector 的核心特性
在使用 vector 时，需要掌握其核心接口和功能，以便在实际项目中应用自如。下面简要介绍 vector 的常用接口和功能。
1. 构造函数
vector 提供多种构造方式，包括无参构造、带初始值的构造、使用迭代器的构造等。以下是常见构造函数的形式：
std::vector<int> v1; // 默认构造，创建一个空的vectorstd::vector<int> v2(10, 5); // 创建包含10个元素，每个元素初始化为5std::vector<int> v3(v2.begin(), v2.end()); // 使用迭代器初始化std::vector<int> v4(v3); // 拷贝构造2. 容量管理
vector 的容量管理接口包括 size、capacity、resize、reserve 等，分别用于获取当前大小、当前容量、改变大小和预留空间。例如：
std::vector<int> v(10, 5);std::cout << "Size: " << v.size() << std::endl;std::cout << "Capacity: " << v.capacity() << std::endl;v.reserve(20); // 预留至少20个元素的存储空间v.resize(15); // 改变大小为153. 增删查改操作
vector 提供了非常灵活的增删查改操作，常用的有：
push_back()：在末尾插入元素pop_back()：删除末尾元素insert()：在指定位置插入元素erase()：删除指定位置的元素operator[]：通过下标访问元素 std::vector<int> v;v.push_back(10); // 尾部插入元素v.push_back(20);v.insert(v.begin(), 5); // 在开头插入5v.erase(v.begin() + 1); // 删除第二个元素三、vector 的扩容机制
在使用 vector 时，经常会遇到容量不足导致扩容的问题。vector 的扩容不是线性增长的，而是根据一定的倍数增长。具体的扩容机制因编译器和标准库的实现不同而有所差异。例如，在 Visual Studio 下，vector 通常以 1.5 倍的速度增长，而在 g++ 编译器下，则通常以 2 倍速度增长。
下面是一个测试 vector 扩容行为的示例：
void TestVectorExpand() { std::vector<int> v; size_t capacity = v.capacity(); std::cout << "Initial capacity: " << capacity << std::endl; for (int i = 0; i < 100; ++i) { v.push_back(i); if (capacity != v.capacity()) { capacity = v.capacity(); std::cout << "Capacity changed: " << capacity << std::endl; } }}在不同环境下运行这段代码，可以观察到 vector 扩容时容量的变化。例如，在某些环境下，输出可能是 1, 2, 4, 8, 16...，显示出每次扩容时容量翻倍的行为。
四、迭代器失效问题
vector 的迭代器在某些操作下可能会失效，尤其是在插入或删除操作涉及到扩容时。常见的迭代器失效情况包括：
vector 扩容时，旧的内存空间会被释放，指向该空间的迭代器将变为无效。插入和删除：当元素插入或删除时，后续元素的位置可能发生移动，从而导致迭代器失效。 例如，以下代码会导致迭代器失效，从而产生未定义行为：
std::vector<int> v{1, 2, 3, 4, 5};auto it = v.begin();v.push_back(6); // 可能会导致扩容，it 失效std::cout << *it; // 未定义行为解决迭代器失效的常见方法是在扩容或插入、删除操作后重新获取迭代器：
v.push_back(6);it = v.begin(); // 重新获取有效的迭代器std::cout << *it;五、vector 的模拟实现
为了更好地理解 vector 的工作原理，我们可以通过模拟实现一个简化版的 vector。以下是一个基本的 vector 模拟实现示例：
#include <iostream>#include <memory>template <typename T>class MyVector {public: MyVector() : size_(0), capacity_(0), data_(nullptr) {} // 析构函数，释放内存 ~MyVector() { if (data_) { delete[] data_; } } // 插入元素 void push_back(const T& value) { if (size_ == capacity_) { resize(); } data_[size_++] = value; } // 获取元素 T& operator[](size_t index) { return data_[index]; } // 获取大小 size_t size() const { return size_; }private: size_t size_; size_t capacity_; T* data_; // 扩容操作 void resize() { size_t new_capacity = (capacity_ == 0) ? 1 : capacity_ * 2; T* new_data = new T[new_capacity]; // 复制旧数据到新空间 for (size_t i = 0; i < size_; ++i) { new_data[i] = data_[i]; } // 释放旧空间 if (data_) { delete[] data_; } data_ = new_data; capacity_ = new_capacity; }};int main() { MyVector<int> v; for (int i = 0; i < 10; ++i) { v.push_back(i); } for (int i = 0; i < v.size(); ++i) { std::cout << v[i] << " "; } return 0;}这个 MyVector 类实现了一个简单的动态数组容器，支持 push_back 操作和下标访问。每当容量不足时，resize 函数会将容量扩大一倍，并将旧数据复制到新空间。
1. push_back 实现
push_back 的实现检查当前大小是否等于容量，如果容量不足，则调用 resize 进行扩容。扩容后的新元素会添加到数组末尾。
2. 扩容的细节
在扩容时，我们首先创建一个新数组，其容量是原容量的两倍，然后将旧数组的数据逐个复制到新数组中，最后释放旧数组的内存。这一操作确保了 vector 能够动态调整存储空间的大小，同时保证已有的数据不丢失。
六、memcpy 和深浅拷贝问题
在实现 vector 时，某些情况下可能会使用 memcpy 来加速内存拷贝操作。然而，memcpy 只进行浅拷贝，对于简单类型（如 int）没有问题，但对于复杂对象（如包含指针的类对象）则可能引发问题。
例如，下面的代码展示了错误的 memcpy 使用场景：
#include <iostream>#include <cstring>class MyString {public: MyString(const char* str) { size_t len = strlen(str) + 1; data_ = new char[len]; memcpy(data_, str, len); } ~MyString() { delete[] data_; }private: char* data_;};int main() { MyString s1("Hello"); MyString s2(s1); // 使用默认的浅拷贝 return 0;}在上述代码中，s2 和 s1 共享同一块内存空间，导致析构时重复释放内存，进而引发崩溃。因此，在涉及资源管理的情况下，应避免使用 memcpy，而应该编写正确的拷贝构造函数和赋值操作符。
七、总结
vector 作为 C++ 中最常用的容器之一，具备高效的内存管理、动态扩展、随机访问等诸多特性。通过模拟实现一个简化的 vector，我们可以更好地理解其内部工作机制，包括容量管理、扩容、迭代器失效等问题。在实际应用中，vector 的这些特性和接口让它成为一个强大的工具，可以轻松地处理动态数组相关的任务。
希望本文的深入剖析和模拟实现能帮助各位对 vector 有更加清晰的认识和理解，从而在日常开发中灵活运用该容器，提高代码的健壮性与可维护性。