Rust循环分步给结构体字段赋值报前次迭代移动错误原因问询

核心问题 #

你第一种写法的错误根源是违反了Rust的变量初始化规则：
Rust不会为任何类型自动生成默认实例，所有变量在使用前必须完成全量初始化。你代码里的let mut event_stats: payloads::EventStats;仅声明了变量的类型，没有创建实际的结构体实例，后续对event_stats.name等字段的赋值，本质是尝试修改未初始化的内存空间，属于被Rust安全规则禁止的操作。

报错信息的偏差 #

你看到的「前次迭代移动后赋值」属于旧版Rust编译器的不准确提示：
编译器错误将未初始化的变量状态识别为上一轮迭代已被移动的状态，实际上每次循环迭代的局部变量都是全新的，不存在上一轮迭代的残留值。新版Rust编译器针对这类场景已经优化了报错，会直接提示use of possibly-uninitialized variable。

两种正确写法可正常运行的原因 #

后面两种写法都使用了结构体字面量语法，一次性完成了结构体所有字段的初始化，直接生成了合法的结构体实例，完全符合Rust的初始化规则，因此可以正常编译运行。

可选修改方案 #

如果你确实需要先声明可变变量再逐字段赋值，只要给payloads::EventStats实现Default trait，再将变量声明行改为：

let mut event_stats = payloads::EventStats::default();

后续的逐字段赋值逻辑就可以正常编译运行。

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