为何Rust代码替换最后一个else if为else会触发警告？

先看两段核心代码：

第一段（无警告） #

fn main() {
    let marks = 60;
    let mut grade = 'F'; // 初始化默认值
    if marks >= 90 {
        grade = 'A';
    } else if marks >= 80 {
        grade = 'B';
    } else if marks >= 70 {
        grade = 'C';
    } else if marks >= 60 {
        grade = 'D';
    } else if marks >= 50 {
        grade = 'E';
    }
    println!("Grade: {}", grade);
}

第二段（触发警告） #

fn main() {
    let marks = 60;
    let mut grade = 'F'; // 初始化默认值
    if marks >= 90 {
        grade = 'A';
    } else if marks >= 80 {
        grade = 'B';
    } else if marks >= 70 {
        grade = 'C';
    } else if marks >= 60 {
        grade = 'D';
    } else {
        grade = 'E';
    }
    println!("Grade: {}", grade);
}

原因分析 #

Rust编译器会做变量赋值路径的全量分析：

• 第一段代码里，最后一个分支是else if marks >=50，意味着存在marks <50的场景——此时所有条件分支都不命中，grade会保留初始值'F'，并在后续的println中被读取。编译器认为这个初始值是有用的，所以不会触发警告。
• 第二段代码换成else分支后，编译器能确定：不管marks取什么值，必然会进入某一个if/else分支给grade重新赋值。也就是说，你一开始给grade赋的'F'永远不会被读取到，直接被覆盖了。这种冗余的初始化属于无效代码，所以编译器抛出“maybe it is overwritten before being read?”的警告，提示你可以删掉这个没用的初始值。

如果想消除第二段代码的警告，直接去掉初始值即可——因为else分支保证了grade在所有路径下都会被赋值，编译器会认可这种初始化方式：

fn main() {
    let marks = 60;
    let mut grade; // 无需初始值
    if marks >= 90 {
        grade = 'A';
    } else if marks >= 80 {
        grade = 'B';
    } else if marks >= 70 {
        grade = 'C';
    } else if marks >= 60 {
        grade = 'D';
    } else {
        grade = 'E';
    }
    println!("Grade: {}", grade);
}

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