目录
1.vector在实现reserve接口的过程中产生的迭代器实效问题
vector介绍
vector是可变大小的序列容器。vector是使用连续空间存储数据。
vector的初始化
1.vector<int> a(10) 定义具有10个int类型的连续空间
2.vector<int> a(10,1) 定义具有10个int类型的连续空间,并且把每个数据初始化为1
3.vector<int> a(b) 使用深拷贝将b拷贝给a
4.vector<int> a(b.begin(),b.end()) 使用迭代器区间进行初始化
vector实现过程中遇到迭代器失效问题
1.vector在实现reserve接口的过程中产生的迭代器实效问题
void reserve(size_t n)
{
size_t sz = size();
if (n > capacity())
{
T* tmp = new T[n];
if (_start)
{
//memcpy(tmp,_start,sizeof(T)*sz);
for (size_t i = 0; i < sz; ++i)
{
tmp[i] = _start[i];
}
delete[] _start;
}
_start = tmp;
}
_finish = _start + sz;
_endofstoage = _start + capacity();
}
如果在reserve接口中,扩容阶段如果使用memcpy将原数据拷贝到新的空间里会发生迭代器实效问题。memcpy遇到自定义类型采用的是浅拷贝实现,迭代器失效原因是产生野指针,所以要使用reserve接口时,memcpy浅拷贝将新的地址空间指针指向原来空间,再删除原来空间,这时对vector进行操作时就会发生迭代器实效问题。
如果对象中涉及到资源管理时,千万不能使用memcpy进行对象之间的拷贝,因为memcpy是
浅拷贝,否则可能会引起内存泄漏甚至程序崩溃。
2.insert与erase接口产生的迭代器失效问题
iterator insert(iterator pos, const T& x)
{
assert(pos >= _start && pos <= _finish);
if (_finish == _endofstoage)
{
size_t n = pos - _start;
size_t newCapacity = capacity() == 0 ? 4 : capacity() * 2;
reserve(newCapacity);
pos = _start + n;
}
iterator end = _finish - 1;
while (end >= pos)
{
*(end + 1) = *end;
--end;
}
*pos = x;
++_finish;
return pos;
}
iterator erase(iterator pos)
{
assert(pos >= _start && pos < _finish);
iterator it = pos + 1;
while (it != _finish)
{
*(it - 1) = *it;
++it;
}
--_finish;
return pos;
}
insert与erase迭代器失效问题为,insert插入数据迭代器所指向原来位置的意义改变了,同理erase删除数据,解决办法通过返回新插入/删除迭代器位置,进行调整。该失效问题主要产生在连续插入/删除时。要主动修改迭代器所指向位置。
迭代失效主要分为野指针问题和所指向位置意义产生改变问题。