1.存储结构
https://cplusplus.com/reference/vector/vector/
namespace zone {template<class T> //需要模板class vector{public:private:iterator _start;iterator _finish;iterator _endofstorage;}; }
可见,vector内核是由三个指针实现的
2.默认成员函数
2.1.构造函数
1.初始化列表
vector() :_start(nullptr) , _finish(nullptr) , _endofstorage(nullptr){}
2.拷贝构造
//v1(v2) vector(const vector<T>& t) :_start(nullptr), _finish(nullptr), _endofstorage(nullptr) {for (auto& arr : t){push_back(arr);} }// v1=v2 void swap( vector<T>& t)//swap要求参数是&,且不带const {std::swap(_start, t._start);std::swap(_finish, t._finish);std::swap(_endofstorage, t._endofstorage); }vector<T>& operator=(vector<T> t) // 这里不能用const,因为要调用swap,如果是const会造成权限放大 {swap(t);return *this; }
3.迭代器区间构造
template <class InputIterator> //在类模板中再次使用模板 vector(InputIterator first, InputIterator last) {while (first != last) //记得是!= 不能写成<=,因为存储空间不一定连续!!!!!{push_back(*first);first++;} } //可以使用别的类型的迭代器区间去初始化vector,不一定要用vector<T>类型
2.2.析构函数
~vector() {delete[] _start;_start = _finish = _endofstorage = nullptr; }
3.容量操作函数
3.1.reserve(设置空间大小)
void reserve(size_t n) {if (n > capacity()){T* tmp = new T[n];size_t sz = size();if (_start){//memcpy(tmp, _start, sizeof(T) * sz); //若类型为string,memcpy会调用浅拷贝,_start和tmp指向同一块空间,然后delete对于自定义类型调用析构函数,销毁空间for (size_t i = 0; i < sz; i++){tmp[i] = _start[i]; //若为string类型,相当于s1=s2;赋值,会调用拷贝构造,深拷贝}delete[]_start;}_start = tmp;_finish = _start + sz;_endofstorage = _start + n;}}
3.2 resize(重新设置vector的长度)
void resize(size_t n, const T& val = T()) //若大于容量则扩容,并用val来填充扩容 //表达式会产生临时变量(!!!),有常性,需要用const &或者不用& {if (n <= size()){_finish = _start + n; //缩容}else{reserve(n);while (_finish < _start + n){*_finish = val;++_finish;}}}
3.3 获取size和capacity
size_t size() const {return _finish - _start; }size_t capacity() const {return _endofstorage - _start; }
4.访问函数
4.1[]
T& operator[](size_t pos){assert(pos < size());return _start[pos];}
4.2 迭代器
typedef T* iterator;typedef const T* const_iterator;iterator begin() {return _start; }iterator end() {return _finish; }const_iterator begin()const {return _start; }const_iterator end()const {return _finish; }
5.插入类函数
5.1insert
void insert(iterator pos, const T& x) //在pos位置插入x, {assert(pos >= _start);assert(pos <= _finish);if (_finish == _endofstorage){size_t len = pos - _start;reserve(capacity() == 0 ? 4 : capacity() * 2);pos = _start + len;//扩容会导致原空间被删除,如果没有len记录长度并重新赋值pos,会导致pos失效(pos依旧指向被删除空间的某个位置而不是新空间的某个位置)}iterator end = _finish - 1;while (end >= pos){*(end + 1) = *end;end--;}*pos = x;_finish++; }
5.2 push_back
void push_back(const T& x) {insert(_finish, x); }
6.删除类函数(erase)
iterator erase(iterator pos) {assert(pos >= _start);assert(pos <= _finish);iterator it = pos + 1;while (it < _finish){*(it - 1) = *it;it++;}_finish--;return pos; }
7.vector 空间增长问题
1.capacity的代码在vs和g++下分别运行会发现,vs下capacity是按1.5倍增长的,g++是按2 倍增长的!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!。这个问题经常会考察,不要固化的认为,vector增容都是2倍,具体增长多少是 根据具体的需求定义的。vs是PJ版本STL,g++是SGI版本STL。
2.reserve只负责开辟空间,如果确定知道需要用多少空间,reserve可以缓解vector增容的代 价缺陷问题。
3.resize在开空间的同时还会进行初始化,影响size。
8.内部刨析
8.1使用memcpy拷贝问题
假设模拟实现的vector中的reserve接口中,使用memcpy进行的拷贝,以下代码会发生什么问 题?
int main()
{bite::vector<bite::string> v;v.push_back("1111");v.push_back("2222");v.push_back("3333");return 0;
}
问题分析:
1. memcpy是内存的二进制格式拷贝,将一段内存空间中内容原封不动的拷贝到另外一段内存 空间中
2. 如果拷贝的是自定义类型的元素,memcpy既高效又不会出错,但如果拷贝的是自定义类型 元素,并且自定义类型元素中涉及到资源管理时,就会出错,因为memcpy的拷贝实际是浅 拷贝。
8.2 动态二维数组理解
// 以杨慧三角的前n行为例:假设n为5
void test2vector(size_t n)
{// 使用vector定义二维数组vv,vv中的每个元素都是vector<int>bit::vector<bit::vector<int>> vv(n);// 将二维数组每一行中的vecotr<int>中的元素全部设置为1for (size_t i = 0; i < n; ++i)vv[i].resize(i + 1, 1);// 给杨慧三角出第一列和对角线的所有元素赋值for (int i = 2; i < n; ++i){for (int j = 1; j < i; ++j){vv[i][j] = vv[i - 1][j] + vv[i - 1][j - 1];}}
}
bit::vector> vv(n); 构造一个vv动态二维数组,vv中总共有n个元素,每个元素 都是vector类型的,每行没有包含任何元素,如果n为5时如下所示:
vv中元素填充完成之后,如下图所示: