一、vector容器的介绍
vector是表示可变大小数组的序列容器。就像数组一样,vector也采用的连续存储空间来存储元素,但是又不像数组,它的大小是可以动态改变的,而且它的大小会被容器自动处理。
总结:vector是一个动态数组,能高效的随机下标访问。
二、主要接口
(constructor)构造函数声明 | 接口说明 |
vector()(重点) | 无参构造 |
vector(size_type n, const value_type& val = value_type()) | 构造并初始化n个val |
vector (const vector& x); (重点) | 拷贝构造 |
vector (InputIterator first, InputIterator last); | 使用迭代器进行初始化构造 |
iterator的使用 | 接口说明 |
begin + end(重点) | 获取第一个数据位置的iterator/const_iterator, 获取最后一个数据的下一个位置 的iterator/const_iterator |
rbegin + rend | 获取最后一个数据位置的reverse_iterator,获取第一个数据前一个位置的 reverse_iterator |
容量空间 | 接口说明 |
size | 获取数据个数 |
capacity | 获取容量大小 |
empty | 判断是否为空 |
resize(重点) | 改变vector的size |
reserve (重点) | 改变vector的capacity |
vector增删查改 | 接口说明 |
push_back(重点) | 尾插 |
pop_back (重点) | 尾删 |
find | 查找。(注意这个是算法模块实现,不是vector的成员接口) |
insert | 在position之前插入val |
erase | 删除position位置的数据 |
swap | 交换两个vector的数据空间 |
operator[] (重点) | 像数组一样访问 |
三、模拟实现
1.vector 的对象
iterator _start : 指向第一个元素的迭代器
iterator _finish: 指向最后一个元素下一个位置的迭代器
iterator _endOfStorage :指向动态空间最后一个位置的迭代器
namespace N
{template<class T>class vector{public:typedef T* iterator;typedef const T* const_iterator;private:iterator _start = nullptr;iterator _finish = nullptr;iterator _endOfStorage = nullptr;};
}
模板命名T vector迭代器的本质是指针
【C++11】关于成员对象给缺省,在构造函数调用初始化列表的时候,会选择用上缺省值
2.迭代器成员函数begin()和end()
begin():返回指向容器的起始位置的迭代器(非const)
end():返回指向容器的最后位置的下一个位置迭代器(非const)
cbegin():返回指向容器的起始位置的常属性迭代器(const)
cend():返回指向容器的最后位置的下一个位置常属性迭代器(const)
iterator begin(){return _start;
}iterator end(){return _finish;
}const_iterator cbegin()const {return _start;
}const_iterator cend() const
{return _finish;
}
区别:
非const的版本函数返回的迭代器可以用来访问,修改元素
而const版本只能用来访问元素,不准修改
3.容量空间
1)size():返回数据个数
元素首位迭代器的相减返回个数 (前开后闭返回区间个数)
2)capacity()
元素容量与头元素迭代器的相减
size_t size() const
{return _finish - _start;
}size_t capacity() const
{return _endOfStorage - _start;
}
3)reserve(size_t n) :改变vector的capacity
如果vector 的capacity大于n ,不进行操作
n>=capacity,扩容,拷贝,释放原空间
同时更新_start _finish _endofstorage
void reserve(size_t n)
{if (n <= capacity()){return;}T* tmp = new T[n];size_t sz = size();if (_start){for (size_t i = 0; i < sz; i++){tmp[i] = _start[i];}delete[]_start;}_start = tmp;_finish = _start + sz;_endOfStorage = _start+n;
}
4)resize :改变vector的size
n<size() 改变_finishi
n>=size() reserve空间,size后面的数依次赋值
void resize(size_t n, const T& value = T())
{if (n <= size()){_finish = _start + n;return;}reserve(n);while (_finish < n + _start){*_finish = value;++_finish;}
}
关于默认参数 :
匿名对象T()生命周期只有这一行
const修饰匿名对象 延长生命周期 value销毁时匿名对象才销毁
4.vector增删查改
1)push_back():尾插
检查容量,不够就reserve扩容 _finish位置插入数据 ++_finish
void push_back(const T& x)
{if (_finish == _endOfStorage)//扩容{reserve(capacity() == 0 ? 4 : capacity() * 2);}*_finish = x;++_finish;
}
2)pop_back():尾删
--_finish
void pop_back()
{_finish--;
}
3)insert(): pos位置之前插入val
检查pos合法
检查是否扩容,注意保存pos的位置,(求出pos-_start)
从最后一个数据往前挪动数据,插入val
更新_finish
iterator insert(iterator pos, const T& x)
{assert(pos>=_start);assert(pos <= _finish);int len = pos - _start;if (_finish == _endOfStorage){reserve(capacity() == 0 ? 4 : capacity() * 2);}pos = _start + len;//移动数据iterator end = _finish-1;while (end >= pos){*(end + 1) = *end;--end;}*pos = x;++_finish;return pos;
}
关于迭代器失效:
如果扩容后,原来的空间会被释放掉,那么pos会变成野指针,如果继续使用迭代器,会使用一块已经释放的空间,导致程序可能崩溃。
会引起其底层空间改变的操作,都有可能是迭代器失效,比如:resize、reserve、insert、assign、push_back等
4)earse():删除pos的值
检查pos的合法 _start<=pos<=_finish
从前往后挪数据
更新_finish
iterator erase(iterator pos)
{assert(pos >= _start);assert(pos <= _finish);iterator cur = pos+1;while (cur != _finish){*(cur - 1) = *cur;++cur;}--_finish;return pos;
}
涉及迭代器失效问题:
当earse最后一个位置时,迭代器失效,vs上认为使用earse后,不管删除哪个位置迭代器都失效
5)swap :交换俩个vector的数据空间
如果发生赋值,会极大降低效率,因此在vector容器的交换,交换各自的迭代器对象
void swap(vector<T>& v)
{::swap(_start, v._start);::swap(_finish , v._finish);::swap(_endOfStorage, v._endOfStorage);
}
6)operator [ ] :下标访问修改
返回指定空间的引用
T& operator[](size_t pos)
{assert(pos < size());return _start[pos];
}const T& operator[](size_t pos)const
{assert(pos < size());return _start[pos];
}
关于const版本和非const版本:
const只读不可改,非const版本可读可改
5.(constructor)构造函数声明
1)无参构造函数:
不用写具体内容,因为在C++11支持成员变量给缺省,会自动进入初始化列表
2)vector(size_type n, const value_type& val = value_type()) N个value构造
先开空间,附用reverse函数,尾插
vector(int n, const T& value = T())
{reserve(n);for (int i = 0; i < n; i++){push_back(value);}
}
3)vector(InputIterator first, InputIterator last):迭代器区间构造
定义迭代器模板,依次尾插
vector(InputIterator first, InputIterator last)
{while (first != last){push_back(*first);++first;}
}
4)vector (const vector &x):拷贝构造
开空间,尾插
vector(const vector<T>& v)
{reserve(v.capacity());for (auto e : v){push_back(e);}
}
5)operator =:赋值
拷贝构造临时空间,交换
vector<T>& operator= (vector<T> v)
{swap(v);return *this;
}
6)析构函数
释放空间
总结:
源代码:
STL/vector.h · L_may/C++Study - 码云 - 开源中国 (gitee.com)
本文模拟实现vector容器,在insert和erase中涉及迭代器失效的问题,要多加注意。
作者能力有限,希望对大家有所帮助。