【C++进阶四】vector模拟实现

目录

1.构造函数

（1）无参构造

（2）带参构造函数

（3）用迭代器构造初始化函数

（4）拷贝构造函数 

 2.operator=

3.operator[]

4.size()

5.capacity()

6.push_back

 7.reserve

 8.迭代器（vector的原生指针）

9.resize

10.pop_back

11.insert

12.erase

13.memcpy替换为深拷贝

---

 大致框架

namespace zbw
{template <class T>class vector{public:typedef T* iterator;private:iterator _start;iterator _finish;iterator _end_of_storage;};
}

1.构造函数

（1）无参构造

	vector():_start(nullptr), _finish(nullptr), _end_of_storage(nullptr){}

（2）构造n个val

	vector(size_t n,const T& val = T())//const延长匿名对象的生命周期:_start(nullptr), _finish(nullptr), _end_of_storage(nullptr){reverse(n);for (int i = 0; i < n; i++){push_back(val);}}

匿名对象生命周期只有这一行，调用完匿名函数后会调用析构函数将其析构

但引用会延长匿名对象的生命周期到引用对象域结束，由于匿名对象具有常性，所以需要用const修饰，此时调用完匿名对象，并不会调用析构函数释放

（3）用迭代器构造初始化函数

	tmplete <class InputIterator>vector(InputIterator first,InputIterator last):_start(nullptr), _finish(nullptr), _end_of_storage(nullptr){while (first != last){push_back(*first);first++;}}

使用迭代器模板，就可以传任意类型的迭代器，否则只能使用vector的迭代器

起名为InputIterator,是因为函数模板的模板参数要传迭代器区间时，是存在命名规范的

InputIterator这种迭代器所指的对象为“只读”，不允许外界更改

（4）拷贝构造函数 

传统写法

	vector(const vector<T>& v)//v2(v1){_start = new T[v.capacity()];_finish = _start + v._size();_end_of_storage = _start + v._capacity;memcpy(_start, v._start, v.size() * sizeof(T));}

开一块和v1一样大的空间，再把v1的数据拷贝到新空间里去

现代写法 

	void swap(vector<T>& v){std::swap(_start, v._start);std::swap(_finish, v._finish);std::swap(_end_of_storage, v._end_of_storage);}vector(const vector<T>& v)//v2(v1){vector<T> tmp(v.begin(), v.end());swap(tmp);}

 利用迭代器初始化的构造函数，用v1创造一个临时变量tmp，再将v2与tmp交换，tmp出了作用域就调用析构函数销毁

最终版本：（防止浅拷贝）

vector(const vector<T>& v)//拷贝构造
{reserve(v.capacity());for (size_t i = 0; i < v.size(); i++){_start[i] = v._start[i];//使用默认的赋值运算符会发生浅拷贝}_finish = _start + v.size();
}

 2.operator=

现代写法

	void swap(vector<T>& v){std::swap(_start, v._start);std::swap(_finish, v._finish);std::swap(_end_of_storage, v._end_of_storage);}vector<T>& operator=(const vector<T> v)//v3 = v1{swap(v);return *this;}

利用传值传参拷贝构造v（此时v就是v1），再将v3与v1交换，v是临时对象除了作用域会调用析构函数销毁

3.operator[]

	T& operator[](size_t i){assert(i < size())