Rust编译报错E0004：模式未穷尽，如何优雅解决？

错误原因 #

Rust的模式匹配检查是静态、基于结构的，它不会分析分支后if守卫条件的逻辑是否能覆盖所有剩余场景。你的代码里，前两个分支仅覆盖了「其中一个数组为空」的情况，剩下的逻辑上是两个数组都非空的场景，但编译器无法确认两个带if条件的分支能覆盖所有非空数组的情况——它只会认为存在(&[_, ..], &[_, ..])这类未被显式匹配的模式，因此抛出非穷尽模式错误。

优化解决方案 #

可以直接显式匹配「两个数组都非空」的模式，把原有的两个带条件分支合并，用内部的if-else处理比较逻辑。这样编译器能明确识别该分支覆盖了所有双非空数组的场景，还能避免unwrap()的不安全调用：

fn merge(left: &[u32], right: &[u32]) -> Vec<u32> {
    match (left, right) {
        ([], _) => right.to_vec(),
        (_, []) => left.to_vec(),
        (&[l_first, ..], &[r_first, ..]) => {
            let mut t = if l_first < r_first {
                let mut t = vec![l_first];
                t.append(&mut merge(&left[1..], right));
                t
            } else {
                let mut t = vec![r_first];
                t.append(&mut merge(left, &right[1..]));
                t
            };
            t
        }
    }
}

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