STL源码剖析中vector的Insert实现部分要点纪要

跟原书代码稍有差别，直接从SGI　STL上Copy上来的也没有加注释

 

template <class _Tp, class _Alloc> void vector<_Tp, _Alloc>::_M_fill_insert(iterator __position, size_type __n, const _Tp& __x) { if (__n != 0) { if (size_type(_M_end_of_storage - _M_finish) >= __n) { _Tp __x_copy = __x;　//问题1 这里为什么要定义这个临时变量呢 const size_type __elems_after = _M_finish - __position; iterator __old_finish = _M_finish; //这里为什么要区别这两种情况呢？ if (__elems_after > __n) { uninitialized_copy(_M_finish - __n, _M_finish, _M_finish); _M_finish += __n; copy_backward(__position, __old_finish - __n, __old_finish); fill(__position, __position + __n, __x_copy); } else { uninitialized_fill_n(_M_finish, __n - __elems_after, __x_copy); _M_finish += __n - __elems_after; uninitialized_copy(__position, __old_finish, _M_finish); _M_finish += __elems_after; fill(__position, __old_finish, __x_copy); }  

 

   问题1　这个开始非常想不明白，后来请教了一们大虾说是考虑到覆盖我才恍然大悟，因为参数是引用类型的，很有可能会在数据移动过程中参数的值也就是__x是发现变化而使用了一个临时变量来保存这个值.

　问题2　这个我一开始没想明白，后来又想了下是因为为了保正所有在vector中的对象都要调用一次自己的构造函数，因为赋值构造函数一个类并不能将他所有数据赋值给另一个类，主要是一些编绎器自己添加的值，比如虚表,所以为了保存每个对象的构造函数都被调用，为了区分这两两种情况，所以要加入判断来决定哪些要调用构造函数哪些不用再调用