Rust结构体构造时表达式报错，调整字段顺序解决，求原理解析

问题背景 #

我编写了如下Rust代码：

pub struct AggregateDataPerConnection {
    pub connection_idx: u16,
    pub ok_duration_series: Vec<u128>,
    pub mx_time_spent_on_ok_req: u128,
}

// TODO: Provide a Builder for the struct below!
impl AggregateDataPerConnection {
    pub fn new(
        connection_idx: u16, ok_duration_series: Vec<u128>
    ) -> AggregateDataPerConnection {
        AggregateDataPerConnection {
            connection_idx,
            ok_duration_series,
            mx_time_spent_on_ok_req: ok_duration_series.iter().copied().max().unwrap_or(0)
        }
    }
}

编译器报错：

error[E0382]: borrow of moved value: `ok_duration_series`
  --> src/lib.rs:20:38
   |
12 |         connection_idx: u16, ok_duration_series: Vec<u128>
   |                              ------------------ move occurs because `ok_duration_series` has type `Vec<u128>`, which does not implement the `Copy` trait
...
19 |             ok_duration_series,
   |             ------------------ value moved here
20 |             mx_time_spent_on_ok_req: ok_duration_series.iter().copied().max().unwrap_or(0)
   |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^ value borrowed here after move
   |
   = note: borrow occurs due to deref coercion to `[u128]`

For more information about this error, try `rustc --explain E0382`.

我推断是先执行move操作再计算最大值导致的问题，于是调整字段顺序延迟move：

impl AggregateDataPerConnection {
    pub fn new(
        connection_idx: u16, ok_duration_series: Vec<u128>
    ) -> AggregateDataPerConnection {
        AggregateDataPerConnection {
            connection_idx,
            mx_time_spent_on_ok_req: ok_duration_series.iter().copied().max().unwrap_or(0),
            ok_duration_series
        }
    }
}

修改后代码成功编译，但我不确定推理是否正确。我认为编译器应该知晓所有权是转移到同一结构体成员，无需依赖move顺序就能计算最大值，希望得到专业解答。

问题分析与解答 #

你的推理完全正确——问题根源就是结构体字段初始化的顺序导致了提前move。

Rust在构造结构体时，字段是按你编写的顺序依次处理的：

• 初始代码中，先把ok_duration_series的所有权move到结构体的同名字段里，此时函数参数里的ok_duration_series已经失效，不能再被借用。
• 后续计算mx_time_spent_on_ok_req时，又试图调用ok_duration_series.iter()，这相当于尝试借用一个已经被move的变量，直接触发E0382错误。

调整字段顺序后，先执行ok_duration_series.iter()（这只是借用变量，不会转移所有权），计算出最大值后，再把ok_duration_series的所有权move到结构体字段里，完全符合Rust的所有权规则，因此编译通过。

至于你提到的“编译器应该知晓所有权转移到同一结构体成员”——这是对Rust所有权系统的误解：

• Rust的所有权规则是局部、静态的，编译器不会做跨字段的全局分析，只会按代码执行顺序检查每一步的所有权状态。
• 即使最终所有权都属于同一个结构体，只要执行流程中出现“先move再借用”的顺序，编译器就会判定为违规。因为它无法确保move后的操作不会导致变量失效（比如中间出现panic或分支逻辑，可能让move后的变量无法正确初始化）。

另外，还有一种更清晰的写法可以避免依赖字段顺序，推荐使用：

impl AggregateDataPerConnection {
    pub fn new(
        connection_idx: u16, ok_duration_series: Vec<u128>
    ) -> AggregateDataPerConnection {
        let mx_time_spent_on_ok_req = ok_duration_series.iter().copied().max().unwrap_or(0);
        AggregateDataPerConnection {
            connection_idx,
            ok_duration_series,
            mx_time_spent_on_ok_req
        }
    }
}

这种写法把最大值计算和结构体构造分离，代码可读性更高，也不需要依赖字段顺序。

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