为何Rust中return语句能让存在可变与共享引用的代码编译？

无return时编译失败的原因 #

原代码中，v.iter()会创建持有v共享引用的迭代器，这个共享引用的生命周期覆盖整个for循环的执行周期——从循环启动到所有迭代完成。而循环体内的v[0] = 0需要获取v的可变引用，这直接违反了Rust的核心借用规则：同一时间不能同时存在一个可变引用和一个/多个共享引用，因此编译报错。

加入return后编译通过的原因 #

当取消注释return语句后，第一次循环迭代执行到return时，函数会立即终止，后续循环迭代不会再执行。Rust的**非词法生命周期（NLL）**特性能够识别这种执行路径：

• 迭代器持有的共享引用在return执行后就不再被使用，编译器会判定这个共享借用可以被提前释放。
• v[0] = 0的可变借用是在共享借用被释放后（或者说编译器能确定共享借用后续无任何使用）创建的，因此不会触发借用冲突。

两种场景下的生命周期分析 #

无return的场景 #

• v.iter()的共享引用：生命周期从循环开始，持续到循环完全结束（所有迭代执行完毕）。
• v[0] = 0的可变引用：尝试在共享引用的生命周期内创建，直接触发冲突。

有return的场景 #

• v.iter()的共享引用：生命周期仅到第一次循环迭代中的return语句执行前，一旦执行return，该借用立即失效。
• v[0] = 0的可变引用：生命周期从赋值语句开始，到return执行前，此时共享引用已经被判定为不再使用，因此两者生命周期无重叠，符合借用规则。

内容的提问来源于stack exchange，提问作者clino