关于c++容器vector,push_back带有资源管理（new,malloc等）对象时需要注意的事情。拷贝，析构，作用域

### C++ 中 vector 的源代码实现 C++ 中的 `std::vector` 是标准模板库（STL）中的一个动态数组容器。它提供了一种可以自动调整大小的数组结构，允许在尾部高效地插入和删除元素。以下是基于引用内容对 `std::vector` 源代码实现的关键部分进行详细解析。 #### 1. 内存分配与管理 `std::vector` 的核心功能之一是动态内存管理。它通过三个指针来跟踪其内部状态： - `_start`：指向已使用区域的起始位置。 - `_finish`：指向已使用区域的结束位置（即最后一个有效元素的下一个位置）。 - `_end_of_storage`：指向已分配但未使用的内存区域的结束位置。 当需要扩展容量时，`std::vector` 会重新分配更大的内存块，并将原有数据拷贝到新内存中。例如，在插入操作中，如果当前容量不足，则会触发扩容逻辑[^2]。 ```cpp void insert(iterator pos, const T& x) { assert(pos <= _finish && pos >= _start); // 检查迭代器是否合法 if (_finish == _end_of_storage) { // 如果容量不足 size_t len = pos - _start; // 计算pos相对于_start的距离 reserve(capacity() == 0 ? 4 : capacity() * 2); // 扩容 pos = _start + len; // 调整pos的位置 } memmove(pos + 1, pos, sizeof(T) * (_finish - pos)); // 移动后续元素 *pos = x; // 插入新元素 ++_finish; // 更新_finish指针 } ``` #### 2. 构造函数 `std::vector` 提供了多种构造方式，包括默认构造、拷贝构造和移动构造。其中，拷贝构造函数实现了深拷贝，确保两个对象的内存独立[^3]。 ```cpp // 拷贝构造函数 MyVector(const MyVector& V1) { cout << this << endl; iterator start = (_Ty*)malloc(sizeof(_Ty) * V1.capacity()); if (start == nullptr) { std::cout << "malloc error" << std::endl; exit(1); } iterator finish = start; iterator p = V1._M_start; _M_start = start; while (p != V1._M_finish) { new(finish) _Ty(*p); // 使用placement new构造元素 ++p; ++finish; } _M_finish = finish; _M_end_of_storage = _M_start + V1.capacity(); } ``` 需要注意的是，对于自定义类型的元素，简单赋值会导致浅拷贝问题。因此，必须使用 placement new 来显式调用构造函数[^4]。 #### 3. 插入与删除 `std::vector` 支持在尾部高效插入元素（时间复杂度为 O(1)），但在中间位置插入或删除元素时，需要移动大量元素，导致性能下降（时间复杂度为 O(n)）。 ```cpp // 尾部插入 void push_back(const T& x) { if (_finish == _end_of_storage) { // 容量不足时扩容 reserve(capacity() == 0 ? 4 : capacity() * 2); } new(_finish) T(x); // 使用placement new构造元素 ++_finish; } ``` #### 4. 容量管理 `std::vector` 提供了 `capacity()` 和 `reserve()` 方法来管理内部缓冲区的大小。`reserve()` 方法用于预先分配足够的内存以避免频繁的扩容操作。 ```cpp void reserve(size_t n) { if (n > capacity()) { size_t old_capacity = capacity(); size_t new_capacity = n; T* new_start = (T*)malloc(sizeof(T) * new_capacity); if (new_start == nullptr) { std::cout << "malloc error" << std::endl; exit(1); } for (size_t i = 0; i < old_capacity; ++i) { new(new_start + i) T(std::move(*(_start + i))); // 移动构造 } for (size_t i = 0; i < old_capacity; ++i) { (*(_start + i)).~T(); // 显式调用析构函数 } free(_start); _start = new_start; _finish = _start + old_capacity; _end_of_storage = _start + new_capacity; } } ``` #### 5. 迭代器支持 `std::vector` 提供了随机访问迭代器，允许用户以类似数组的方式访问元素。 ```cpp iterator begin() { return _start; } iterator end() { return _finish; } ``` --- ### 示例程序验证 以下是一个简单的测试程序，展示了如何使用 `std::vector` 的基本功能： ```cpp #include <iostream> #include <vector> using namespace std; void test_vector() { vector<int> v1; v1.push_back(1); v1.push_back(2); v1.push_back(3); v1.push_back(4); v1.push_back(5); // 迭代器访问 vector<int>::iterator it = v1.begin(); while (it != v1.end()) { cout << *it << " "; ++it; } cout << endl; // 范围for访问 for (auto e : v1) { cout << e << " "; } cout << endl; // 下标+[]访问 for (size_t i = 0; i < v1.size(); ++i) { cout << v1[i] << " "; } cout << endl; } int main() { test_vector(); return 0; } ``` --- ### 总结 `std::vector` 的实现涉及动态内存管理、深拷贝机制以及高效的插入和删除操作。其设计充分考虑了性能与灵活性，适用于大多数需要动态数组的场景。