RUST 所有权移动问题

刚随手写了一个示例，尝试探测编译器检测机制。以下代码在 JAVA/C/C++等众多语言中没有任何问题，即使按照 RUST 的所有权原则，也应该正常。但实际上编译失败了。

struct Dog { name: String, } impl Dog { fn release(self) { println!("{}", self.name) } } struct Person { dog: Dog, name: String, } fn main() { let mut person = Person { dog: Dog { name: String::from("Hamel"), }, name: String::from("Zoe"), }; person.dog.release(); for _ in 0..1 { person.dog = Dog { name: String::from("Hogge"), }; } println!("{} got a new dog: {}", person.name, person.dog.name); } 

以上代码我先通过 Person 关联了 Dog ，随后释放 Person 中的 Dog ，到此 Dog 不再有效，若后续直接调用会编译失败。

我跟着创建一个百分比会执行的 for 循环重新赋值，按理说指针已发生了变更，后续在循环外使用的 Dog 是新建的对象不会有问题。

但事上上编译失败。Rust 的检测器似乎没有认真评估 for 中的条件，认为 loop 至少执行一次，而 for 却不确定。当我把 for 改成 loop ，它确实正常了。

loop { person.dog = Dog { name: String::from("Hogge"), }; break } 

我接着在 loop 中加一个百分比会执行的条件判断，最终仍然失败了。

loop { if true { person.dog = Dog { name: String::from("Hogge"), }; } break } 

如果说写 C/C++满脑袋都是寄存器、堆、栈、指针...，那么 RUST 必然是所有权检查器。