Rust生命周期错误成因：为何装箱能修复该问题？

问题代码与报错 #

核心代码如下：

trait ReturnedTrait {}
impl<T: ReturnedTrait + ?Sized> ReturnedTrait for Box<T> {}

impl ReturnedTrait for () {}

fn create_trait<'a, T>(not_borrowed: T, borrowed: &'a str) -> impl ReturnedTrait + 'a {}

fn outer<'a>(val: String) -> impl ReturnedTrait + 'a {
    let ret = create_trait(&val, "");
    // 取消注释此行即可编译通过
    // let ret: Box<dyn ReturnedTrait + 'a> = Box::new(ret);
    ret
}

编译器抛出的错误：

error[E0597]: `val` does not live long enough
  --> src/main.rs:9:28
   |
8  | fn outer<'a>(val: String) -> impl ReturnedTrait + 'a {
   |          -- lifetime `'a` defined here
9  |     let ret = create_trait(&val, "");
   |               -------------^^^^-----
   |               |            |
   |               |            borrowed value does not live long enough
   |               argument requires that `val` is borrowed for `'a`
...
13 | }
   | - `val` dropped here while still borrowed

问题根源 #

不透明类型的生命周期捕获 #

create_trait返回的impl ReturnedTrait + 'a是不透明类型，编译器会在编译时推断它的具体类型。这个具体类型会自动捕获所有输入参数的生命周期——包括&val的临时生命周期（我们称之为'b，它仅存在于outer函数内部，随val销毁而结束）。

虽然你给返回值标注了+ 'a，但不透明类型的实际生命周期约束是它依赖的所有生命周期的超集：编译器认为这个不透明类型同时需要满足'a和'b的存活要求。而outer要求返回的类型必须存活整个'a周期，这意味着'b必须至少和'a一样长，但val在outer结束时就会被销毁，'b明显短于'a，因此触发生命周期错误。

装箱为Trait对象的作用 #

当你把返回值装箱成Box<dyn ReturnedTrait + 'a>时，本质是把不透明类型转换成了Trait对象，此时：

1. 你明确指定了Trait对象的生命周期为'a，编译器会检查原不透明类型是否可以安全转换为该约束的Trait对象。
2. 由于create_trait的返回已经标注了+ 'a，说明它的具体类型不会包含任何比'a更短的生命周期依赖，因此转换合法。
3. 转换后，编译器不再跟踪原不透明类型捕获的'b生命周期，只需要保证Trait对象的'a约束满足即可——而create_trait并没有将&val存储到返回的Trait实例中，所以val的临时引用不会造成生命周期冲突，错误自然消失。

解决方案 #

除了装箱成Trait对象，还可以通过以下方式修复：

• 若T是'static类型，可给create_trait的返回添加'static约束，避免捕获临时生命周期：

  fn create_trait<'a, T: 'static>(not_borrowed: T, borrowed: &'a str) -> impl ReturnedTrait + 'a + 'static {}
  

• 直接将create_trait的返回改为Trait对象，从根源上避免不透明类型的生命周期捕获问题：

  fn create_trait<'a, T>(not_borrowed: T, borrowed: &'a str) -> Box<dyn ReturnedTrait + 'a> {
      Box::new(())
  }
  

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