① 钩子range-for 是魔法吗for (int x : v)是魔法吗不是。它就是begin() / end() / 的语法糖——展开后和你手写的索引循环编译成几乎一样的机器码。而迭代器失效的本质一句话你手里的地址在容器搬家/改结构后不再指向有效元素。这一集我们把 range-for 展开成机器码并彻底讲清迭代器失效这个 C 新手/老手都会踩的坑。② 源码 vs 汇编对照intsum_range(conststd::vectorintv){ints0;for(intx:v)sx;// range-forreturns;}intsum_index(conststd::vectorintv){ints0;for(size_t i0;iv.size();i)sv[i];// 手写索引returns;}-O2下两者几乎等价——range-for 展开成指针循环手写索引展开成下标循环sum_range(vectorint const): sum_index(vectorint const): movq (%rcx), %rax ; itbegin movq (%rcx), %r8 ; data movq 8(%rcx), %rcx ; end movq 8(%rcx), %rcx ; end cmpq %rax, %rcx subq %r8, %rcx ; 元素个数 je .L1 sarq $2, %rcx .L3: .L9: addl (%rax), %edx ; s*it addl (%r8,%rax,4), %edx ; sdata[i] addq $4, %rax ; it addq $1, %rax ; i cmpq %rcx, %rax cmpq %rcx, %rax jne .L3 jb .L9 .L1: .L10: movl %edx, %eax xorl %edx, %edx ret movl %edx, %eax ret两者都是紧致循环只是寻址方式不同指针递增 vs 下标寻址性能等价——range-for 的糖被完全优化掉了。③ 为什么这么设计range-for 的展开标准规定大致是auto __r v;→__begin begin(__r); __end end(__r);→for (; __begin ! __end; __begin) { 元素 *__begin; 循环体 }。对vectorbegin/end就是那两个指针所以编译成上面的指针循环。为什么range-for 安全它自动取 begin/end、自动你不需要手动管理迭代器也就少一类手写循环时/解引用顺序写错的 bug。迭代器失效的本质迭代器保存的是旧地址。vector扩容 元素整体搬家旧地址悬垂erase 元素提前结束/前移后续迭代器指向的语义变了。失效后使用 未定义行为解引用悬垂地址。两类典型失效① 添加元素可能让 vector 的所有迭代器失效重新分配② 删除元素让被删元素及其后的迭代器失效。注意给 vector 添加元素是最容易踩的失效坑因为它连已存在的迭代器一起作废。④ 深入一迭代器到底是什么东西迭代器不是魔法它是一组重载了运算符的类或指针别名std::vectorint::iterator在 libstdc 里就是int*或一层薄包装——是addq $4、*是movl、比较是cmpq全部内联成普通指针运算本集汇编就是证据std::listint::iterator包装节点指针走next指针movq 8(%rax), %rax不是连续地址std::map/set迭代器包装树节点走树的后继。所以迭代器失效对每种容器含义不同容器插入使哪些迭代器失效删除使哪些失效vector扩容时全部被删及之后deque除首尾外被删前后可能影响list无除被删仅被删map/set无除被删仅被删**list/map 的插入不失效**是它们相对 vector 的硬优势E14 提过——代价是节点分散、缓存差。⑤ 深入二为什么边遍历边删是 UBfor(autoitv.begin();it!v.end();it){if(*it3)v.erase(it);// ← UB}erase(it)后it指向的元素被移除vector 会把后面的元素前移——it现在指向的不是原来的元素且语义上已失效循环条件it ! v.end()和it都在用已失效的迭代器标准说失效后使用 未定义行为——可能碰巧正常可能越界写坏内存可能在 release 下行为诡异。正确做法erase-remove惯用法v.erase(std::remove_if(v.begin(),v.end(),[](intx){returnx3;}),v.end());remove_if把要保留的搬到前面返回新逻辑末尾不删元素erase一次性擦掉尾部废元素一次范围擦除全程一次遍历、无失效迭代器问题。这是算法化优于手写循环的典型。⑥ 深入三索引 vs 迭代器的取舍维度迭代器/range-for索引可读性高“对每个元素”中“第 i 个”vector 性能指针循环下标寻址等价非连续容器必需list/map 无随机访问不适用失效风险增删后失效规则多索引也失效size 变逆序遍历rbegin/rendfor (int in-1;i0;--i)实践遍历用 range-for可读、安全、等价性能需要下标如更新相邻元素用索引操作非连续容器只能迭代器。没有银弹按需求选。⑦ 常见误区误区 1“range-for 比手写循环慢”-O2下等价本集汇编编译器会内联 begin/end//*。误区 2“迭代器就是指针”对 vector 近似是对 list/map 是包装类。别假设所有迭代器都能it n只有随机访问迭代器支持。误区 3“end()指向最后一个元素”end()指向最后一个元素之后past-the-end解引用*end()是 UB。误区 4“失效后只是’值变错’还能用”失效后使用是未定义行为——不是拿到旧值而是可能崩/越界。误区 5“reserve了就不会失效”reserve只保证不扩容到该容量前不重新分配超过 reserve 的容量仍会扩容失效。reserve减少失效次数而非杜绝。误区 6“end()迭代器可以长期保存复用”任何导致失效的操作扩容、erase都会让保存的end()失效。别auto e v.end();后还往 v 里加元素再拿e比较——那是悬垂比较UB。误区 7“std::list的迭代器永不失效”插入不失效但删除被删元素本身时该迭代器仍失效指向已被释放的节点。“插入不失效不等于删除不失效”。误区 8“auto x : v遍历能修改 vector 大小”x是元素引用写x只改元素值往 v 里push_back仍会使迭代器失效循环继续 UB。改大小必须显式用索引/迭代器操作。误区 9“迭代器失效是 debug 才有的问题”恰恰相反-O2/release 下失效迭代器的解引用可能碰巧正常内存还在也可能越界写坏——比 debug 更隐蔽。失效是未定义行为不是会报错。误区 10“std::vector::data()是拷贝”data()返回_M_start内部指针零拷贝——这是拿 vector 当 C 数组用的官方通道。改元素会改容器同一块内存。⑧ 实战启示遍历优先 range-for需要删除时用erase-remove惯用法v.erase(std::remove_if(v.begin(), v.end(), pred), v.end())——一次遍历 一次擦除安全且高效。手写边遍历边 erase是经典 UBfor (itv.begin(); it!v.end(); it) if (...) v.erase(it);里erase后it已失效it就是未定义行为。在 vector 里增删时别保留旧迭代器/指针扩容即失效需要稳定地址就换deque/list或改存索引。用reserve预分配可以显著减少添加导致全部失效的次数见 E14。检查工具-D_GLIBCXX_DEBUGlibstdc会让迭代器带检查失效后使用会运行时报错——调试期开它上线关掉。⑨ 扩展专题一range-for 的展开细节与临时对象陷阱range-for 的标准展开是{auto__rangev;// 引用原对象不拷贝auto__beginbegin(__range);auto__endend(__range);for(;__begin!__end;__begin){autox*__begin;// 元素引用循环体}}关键陷阱auto __range v;绑定的是引用——如果 range 是函数返回的临时对象如std::vectorint f(); for (auto x : f())临时对象的生命周期被auto延长到循环结束OK但如果 begin/end 是成员函数返回的迭代器且 range 在循环里被修改行为就复杂了。另一个陷阱for (auto x : v)是拷贝每个元素auto x *itfor (const auto x : v)是引用零拷贝。遍历大对象时用const auto或auto避免每元素拷贝。⑩ 扩展专题二迭代器类别与距离操作迭代器按能力分五类从弱到强输出迭代器 输入迭代器 前向迭代器 双向迭代器 随机访问迭代器vector/deque/array随机访问支持itn、it[n]、it1-it2list双向只支持/--不支持itnunordered_map前向只能std::advance/std::distance按类别自动选最优路径随机访问 O(1)、否则逐步走。为什么重要it 100对 vector 是一条addq $400对 list 是 100 次next跳转。选对容器 选对操作决定了一条指令还是百次内存跳。⑪ 扩展 FAQQv.end()在扩容后还有效吗A扩容后所有迭代器含 end失效。所以保存 end 比较要小心auto e v.end(); while(...) v.push_back(...);里e可能失效。Q为什么std::vector::erase返回新迭代器Aerase(it)后it失效但返回的下一个有效迭代器让你能继续遍历it v.erase(it);模式注意别。Qstd::remove和erase为什么要配合Aremove只搬移不删O(n) 一次遍历erase真正删尾段。分开是为了算法通用remove 可用于数组等。Qrange-for 能改容器吗A能在循环体里调用不改 begin/end的操作但往 vector 里 push_back 再继续迭代会让迭代器失效UB。循环中改结构要格外小心。Q怎么遍历时安全删除Aerase-removevector/deque、erase(it)技巧list/mapit c.erase(it);或it后再删旧值、或先收集再删。别直接for erase。⑫ 扩展实验range-for vs 索引-O2 -S对照sum_range/sum_index确认几乎等价本集汇编。失效复现保存auto it v.begin();后push_back100 次触发扩容*it观察悬垂UB可能崩。erase-remove跑惯用法与边遍历边 erase对比结果正确性与是否崩溃。-D_GLIBCXX_DEBUG开启后跑失效代码观察运行时检查报错信息。list 迭代器失效list 插入中间后旧迭代器仍有效验证插入不失效。⑭ 扩展专题三为什么说range-for 是最安全的遍历对比三种遍历range-for 的安全是结构性的// 手写索引可能 size 变、越界for(size_t i0;iv.size();i){v[i]...}// 手写迭代器可能 顺序错、忘记 endfor(autoitv.begin();it!v.end();it){...}// range-forbegin/end//* 全由编译器生成for(autox:v){...}range-for 不会写错it和*it的顺序不会忘了解引用或多解引用循环边界由end()自动维护容器不变时绝对正确但对循环中改容器它不设防——失效规则依然适用。所以安全是相对的对只读/不改结构的遍历最安全对改结构仍需自己负责。⑮ 扩展专题四迭代器失效的完整规则表速查容器插入添加删除erase/pop其他vector扩容时全部失效被删及之后失效reserve到容量前不因添加失效deque非首尾插入可能全部失效首尾插入只首尾失效被删影响区域—list不失效除被删仅被删splice/merge 不失效map/set不失效除被删仅被删—unordered_*触发 rehash 时全部失效仅被删rehash 阈值可查string非 const 操作可能失效同 vector—记忆口诀连续容器vector/deque/string添加可能全失效链表list与树map/set只有被删元素自己失效哈希表unorderedrehash 是全失效的开关。实战需要长期持有的迭代器 频繁插入→ 用 list/map不失效需要连续内存 高性能→ 用 vector但别长期持有迭代器用索引 随时重取。⑯ 扩展 FAQ第二轮Qstd::distance对非随机访问迭代器是 O(n) 吗A是双向/前向迭代器只能逐步走。对 vector 它是 O(1)指针相减。别在 list 上频繁distance。Q为什么v.erase(it)返回新迭代器A让删除后继续遍历有安全入口it v.erase(it);此时不要返回的就是下一个。这是手写边删边遍历的安全版。Qstd::prev/std::next会怎样Astd::next(it, n)走 n 步vector O(1)、list O(n)std::prev反向。随机访问迭代器它们也 O(1)。Qrange-for 展开的auto会拷贝吗A不会——auto是引用绑定完美转发风格不拷贝容器。元素本身auto x才拷贝。Q为什么-D_GLIBCXX_DEBUG能抓失效A它给迭代器/容器包装了运行时检查每次 /*/比较验证仍属于该容器且有效失效后操作抛异常。代价是慢很多只用于调试。⑰ 扩展实验第二轮安全删除对比三种删除方式边遍历边 eraseUB、iterase(it)、erase-remove各实现一次观察正确性与崩溃差异。rehash 失效unordered_map连续插入触发 rehash保存的迭代器解引用观察失效UB。list 迭代器稳定list 中间插入 100 个元素原迭代器仍可解引用不失效验证规则表。distance 复杂度对 vector 和 list 各distance(begin,end)计时对比 O(1) vs O(n)。range-for 拷贝陷阱遍历大对象用autovsconst auto构造/析构日志对比每元素拷贝次数。⑲ 扩展专题五迭代器与指针的血缘——为什么 vector 迭代器就是指针在 libstdc 里std::vectorT::iterator是T*或__gnu_cxx::__normal_iteratorT*, vectorT这层薄包装。这带来两个直接后果迭代器运算 指针运算/--/n/-/[]全编译成一条地址算术指令零开销本集汇编已证可以互转*it拿到指针、v.data()当数组用——vector 的连续内存让迭代器退化成指针但语义不同指针是裸地址无容器概念迭代器是容器内位置虽然 vector 下退化。对比list/map的迭代器是包装类解引用、 都要走对象方法虽然也能内联不能当指针用。所以vector 迭代器指针是它性能好的又一体现——标准库把连续容器的迭代器实现成裸指针让遍历退化成最原始的指针循环。⑳ 扩展专题六range-for 与结构化绑定的组合C17 起range-for 可以配合结构化绑定遍历键值对for(constauto[k,v]:my_map){...}// mappair 的解构展开后auto x *it;→const auto k x.first; const auto v x.second;对map的迭代器*it是pairconst K, V结构化绑定把它拆成 k/v 引用汇编层面就是访问x.first/x.second的普通字段访问无额外开销。陷阱for (auto [k, v] : m)不带会拷贝每个 pairconst auto才是零拷贝。遍历大 value 的 map 一定要用const auto或auto。㉑ 扩展 FAQ第三轮Qstd::begin/std::end和成员begin/end区别A成员函数是容器自带的自由函数std::begin(v)会调用成员或对原生数组特化std::begin(arr)对 C 数组也有效。range-for 用的是自由函数ADL 找到成员。Q为什么 range-for 对 C 数组也有效Astd::begin/end对原生数组有特化返回首尾指针所以for (int x : arr)成立——这是 range-for 的数组福利。Q迭代器能不能比较或A只有随机访问迭代器支持vector/deque/arraylist/map 只支持/!。别对双向迭代器用编译错误。Qstd::back_inserter是什么A一个输出迭代器适配器*it x变成c.push_back(x)。用于std::copy等算法把结果推进容器——它每次赋值都 push_back可能扩容。Qstd::transform和手写循环选哪个A能表达逐个变换就用算法可读、编译器更熟需要复杂控制流break、提前返回再手写循环。性能等价都内联。Q为什么说别在 range-for 里修改容器大小Arange-for 展开后持有begin/end迭代器循环中push_back/erase会让它们失效循环条件比较失效迭代器 UB。要边遍历边改改用索引/显式迭代器 安全删除E15 ⑪。Qstd::vector的迭代器在swap后失效吗Aswap只是交换三个指针迭代器跟随原容器语义指向的逻辑位置不变但底层数据换了——严格说是未指定但通常有效。保险起见 swap 后重新取迭代器。Q为什么remove_if返回的新 end很重要A它告诉你有效区间的逻辑末尾。erase从它到v.end()才是真正删除。不擦的话尾部是已搬走的残余值不是错误数据但属于已删除元素。Q迭代器和引用/指针能混用吗A*it拿指针、*it拿引用语义互通vector 下就是同一地址。但都受同样的失效规则约束——别在扩容后继续用旧指针/引用。Q为什么std::distance在 vector 上快、list 上慢Adistance对随机访问迭代器用指针相减O(1)对双向迭代器逐步计数O(n)。这是按迭代器类别选算法的经典例子。Qstd::rangesC20和迭代器什么关系Astd::ranges把迭代器对begin/end抽象成range概念for (auto x : v | std::views::filter(pred))是惰性视图组合——底层仍是迭代器但更声明式、更安全。Q为什么先收集再删除比边遍历边删安全A边删边遍历会让迭代器/索引失效UB先收集要删的下标/键再统一删除规避了失效窗口——这是常见的健壮写法。Qstd::for_each和 range-for 选哪个A需要就地副作用且不想写循环头用for_each绝大多数场景 range-for 更直白还有break/continue。性能等价。Q为什么遍历时修改元素内容是安全的A只改*it指向的元素值、不改变容器结构大小/容量时迭代器仍有效地址没变。所以for (auto x : v) x * 2;安全——改值不改结构。Q空容器遍历会怎样Abegin()end()循环体一次都不执行——安全。空 vector 的begin()/end()返回同一地址可能都为空指针的相等但别解引用。㉒ 扩展实验第三轮结构化绑定反汇编range-for const auto [k,v]遍历 map确认字段访问零开销。C 数组 range-forint a[5]; for (int x : a)反汇编确认退化成指针循环。迭代器类别 traitstd::iterator_traitsIt::iterator_category打印 vector/list/map 的类别。back_inserterstd::copy到back_inserter(v)反汇编确认每次赋值 push_back。指针 vs 迭代器*v.begin()与v.data()是否相等验证 vector 迭代器 指针。㉓ 悬念到目前为止我们讲的都是单线程的世界。下一章进入并发两个线程同时push_back同一个vector会发生什么lock前缀、内存序、协程的状态机 迭代器与 range-for：语法糖的机器码真相
① 钩子range-for 是魔法吗for (int x : v)是魔法吗不是。它就是begin() / end() / 的语法糖——展开后和你手写的索引循环编译成几乎一样的机器码。而迭代器失效的本质一句话你手里的地址在容器搬家/改结构后不再指向有效元素。这一集我们把 range-for 展开成机器码并彻底讲清迭代器失效这个 C 新手/老手都会踩的坑。② 源码 vs 汇编对照intsum_range(conststd::vectorintv){ints0;for(intx:v)sx;// range-forreturns;}intsum_index(conststd::vectorintv){ints0;for(size_t i0;iv.size();i)sv[i];// 手写索引returns;}-O2下两者几乎等价——range-for 展开成指针循环手写索引展开成下标循环sum_range(vectorint const): sum_index(vectorint const): movq (%rcx), %rax ; itbegin movq (%rcx), %r8 ; data movq 8(%rcx), %rcx ; end movq 8(%rcx), %rcx ; end cmpq %rax, %rcx subq %r8, %rcx ; 元素个数 je .L1 sarq $2, %rcx .L3: .L9: addl (%rax), %edx ; s*it addl (%r8,%rax,4), %edx ; sdata[i] addq $4, %rax ; it addq $1, %rax ; i cmpq %rcx, %rax cmpq %rcx, %rax jne .L3 jb .L9 .L1: .L10: movl %edx, %eax xorl %edx, %edx ret movl %edx, %eax ret两者都是紧致循环只是寻址方式不同指针递增 vs 下标寻址性能等价——range-for 的糖被完全优化掉了。③ 为什么这么设计range-for 的展开标准规定大致是auto __r v;→__begin begin(__r); __end end(__r);→for (; __begin ! __end; __begin) { 元素 *__begin; 循环体 }。对vectorbegin/end就是那两个指针所以编译成上面的指针循环。为什么range-for 安全它自动取 begin/end、自动你不需要手动管理迭代器也就少一类手写循环时/解引用顺序写错的 bug。迭代器失效的本质迭代器保存的是旧地址。vector扩容 元素整体搬家旧地址悬垂erase 元素提前结束/前移后续迭代器指向的语义变了。失效后使用 未定义行为解引用悬垂地址。两类典型失效① 添加元素可能让 vector 的所有迭代器失效重新分配② 删除元素让被删元素及其后的迭代器失效。注意给 vector 添加元素是最容易踩的失效坑因为它连已存在的迭代器一起作废。④ 深入一迭代器到底是什么东西迭代器不是魔法它是一组重载了运算符的类或指针别名std::vectorint::iterator在 libstdc 里就是int*或一层薄包装——是addq $4、*是movl、比较是cmpq全部内联成普通指针运算本集汇编就是证据std::listint::iterator包装节点指针走next指针movq 8(%rax), %rax不是连续地址std::map/set迭代器包装树节点走树的后继。所以迭代器失效对每种容器含义不同容器插入使哪些迭代器失效删除使哪些失效vector扩容时全部被删及之后deque除首尾外被删前后可能影响list无除被删仅被删map/set无除被删仅被删**list/map 的插入不失效**是它们相对 vector 的硬优势E14 提过——代价是节点分散、缓存差。⑤ 深入二为什么边遍历边删是 UBfor(autoitv.begin();it!v.end();it){if(*it3)v.erase(it);// ← UB}erase(it)后it指向的元素被移除vector 会把后面的元素前移——it现在指向的不是原来的元素且语义上已失效循环条件it ! v.end()和it都在用已失效的迭代器标准说失效后使用 未定义行为——可能碰巧正常可能越界写坏内存可能在 release 下行为诡异。正确做法erase-remove惯用法v.erase(std::remove_if(v.begin(),v.end(),[](intx){returnx3;}),v.end());remove_if把要保留的搬到前面返回新逻辑末尾不删元素erase一次性擦掉尾部废元素一次范围擦除全程一次遍历、无失效迭代器问题。这是算法化优于手写循环的典型。⑥ 深入三索引 vs 迭代器的取舍维度迭代器/range-for索引可读性高“对每个元素”中“第 i 个”vector 性能指针循环下标寻址等价非连续容器必需list/map 无随机访问不适用失效风险增删后失效规则多索引也失效size 变逆序遍历rbegin/rendfor (int in-1;i0;--i)实践遍历用 range-for可读、安全、等价性能需要下标如更新相邻元素用索引操作非连续容器只能迭代器。没有银弹按需求选。⑦ 常见误区误区 1“range-for 比手写循环慢”-O2下等价本集汇编编译器会内联 begin/end//*。误区 2“迭代器就是指针”对 vector 近似是对 list/map 是包装类。别假设所有迭代器都能it n只有随机访问迭代器支持。误区 3“end()指向最后一个元素”end()指向最后一个元素之后past-the-end解引用*end()是 UB。误区 4“失效后只是’值变错’还能用”失效后使用是未定义行为——不是拿到旧值而是可能崩/越界。误区 5“reserve了就不会失效”reserve只保证不扩容到该容量前不重新分配超过 reserve 的容量仍会扩容失效。reserve减少失效次数而非杜绝。误区 6“end()迭代器可以长期保存复用”任何导致失效的操作扩容、erase都会让保存的end()失效。别auto e v.end();后还往 v 里加元素再拿e比较——那是悬垂比较UB。误区 7“std::list的迭代器永不失效”插入不失效但删除被删元素本身时该迭代器仍失效指向已被释放的节点。“插入不失效不等于删除不失效”。误区 8“auto x : v遍历能修改 vector 大小”x是元素引用写x只改元素值往 v 里push_back仍会使迭代器失效循环继续 UB。改大小必须显式用索引/迭代器操作。误区 9“迭代器失效是 debug 才有的问题”恰恰相反-O2/release 下失效迭代器的解引用可能碰巧正常内存还在也可能越界写坏——比 debug 更隐蔽。失效是未定义行为不是会报错。误区 10“std::vector::data()是拷贝”data()返回_M_start内部指针零拷贝——这是拿 vector 当 C 数组用的官方通道。改元素会改容器同一块内存。⑧ 实战启示遍历优先 range-for需要删除时用erase-remove惯用法v.erase(std::remove_if(v.begin(), v.end(), pred), v.end())——一次遍历 一次擦除安全且高效。手写边遍历边 erase是经典 UBfor (itv.begin(); it!v.end(); it) if (...) v.erase(it);里erase后it已失效it就是未定义行为。在 vector 里增删时别保留旧迭代器/指针扩容即失效需要稳定地址就换deque/list或改存索引。用reserve预分配可以显著减少添加导致全部失效的次数见 E14。检查工具-D_GLIBCXX_DEBUGlibstdc会让迭代器带检查失效后使用会运行时报错——调试期开它上线关掉。⑨ 扩展专题一range-for 的展开细节与临时对象陷阱range-for 的标准展开是{auto__rangev;// 引用原对象不拷贝auto__beginbegin(__range);auto__endend(__range);for(;__begin!__end;__begin){autox*__begin;// 元素引用循环体}}关键陷阱auto __range v;绑定的是引用——如果 range 是函数返回的临时对象如std::vectorint f(); for (auto x : f())临时对象的生命周期被auto延长到循环结束OK但如果 begin/end 是成员函数返回的迭代器且 range 在循环里被修改行为就复杂了。另一个陷阱for (auto x : v)是拷贝每个元素auto x *itfor (const auto x : v)是引用零拷贝。遍历大对象时用const auto或auto避免每元素拷贝。⑩ 扩展专题二迭代器类别与距离操作迭代器按能力分五类从弱到强输出迭代器 输入迭代器 前向迭代器 双向迭代器 随机访问迭代器vector/deque/array随机访问支持itn、it[n]、it1-it2list双向只支持/--不支持itnunordered_map前向只能std::advance/std::distance按类别自动选最优路径随机访问 O(1)、否则逐步走。为什么重要it 100对 vector 是一条addq $400对 list 是 100 次next跳转。选对容器 选对操作决定了一条指令还是百次内存跳。⑪ 扩展 FAQQv.end()在扩容后还有效吗A扩容后所有迭代器含 end失效。所以保存 end 比较要小心auto e v.end(); while(...) v.push_back(...);里e可能失效。Q为什么std::vector::erase返回新迭代器Aerase(it)后it失效但返回的下一个有效迭代器让你能继续遍历it v.erase(it);模式注意别。Qstd::remove和erase为什么要配合Aremove只搬移不删O(n) 一次遍历erase真正删尾段。分开是为了算法通用remove 可用于数组等。Qrange-for 能改容器吗A能在循环体里调用不改 begin/end的操作但往 vector 里 push_back 再继续迭代会让迭代器失效UB。循环中改结构要格外小心。Q怎么遍历时安全删除Aerase-removevector/deque、erase(it)技巧list/mapit c.erase(it);或it后再删旧值、或先收集再删。别直接for erase。⑫ 扩展实验range-for vs 索引-O2 -S对照sum_range/sum_index确认几乎等价本集汇编。失效复现保存auto it v.begin();后push_back100 次触发扩容*it观察悬垂UB可能崩。erase-remove跑惯用法与边遍历边 erase对比结果正确性与是否崩溃。-D_GLIBCXX_DEBUG开启后跑失效代码观察运行时检查报错信息。list 迭代器失效list 插入中间后旧迭代器仍有效验证插入不失效。⑭ 扩展专题三为什么说range-for 是最安全的遍历对比三种遍历range-for 的安全是结构性的// 手写索引可能 size 变、越界for(size_t i0;iv.size();i){v[i]...}// 手写迭代器可能 顺序错、忘记 endfor(autoitv.begin();it!v.end();it){...}// range-forbegin/end//* 全由编译器生成for(autox:v){...}range-for 不会写错it和*it的顺序不会忘了解引用或多解引用循环边界由end()自动维护容器不变时绝对正确但对循环中改容器它不设防——失效规则依然适用。所以安全是相对的对只读/不改结构的遍历最安全对改结构仍需自己负责。⑮ 扩展专题四迭代器失效的完整规则表速查容器插入添加删除erase/pop其他vector扩容时全部失效被删及之后失效reserve到容量前不因添加失效deque非首尾插入可能全部失效首尾插入只首尾失效被删影响区域—list不失效除被删仅被删splice/merge 不失效map/set不失效除被删仅被删—unordered_*触发 rehash 时全部失效仅被删rehash 阈值可查string非 const 操作可能失效同 vector—记忆口诀连续容器vector/deque/string添加可能全失效链表list与树map/set只有被删元素自己失效哈希表unorderedrehash 是全失效的开关。实战需要长期持有的迭代器 频繁插入→ 用 list/map不失效需要连续内存 高性能→ 用 vector但别长期持有迭代器用索引 随时重取。⑯ 扩展 FAQ第二轮Qstd::distance对非随机访问迭代器是 O(n) 吗A是双向/前向迭代器只能逐步走。对 vector 它是 O(1)指针相减。别在 list 上频繁distance。Q为什么v.erase(it)返回新迭代器A让删除后继续遍历有安全入口it v.erase(it);此时不要返回的就是下一个。这是手写边删边遍历的安全版。Qstd::prev/std::next会怎样Astd::next(it, n)走 n 步vector O(1)、list O(n)std::prev反向。随机访问迭代器它们也 O(1)。Qrange-for 展开的auto会拷贝吗A不会——auto是引用绑定完美转发风格不拷贝容器。元素本身auto x才拷贝。Q为什么-D_GLIBCXX_DEBUG能抓失效A它给迭代器/容器包装了运行时检查每次 /*/比较验证仍属于该容器且有效失效后操作抛异常。代价是慢很多只用于调试。⑰ 扩展实验第二轮安全删除对比三种删除方式边遍历边 eraseUB、iterase(it)、erase-remove各实现一次观察正确性与崩溃差异。rehash 失效unordered_map连续插入触发 rehash保存的迭代器解引用观察失效UB。list 迭代器稳定list 中间插入 100 个元素原迭代器仍可解引用不失效验证规则表。distance 复杂度对 vector 和 list 各distance(begin,end)计时对比 O(1) vs O(n)。range-for 拷贝陷阱遍历大对象用autovsconst auto构造/析构日志对比每元素拷贝次数。⑲ 扩展专题五迭代器与指针的血缘——为什么 vector 迭代器就是指针在 libstdc 里std::vectorT::iterator是T*或__gnu_cxx::__normal_iteratorT*, vectorT这层薄包装。这带来两个直接后果迭代器运算 指针运算/--/n/-/[]全编译成一条地址算术指令零开销本集汇编已证可以互转*it拿到指针、v.data()当数组用——vector 的连续内存让迭代器退化成指针但语义不同指针是裸地址无容器概念迭代器是容器内位置虽然 vector 下退化。对比list/map的迭代器是包装类解引用、 都要走对象方法虽然也能内联不能当指针用。所以vector 迭代器指针是它性能好的又一体现——标准库把连续容器的迭代器实现成裸指针让遍历退化成最原始的指针循环。⑳ 扩展专题六range-for 与结构化绑定的组合C17 起range-for 可以配合结构化绑定遍历键值对for(constauto[k,v]:my_map){...}// mappair 的解构展开后auto x *it;→const auto k x.first; const auto v x.second;对map的迭代器*it是pairconst K, V结构化绑定把它拆成 k/v 引用汇编层面就是访问x.first/x.second的普通字段访问无额外开销。陷阱for (auto [k, v] : m)不带会拷贝每个 pairconst auto才是零拷贝。遍历大 value 的 map 一定要用const auto或auto。㉑ 扩展 FAQ第三轮Qstd::begin/std::end和成员begin/end区别A成员函数是容器自带的自由函数std::begin(v)会调用成员或对原生数组特化std::begin(arr)对 C 数组也有效。range-for 用的是自由函数ADL 找到成员。Q为什么 range-for 对 C 数组也有效Astd::begin/end对原生数组有特化返回首尾指针所以for (int x : arr)成立——这是 range-for 的数组福利。Q迭代器能不能比较或A只有随机访问迭代器支持vector/deque/arraylist/map 只支持/!。别对双向迭代器用编译错误。Qstd::back_inserter是什么A一个输出迭代器适配器*it x变成c.push_back(x)。用于std::copy等算法把结果推进容器——它每次赋值都 push_back可能扩容。Qstd::transform和手写循环选哪个A能表达逐个变换就用算法可读、编译器更熟需要复杂控制流break、提前返回再手写循环。性能等价都内联。Q为什么说别在 range-for 里修改容器大小Arange-for 展开后持有begin/end迭代器循环中push_back/erase会让它们失效循环条件比较失效迭代器 UB。要边遍历边改改用索引/显式迭代器 安全删除E15 ⑪。Qstd::vector的迭代器在swap后失效吗Aswap只是交换三个指针迭代器跟随原容器语义指向的逻辑位置不变但底层数据换了——严格说是未指定但通常有效。保险起见 swap 后重新取迭代器。Q为什么remove_if返回的新 end很重要A它告诉你有效区间的逻辑末尾。erase从它到v.end()才是真正删除。不擦的话尾部是已搬走的残余值不是错误数据但属于已删除元素。Q迭代器和引用/指针能混用吗A*it拿指针、*it拿引用语义互通vector 下就是同一地址。但都受同样的失效规则约束——别在扩容后继续用旧指针/引用。Q为什么std::distance在 vector 上快、list 上慢Adistance对随机访问迭代器用指针相减O(1)对双向迭代器逐步计数O(n)。这是按迭代器类别选算法的经典例子。Qstd::rangesC20和迭代器什么关系Astd::ranges把迭代器对begin/end抽象成range概念for (auto x : v | std::views::filter(pred))是惰性视图组合——底层仍是迭代器但更声明式、更安全。Q为什么先收集再删除比边遍历边删安全A边删边遍历会让迭代器/索引失效UB先收集要删的下标/键再统一删除规避了失效窗口——这是常见的健壮写法。Qstd::for_each和 range-for 选哪个A需要就地副作用且不想写循环头用for_each绝大多数场景 range-for 更直白还有break/continue。性能等价。Q为什么遍历时修改元素内容是安全的A只改*it指向的元素值、不改变容器结构大小/容量时迭代器仍有效地址没变。所以for (auto x : v) x * 2;安全——改值不改结构。Q空容器遍历会怎样Abegin()end()循环体一次都不执行——安全。空 vector 的begin()/end()返回同一地址可能都为空指针的相等但别解引用。㉒ 扩展实验第三轮结构化绑定反汇编range-for const auto [k,v]遍历 map确认字段访问零开销。C 数组 range-forint a[5]; for (int x : a)反汇编确认退化成指针循环。迭代器类别 traitstd::iterator_traitsIt::iterator_category打印 vector/list/map 的类别。back_inserterstd::copy到back_inserter(v)反汇编确认每次赋值 push_back。指针 vs 迭代器*v.begin()与v.data()是否相等验证 vector 迭代器 指针。㉓ 悬念到目前为止我们讲的都是单线程的世界。下一章进入并发两个线程同时push_back同一个vector会发生什么lock前缀、内存序、协程的状态机