数据结构 - 如何理解C++区间删除算法中的“更新规模”操作?

Question

正在自学数据结构，遇到一个问题（如图）始终难以理解：_size=lo为更新规模，或者说丢弃尾部的操作，为什么不是hi=_size，因为元素移位后，有效的数据序列应该是n-hi+lo位置之前的元素构成的，也就是vi[hi]之后的元素都应该丢弃，所以hi=_size不是很合理吗。
希望大神可以帮忙解决，谢谢！

Answer 1

你打箭头的那一行已经对lo这个变量累加了

Answer 2

因为是用[hi,_size]之间的元素去覆盖[lo, _size+lo-hi]区间的元素.
hi增加到_size, 对应的lo会增加到_size+lo-hi,
即_size+lo-hi是最后一个元素的位置，即新的_size值

而代码里使用了lo来标记最后一个元素的位置， 所以最后大小就是_size=lo.

Answer 3

在这个函数中lo和hi都是传值参数，也就是函数运行完成之后，这两个值就销毁了。
对于vector而言，_size是它的成员。它通过_size来确定保存的元素的个数。
所以这里要修改的就是_size，而不会是hi。

Answer 4

hi=_size不合理

• hi的意义刚开始是要删除的区间右端点，while结束后表示剩余元素的右端点;而_size未更新前，表示未删除元素时的右端点，while结束后，未更新的_size是没意义的，再把hi赋值为_size是什么鬼

• lo和 hi是局部变量（参数），作用域是函数内，函数执行完后即销毁，更新 hi 是没有意义的。

• 表示vector规模的是_size，也就是调用v.size()返回的值，所以应该更新_size