Rust中unwrap_or内提前返回为何异常？LeetCode第7题问题排查

问题描述 #

我正在解决LeetCode第7题，从之前提交的错误信息得知，任何会导致溢出的输入应返回0。我将pow替换为checked_pow，意图通过unwrap_or在溢出时提前返回0，但现在所有输入都返回0，且收到unwrap_or后续代码不可达的警告，这是为什么？

代码示例 #

fn main() {
    println!("{}", reverse(-23));
    println!("{}", reverse(1534236469));
    println!("{}", reverse(1));
}

fn reverse(x: i32) -> i32 {
    let mut working = {
        if x > 0 {
            x
        } else {
            -x
        }
    };
    let mut digits = Vec::new();
    while working > 0 {
        digits.push(working % 10);
        working /= 10;
    }

    let result = digits
        .iter()
        .rev()
        .enumerate()
        .map(|(power, x)| x * (10i32.checked_pow(power as u32).unwrap_or(return 0)))
        .sum();
    if x > 0 {
        result
    } else {
        -result
    }
}

注：我已知道有更优解法，请勿评价解法优劣，仅需解释当前问题原因，感谢！

问题原因 #

• unwrap_or参数立即求值导致提前返回：unwrap_or的参数是立即计算的，而非延迟执行。你写的unwrap_or(return 0)中，return 0会在每次执行map闭包时直接触发，直接从reverse函数返回0，完全跳过了checked_pow的判断逻辑，这就导致所有输入都会返回0。
• 不可达代码警告的由来：由于return 0会直接退出函数，x * (10i32.checked_pow(...))这部分代码永远不会被执行，因此编译器会提示“unwrap_or后续代码不可达”的警告。
• 误解unwrap_or的用法：你原本希望仅在checked_pow返回None（即溢出）时返回0，但unwrap_or不支持延迟执行逻辑，需要使用unwrap_or_else（接受闭包，仅在Option为None时执行闭包内的代码）才能实现预期逻辑。

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