你有没有过这样的经历——写C++代码时，vector用得滚瓜烂熟，但每次看到“内存泄漏”“迭代器失效”这些词，心里还是有点发虚？就像你会开车，却不知道发动机怎么工作，总有点不踏实。
今天，我们不聊什么高深理论，就动手造一个自己的vector。相信我，做完这个练习，你会对C++内存管理有脱胎换骨的理解。
一、为什么vector这么重要？
我刚参加工作不久，在一个性能关键的系统里，同事写了个自定义的动态数组。他自信满满地说：“std::vector有开销，我自己写的更高效。”结果呢？内存泄漏、越界访问、重新分配时数据丢失……问题层出不穷。
最后我们花了三天时间，把他300行的自定义容器换成了std::vector，系统内存使用下降了40%，性能还提升了15%。
这个故事告诉我们：不要重复造轮子，但要理解轮子怎么造。理解vector的底层，就是理解C++内存管理的核心。
二、我们先从最简单的开始
让我们先搭建一个骨架。我们的MiniVector要支持什么？
动态扩容安全的元素访问基本的构造和析构template<typename T>class MiniVector {private:T* data; // 实际存储数据的指针size_t size_; // 当前元素数量size_t capacity_; // 当前分配的内存能容纳的元素数public:MiniVector() : data(nullptr), size_(0), capacity_(0) {}~MiniVector() {delete[] data; // 最基本的释放内存}size_t size() const { return size_; }size_t capacity() const { return capacity_; }};看，这就是一个容器的雏形。但它还什么都做不了。
三、第一个关键点：内存分配与释放
这里有个初学者常犯的错误——他们以为delete[]就能搞定一切。但真的这么简单吗？
考虑这种情况：如果T是string这样的类呢？如果T还有自己的资源要管理呢？
我们需要在释放内存前，先销毁每个对象：
~MiniVector() {for (size_t i = 0; i < size_; ++i) {data[i].~T(); // 显式调用析构函数}delete[] reinterpret_cast<char*>(data);}等等，这还不够！我们分配内存时用的是new T[capacity_]，这会在分配的同时构造对象。但我们并不需要预先构造那么多对象啊！
正确的做法是：
// 分配原始内存data = reinterpret_cast<T*>(new char[capacity_ * sizeof(T)]);这样我们就拿到了“干净”的内存，没有不必要的构造函数调用。
四、重头戏：push_back的实现
这是vector的灵魂所在。让我们看看一个完整的push_back需要处理多少细节：
void push_back(const T& value) {if (size_ >= capacity_) {// 需要扩容size_t new_capacity = capacity_ == 0 ? 1 : capacity_ * 2;reserve(new_capacity);}// 在data[size_]的位置构造新对象new(&data[size_]) T(value); // placement new++size_;}这里有两个关键技术点：
指数扩容策略：每次翻倍，这是STL vector的标准做法，均摊时间复杂度O(1)placement new：在已分配的内存上构造对象，不额外分配内存五、最复杂的部分：reserve的实现
这才是真正的硬骨头。重新分配内存时，我们需要：
分配新内存把旧数据搬过去销毁旧对象释放旧内存void reserve(size_t new_capacity) {if (new_capacity <= capacity_) return;// 1. 分配新内存T* new_data = reinterpret_cast<T*>(new char[new_capacity * sizeof(T)]);try {// 2. 移动旧数据for (size_t i = 0; i < size_; ++i) {new(&new_data[i]) T(std::move(data[i])); // 移动构造data[i].~T(); // 销毁原对象}} catch (...) {// 异常安全：如果发生异常，清理已构造的对象for (size_t i = 0; i < size_; ++i) {if (&new_data[i]) new_data[i].~T();}delete[] reinterpret_cast<char*>(new_data);throw;}// 3. 释放旧内存delete[] reinterpret_cast<char*>(data);// 4. 更新指针和容量data = new_data;capacity_ = new_capacity;}看到这里的try-catch了吗？这就是异常安全——C++高级编程的精髓之一。即使构造失败，也不会泄漏内存。
六、迭代器失效的真相
现在你应该明白了，为什么vector扩容后，所有迭代器都会失效。因为数据搬到了新的内存地址，旧的指针当然指向了错误的位置！
这也是为什么在遍历vector时，如果可能发生push_back，我们不能简单保存索引以外的引用。
七、完整实现的那些细节
一个完整的vector还需要：
拷贝构造和拷贝赋值（深拷贝！）移动构造和移动赋值（C++11）插入、删除操作下标访问操作符迭代器支持每一个功能都有它的陷阱。比如拷贝赋值要考虑自赋值，移动操作后要把原对象置为空状态。
八、我们从中学到了什么？
RAII（资源获取即初始化）：这是C++内存管理的核心哲学。资源在构造函数中获取，在析构函数中释放。异常安全：好的C++代码要保证即使抛出异常，也不会泄漏资源。移动语义的价值：C++11引入的移动语义，让vector在重新分配时效率大幅提升。算法与数据结构的平衡：vector的翻倍扩容策略，是空间和时间的美妙平衡。写在最后
十年前，我在调试那个自定义容器时，我的导师说：“理解一个东西最好的方法，就是自己实现一遍。”
今天我把这句话送给你。这个MiniVector只有不到200行代码，但它包含了C++内存管理的精华。我建议你真的打开编辑器，跟着写一遍。遇到问题，思考为什么STL要这么设计。
当你写完、调试通、理解透之后，你会发现自己对C++的理解上了一个全新的层次。你再也不会害怕“内存管理”这四个字，因为你知道，所谓的“魔法”背后，都是扎实的基本功和精妙的设计。
这才是编程的真正乐趣——不仅知其然，更知其所以然。
评论 (0)