Rust：if语句内赋值引发的不可变/可变借用冲突问题

先明确Rust的核心借用规则：同一时间，同一个值只能有一个可变借用，或者任意多个不可变借用，两者不能共存。

我们一步步拆解你的代码问题：

原错误代码的核心矛盾 #

在start函数里，一开始创建了value变量，它是self.value的不可变引用：

let mut value = &self.value;

进入循环后，执行流程是：

1. 调用value.as_str()——这个不可变引用被标记为"仍在使用"（下一次循环还会用到）
2. 尝试调用self.change()——需要对self做可变借用
3. 进入if true块，给value重新赋值新的不可变引用

问题出在Rust借用检查器的路径判断逻辑：

• 借用检查器不会去解析if true这种常量条件，它只看代码结构：当前if没有else分支，意味着代码结构上存在未覆盖的路径（哪怕永远不会执行），在这个路径下value不会被重新赋值。
• 在这个未覆盖的路径里，value还拿着最初的不可变引用，并且会被带到下一次循环继续使用。
• 但在这之前我们已经对self做了可变借用，这就违反了借用规则——存活的不可变引用和可变借用不能同时存在。

为什么去掉if或者加else就没问题？ #

直接去掉if，赋值语句单独存在 #

value = self.get_value();

这时借用检查器能明确：旧的不可变引用被立刻覆盖，之后再也不会被使用。所以调用self.change()的时候，旧引用已经失效，可变借用不会和任何存活的不可变引用冲突。

给if添加else分支 #

不管else里给value赋什么值，只要所有路径都覆盖了，借用检查器就会确认：旧的不可变引用一定会被覆盖，不会被带到下一次循环。这时候可变借用就不会和存活的不可变引用冲突，编译就能通过。

关于Rust版本 #

你用的是1.65.0，这个版本的借用检查器还不会对常量条件做特殊优化，只会严格按照代码结构去判断所有可能的执行路径。后续版本的Polonius检查器在这类场景的分析上会更智能，但核心规则还是不变的。

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