Rust中Vec访问修改元素的不同方式差异及相关问题解析

问题1：第二种写法中for关键字后添加的mut起到了什么作用？ #

• self.cells.iter_mut()迭代返回的每一项类型是&mut Cell，是指向vec中元素的可变引用。
• 第一种写法里for cell in ...的cell是不可变绑定：你不能修改cell这个变量本身存储的内存地址（也就是不能让它指向别的Cell实例），但可以通过*cell修改它指向的原vec元素的值，这也是第一种写法能正常运行的原因。
• 第二种写法加了mut变成for mut cell in ...，代表cell是可变绑定：你可以修改cell这个变量本身的指向，让它指向另一个&mut Cell实例。如果你没有修改cell本身的指向，它的行为和第一种写法完全一致，所以也能正常运行。

问题2：为什么第一种写法可以正常解引用cell，第三种写法却会触发解引用报错？ #

• 第三种写法的for &mut cell in ...是Rust的模式解构语法：迭代出来的项是&mut Cell，用&mut cell去匹配这个项，会自动把引用解掉，最终cell的类型是Cell（值类型，是原vec元素的拷贝），不是引用类型。
• 第一种写法里cell是&mut Cell（指针类型），当然可以用*解引用访问指向的值；但第三种写法里cell是普通的Cell枚举值，根本不是指针，自然不支持解引用操作，所以编译器抛出E0614错误。

问题3：为什么第四种写法可以编译通过，但完全不会修改cells的内容？ #

• 第四种写法里cell是可变绑定的&mut Cell，它初始指向vec里对应位置的Cell元素。
• 你写的cell = &mut Cell::Alive，修改的是cell这个局部变量本身存储的内存地址，让它指向了一个临时创建的Cell::Alive实例的可变引用，完全没有触及cell原来指向的vec里的元素。
• 这只是修改了局部变量的指向，对原cells向量没有任何影响，所以运行后看不到任何修改效果。

内容的提问来源于stack exchange，提问作者Andrés Moreno