为什么当结构成员未读时编译器不发出警告？

Question

我有这两条代码：

fn main() {
    let mut x: int = 5;
    x = 6;
    println!("value {}", x);
}  

使用此代码，编译器将发出警告：

在let x: int = 5 处永远不会读取该值

但是对于下面的代码，编译器不会。

struct Point {
    x: int,
    y: int,
}
fn main() {
    let mut p = Point {x: 1i, y: 2i};
    p.x = 5;
    println!("value {}, {}", p.x, p.y);
}

为什么会这样？ x = 1i 时我们从未读取过该值。相反，我们读取x = 5i 处的值。那么为什么编译器不会像之前的代码那样发出警告呢？

Answer 1

我认为发生这种情况是因为编译器只分析直接局部变量，而不是更深入地研究结构。我想完整的分析需要一个相当复杂的算法，而且几乎不需要它。

或者它可能是编译器中的一个错误，或者更有可能是一个未实现的功能。如果您认为重要，可以向issue tracker 提交票证。