目录
一、什么是 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; // 默认构造，创建一个空的vector
std::vector<int> v2(10, 5); // 创建包含10个元素，每个元素初始化为5
std::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); // 改变大小为15
3. 增删查改操作
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); // 在开头插入5
v.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 有更加清晰的认识和理解，从而在日常开发中灵活运用该容器，提高代码的健壮性与可维护性。
