if语句前出现unused_assignment警告，如何编写规范代码消除？

你的代码里出现unused_assignment警告，原因是let mut res = 1.0这行的初始赋值完全没被用到——不管pdrel >= 0.0是否成立，后续都会给res重新赋值，初始的1.0从未被读取。下面是两种更规范的写法，无需用#[allow(unused_assignment)]屏蔽警告：

方案一：用条件表达式初始化不可变变量（推荐） #

遵循Rust「不可变优先」的设计原则，直接通过if-else表达式初始化res，不需要先声明可变变量再反复赋值：

fn my_func(pld: &f64, lambda: &[f64; NUMF]) -> [f64; NUMF] {
    let mut result = [0.0; NUMF];
    for i in 0..NUMF {
        let pdrel = pld / lambda[i];
        let res = if pdrel >= 0.0 {
            1.0
        } else {
            // 用max方法替代空if判断，简化逻辑
            (1.0 - (7.5 * pdrel.abs()).sqrt()).max(0.0)
        };
        result[i] = res;
    }
    result
}

这里把原来的嵌套if逻辑用f64::max替代，既简化了代码，又确保res从初始化开始就有合法值，完全消除了无用赋值的问题。

方案二：声明可变变量但不赋初始值 #

如果一定要使用可变变量，可以只声明res而不赋初始值，确保所有分支都给它赋值后再使用：

fn my_func(pld: &f64, lambda: &[f64; NUMF]) -> [f64; NUMF] {
    let mut result = [0.0; NUMF];
    for i in 0..NUMF {
        let pdrel = pld / lambda[i];
        let mut res; // 仅声明，不初始化
        if pdrel >= 0.0 {
            res = 1.0;
        } else {
            res = 1.0 - (7.5 * pdrel.abs()).sqrt();
            res = res.max(0.0);
        };
        result[i] = res;
    }
    result
}

Rust的编译器会检查所有代码路径，确保res在被赋值给result[i]之前已经完成初始化，因此不会出现未定义行为，同时也避免了无用的初始赋值警告。

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