C++ Algorithm Lab · Chapter 10

从“迭代器返回值”读懂真实状态

先预测，再逐步执行。你会看见逻辑末端与物理大小、lambda 捕获时刻，以及输出迭代器的写入契约如何共同决定结果。

123 切换　→ 单步　R 重置

逻辑删除不会立即缩容

remove 压紧保留项，unique 压紧相邻唯一项；两者都只返回 new_end。

等待预测

短数据（逗号分隔整数）算法

执行算法后、erase 之前，vector::size() 会怎样？

先选择判断，才能开始单步执行。

size = 7logical = 7new_end 偏移 = 7

[begin, new_end) 保留范围逻辑尾段

0 / 2

// 先预测，再执行

逻辑范围由迭代器界定，物理大小由容器管理。

在创建 lambda 后改变外部阈值，对比 [threshold] 与 [&threshold] 的筛选结果。

等待预测

短数据创建时 / 外部改为

外部 threshold 改变后，两个 lambda 的命中集合是否一样？

先作出判断，再观察两条捕获路径。

外部 threshold = 70

内部副本 = 未创建

等待筛选

当前读取 = 未创建

等待筛选

0 / 3

// 先预测，再创建 lambda

引用捕获不延长对象生命期。如果 lambda 活得比 threshold 更久，之后调用将读取悬空引用。

同时比较 resize + begin、空 vector.begin、back_inserter、front_inserter，并观察反向迭代器 base() 的偏移。

等待预测

源数据写入变换

把结果写入一个空 vector 时，哪一种必须被阻止？

先判断目标迭代器是否真的可解引用。

源元素 = 4写入需求 = 4 个槽位

反向迭代器：rbegin() 指向末元素→rbegin().base() == end()相差一个元素

0 / 3

// 先预测，再检查目标空间

reserve 只改变 capacity，不创建可解引用元素；因此 reserve 后的 begin() 仍不是有效输出位置。