10、一个简易 vector：C++ 模板与 STL

从零实现一个简易 vector：C++ 模板与 STL 概念介绍

本文通过手写一个简易的 vector 类，带你理解 C++ 模板语法、内存管理、类与对象的基本原理，并对 STL 做一个入门级介绍。

在 C 语言中，我们常常需要为不同类型写重复的代码，比如 int 数组、float 数组、char 数组......而 C++ 的模板机制让我们可以写一次代码，适用于任意类型。

cpp 复制代码

template<class T>
class vector { ... };

这就是类模板的定义方式。编译器会根据你使用的类型自动生成对应的类，比如 vector<int>、vector<double> 等。

vector 类封装了三个成员变量：

cpp 复制代码

T* _a;         // 动态数组指针
int _size;     // 当前元素个数
int _capaity;  // 当前容量

构造函数中使用 new 来动态分配内存：

cpp 复制代码

_a = new T[num];

而析构函数中使用了 delete[] 来释放内存，避免内存泄漏：

cpp 复制代码

delete[] _a;

这就是 C++ 中的内存管理收尾：new 和 delete 成对出现。

实现一个简易的 pushback() 方法：

cpp 复制代码

if (_size >= _capaity) {
    // 扩容逻辑
    int newCapacity = _capaity == 0 ? 1 : _capaity * 2;
    T* tmp = new T[newCapacity];
    ...
}

这是典型的 动态数组扩容策略：当容量不足时，翻倍扩容，保证摊销时间复杂度为 O(1)。

重载 operator[]，并返回引用：

cpp 复制代码

T& operator[](size_t i) {
    assert(i < _size);
    return _a[i];
}

这允许我们像使用数组一样访问和修改元素：

cpp 复制代码

v[1] = v[1] * 2;

如果你返回的是值而不是引用，就无法修改原始数据。下面我来解释一下原因，如果是传值返回，返回的并不是_a[i]而是一份临时拷贝，但是因为临时拷贝具有常性，所以是没有办法进行修改的，因此我们必须加上引用！

实现一个 push_pop() 方法：

cpp 复制代码

void push_pop() {
    assert(_size > 0);
    _size--;
}

虽然没有真正删除元素，但通过减少 _size 来模拟弹出行为，符合简易栈的思想。

这份手写的 vector 是对 STL 中 std::vector 的简化版。STL（Standard Template Library）是 C++ 提供的一套泛型容器和算法库，包括：

STL 的优势在于：

cpp 复制代码

vector<int> v(10);
v.pushback(1);
v.pushback(2);
v[1] = v[1] * 2;
for (size_t i = 0; i < v.size(); i++) {
    cout << v[i] << " ";
}