如何消除Rust中Trait对象装箱代码重复并修复编译错误？

首先，咱们先搞清楚你的fun2和fun3为什么编译失败，然后再给出消除重复代码的正确姿势。

为什么fun2和fun3编译不通过？ #

关于fun2的问题

你在match分支里创建的mt是局部变量，当分支执行完毕后，这个变量就会被Rust的所有权系统销毁。你把&mt赋值给外面的mt变量，相当于持有了一个指向已销毁对象的悬垂引用——Rust的借用检查器绝对不允许这种危险行为，直接给你报错。另外，Box::new(mt)这里的mt是引用类型，而Box需要的是拥有所有权的值，这本身也是类型不匹配的错误。

关于fun3的问题

首先，MyType的thing字段需要的是一个实现Quote的具体类型，但你传的是&dyn Quote引用，类型不匹配；其次，NUMERIC分支里的&n是局部变量n的引用，分支结束后n被销毁，同样会产生悬垂引用；最后，你的代码里并没有为&dyn Quote实现Quote trait，就算前面的问题都解决了，这里也会编译失败。

消除重复代码的正确方案 #

你的核心需求是把“创建MyType、装箱成Box<dyn Quote>、推入向量”这部分重复逻辑抽离出来，咱们可以写一个通用的辅助函数来干这件事：

// 辅助函数：负责把任意实现Quote的类型包装成MyType，再装箱推入向量
fn wrap_and_push<'v, Q: Quote + 'v>(v: &mut Vec<Box<dyn Quote + 'v>>, thing: Q) {
    let mt = MyType { id: 0, thing };
    v.push(Box::new(mt) as Box<dyn Quote + 'v>);
}

然后改造你的函数，只在match里处理不同类型的预处理逻辑，剩下的统一交给辅助函数：

fn fun_refactored<'v, 'a, T>(v: &mut Vec<Box<dyn Quote + 'v>>, variant: QuoteVariant<'a, T>)
where
    T: Numeric + std::fmt::Display + 'v,
    'a: 'v,
{
    match variant {
        QuoteVariant::STR(x) => wrap_and_push(v, x),
        QuoteVariant::NUMERIC(n) => {
            // 只在这里处理数值的预处理逻辑
            let processed_n = process_numeric(n);
            wrap_and_push(v, processed_n);
        }
    }
}

这样既消除了重复代码，又完全符合Rust的所有权和生命周期规则，编译绝对没问题。

如果你不想单独写辅助函数，也可以在match里直接返回装箱后的对象，然后统一推入向量，代码会更紧凑：

fn fun_alternative<'v, 'a, T>(v: &mut Vec<Box<dyn Quote + 'v>>, variant: QuoteVariant<'a, T>)
where
    T: Numeric + std::fmt::Display + 'v,
    'a: 'v,
{
    let boxed_item: Box<dyn Quote + 'v> = match variant {
        QuoteVariant::STR(x) => Box::new(MyType { id: 0, thing: x }),
        QuoteVariant::NUMERIC(n) => Box::new(MyType { id: 0, thing: process_numeric(n) }),
    };
    v.push(boxed_item);
}

这两种方式都能达到你的目标：既消除了重复代码，又能正常编译运行，输出和fun1完全一致的结果。

备注：内容来源于stack exchange，提问作者fvall