Question

给出以下代码：

trait Trait {}
struct Child;
impl Trait for Child {}
struct Father<'a> {
    child: &'a Box<dyn Trait>,
}
impl<'a> Trait for Father<'a> {}

fn main() {
    let child: Box<dyn Trait> = Box::new(Child {});
    let father: Box<dyn Trait> = Box::new(Father { child: &child });
    let grandf: Box<dyn Trait> = Box::new(Father { child: &father });
}

此代码无法在Rust 1.30.0中编译，并且出现以下错误：

error[E0597]: `child` does not live long enough
  --> src/main.rs:11:60
   |
11 |     let father: Box<dyn Trait> = Box::new(Father { child: &child });
   |                                                            ^^^^^ borrowed value does not live long enough
12 |     let grandf: Box<dyn Trait> = Box::new(Father { child: &father });
13 | }
   | - borrowed value only lives until here
   |
   = note: borrowed value must be valid for the static lifetime...

我可以使用child: &'a Box<dyn Trait + 'a>来编译代码，但是我不明白为什么会这样。

根据RFC 0599，默认的对象绑定规则应将类型&'a Box<Trait>读为&'a Box<Trait + 'a>。相反，它的行为与&'a Box<Trait + 'static>相同。

为什么我的原始代码无法编译？
默认对象是否绑定了&'a Box<Trait + 'static>？

此问题与Why is adding a lifetime to a trait with the plus operator (Iterator<Item = &Foo> + 'a) needed?之间有一个关键区别。

根据该问题的答案中提到的RFC 0599，&'a Box<SomeTrait>类型与Box<SomeTrait>类型之间存在差异，这使它们具有不同的默认生存期。因此，在这种情况下，根据RFC，我认为盒装特征的默认生存期应为'a，而不是'static。

这意味着要么有一个更新的RFC更改了RFC 0599的规范，要么还有其他原因导致此代码不起作用。

在两种情况下，另一个问题的答案都不适用于该问题，因此，这不是重复的问题。

Answer 1

这些规则由RFC 1156（强调我的）进行了调整：

针对&'x Box<Trait>和&'x Arc<Trait>之类的情况调整对象默认绑定算法。现有算法将默认为&'x Box<Trait+'x>。提议的更改是默认为&'x Box<Trait+'static> 。

为什么将＆'a Box <trait>视为＆'a Box <trait + =“”'static =“”>，而不是＆'a Box <trait + =“”'a =“”>？

1 个答案: