vector push_back实现原理

[tlogic]

push_back使用_M_insert_aux函数实现动态增加元素，push_back中已经有了_M_finish != _M_end_of_storage这个判断，为什么在_M_end_of_storage函数中还要再判断一次？？？
void push_back(const _Tp& __x) {
if (_M_finish != _M_end_of_storage) {
construct(_M_finish, __x);
++_M_finish;
}
else
_M_insert_aux(end(), __x);
}


template <class _Tp, class _Alloc>
void
vector<_Tp, _Alloc>::_M_insert_aux(iterator __position, const _Tp& __x)
{
if (_M_finish != _M_end_of_storage) {
construct(_M_finish, *(_M_finish - 1));
++_M_finish;
_Tp __x_copy = __x;
copy_backward(__position, _M_finish - 2, _M_finish - 1);
*__position = __x_copy;
}
else {
const size_type __old_size = size();
const size_type __len = __old_size != 0 ? 2 * __old_size : 1;
iterator __new_start = _M_allocate(__len);
iterator __new_finish = __new_start;
__STL_TRY {
__new_finish = uninitialized_copy(_M_start, __position, __new_start);
construct(__new_finish, __x);
++__new_finish;
__new_finish = uninitialized_copy(__position, _M_finish, __new_finish);
}
__STL_UNWIND((destroy(__new_start,__new_finish),
_M_deallocate(__new_start,__len)));
destroy(begin(), end());
_M_deallocate(_M_start, _M_end_of_storage - _M_start);
_M_start = __new_start;
_M_finish = __new_finish;
_M_end_of_storage = __new_start + __len;
}
}

[一入程序深似海]

看看STL源码剖析里面讲没有讲，目测得不到答案，可是push_back判断之后，和_M_insert_aux里面判断之后的实现不一样，这可能是想通这个问题的入口

[fuzigege]

楼主想问的应该是既然push_back第一行已经比较了_M_finish != _M_end_of_storage，走else分支后调用_M_insert_aux函数，_M_insert_aux函数内部又来比较一次_M_finish != _M_end_of_storage。 楼主觉得重复了，或者楼主想说，既然_M_insert_aux里面已经有了_M_finish != _M_end_of_storage的检查，并且两个分支都有处理，外面的push_back里的比较就没必要了。 其实，楼主想多了。 第一，重复比较不算坏事，多一次比较影响不了多少性能。 第二，关键的是，_M_insert_aux不仅仅只给push_back函数一个人调用，还有其他函数需要调用它，其他函数可能没有像push_back一样检查_M_finish != _M_end_of_storage，所以_M_insert_aux始终会检查_M_finish。 第三，明显_M_insert_aux和push_back对于_M_finish != _M_end_of_storage成立以后的分支处理逻辑不同，_M_insert_aux明显要做更多的工作，而push_back则简单的的多，因为push_back只限定在末尾添加，因此没必要用_M_insert_aux里面的那些复杂逻辑，因此push_back额外判断了一下后，走了一个更简单的分支。

[tlogic]

谢谢2楼的，哈哈哈