rust - 为什么 &'a Box treated as &' a Box and not &' a Box？

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 ，默认对象绑定(bind)规则应读取类型 &'a Box<Trait>作为&'a Box<Trait + 'a> .相反，它的行为与原来一样 &'a Box<Trait + 'static> .

1. 为什么我的原始代码无法编译？
2. 默认对象是否绑定(bind)&'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，我认为 boxed trait 的默认生命周期应该是 'a而不是 'static .

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

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

Answer 1

这些规则由 RFC 1156 调整(强调我的):

Adjust the object default bound algorithm for cases like &'x Box<Trait> and &'x Arc<Trait>. The existing algorithm would default to &'x Box<Trait+'x>. The proposed change is to default to &'x Box<Trait+'static>.