Rust中如何无需clone/Rc解决已移动值的使用错误？

你的问题核心在于Option::map_or的参数求值机制——编译器会先处理第一个参数（tail）的所有权转移，再检查闭包的使用，它无法推断出default参数和闭包不会同时执行，因此报错。而通过match或if let的分支判断，编译器能明确所有权的唯一走向，无需克隆。

方案1：match表达式 #

这是最直观的方式，明确处理Option的两种状态：

fn print_or(opt: Option<()>, tail: Vec<i32>) -> Vec<i32> {
    match opt {
        None => tail,
        Some(()) => {
            println!("{:?}", tail);
            tail
        }
    }
}

因为match的分支是互斥执行的，tail只会在其中一个分支被移动/返回，编译器能确认所有权安全。

方案2：if let简化写法 #

如果逻辑更简单（仅需要在Some时执行额外操作，最终都返回tail），可以用if let让代码更简洁：

fn print_or(opt: Option<()>, tail: Vec<i32>) -> Vec<i32> {
    if let Some(()) = opt {
        println!("{:?}", tail);
    }
    tail
}

这种写法中，tail只在函数末尾被移动一次，if let分支里只是借用打印（因为println!对Vec是只读借用），完全不会触发所有权转移冲突。

为什么map_or不行？ #

map_or的签名要求default参数和闭包返回值是同一类型，编译器会先将tail移动到default参数中，此时tail的所有权已经转移，闭包里再引用tail就会触发错误。即便我们知道default和闭包不会同时执行，但Rust的编译器不会做这种“运行时分支”的推断，它只基于静态代码结构判断所有权。

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