在push_back拨打copy_backward时会发生什么?

What happen when call copy_backward in push_back?

本文关键字：什么 backward push back 拨打 copy      更新时间：2023-10-16

我最近在看SGI STL的源代码。

我知道vector.push_back会打电话给insert_aux，insert_aux会打电话给copy_backward.

void push_back(const T& x){
...
insert_aux(end(),x);
}
void insert_aux(iterator position, const T& x){
if (finish != end_of_storage) {
...
++finish;
T x_copy = x;
copy_backward(position, finish - 2, finish -1);
}
...   
}

在最后一句话中，据我了解，position是finish - 1，那么它怎么能调用back_backward时(位置>完成 - 2(？

会发生什么？

您省略了重要的代码片段。

void push_back(const Tp& x) {
if (finish != end_of_storage) {
construct(finish, x);
++_M_finish;
}
else
insert_aux(end(), x);
}

只有当finish == end_of_storage时，才会在此处调用insert_aux。如果此条件true，则在insert_aux内部采用另一个分支来分配新存储：

void insert_aux(iterator position, const Tp& x) {
if (finish != end_of_storage) {
...
} else {
const size_type old_size = size();
const size_type len = old_size != 0 ? 2 * old_size : 1;
iterator new_start = allocate(len);
iterator new_finish = new_start;
new_finish = uninitialized_copy(start, position, new_start);
construct(new_finish, x);
++new_finish;
new_finish = uninitialized_copy(position, finish, new_finish);
destroy(begin(), end());
deallocate(start, end_of_storage - start);
start = new_start;
finish = new_finish;
end_of_storage = new_start + len;
}
}

insert_aux()中的第一个分支只是将尾部向右移动一个元素，以便为要插入的元素腾出一个空位。这只有在我们有足够的空间容纳它的情况下才会发生。

完成指向最后一个元素的旁边。在insert_aux函数中，递增完成后，位置为完成-2。因此copy_backward位置+1从一个位置复制到另一个位置。

相关文章：