为什么在第一种情况下明确注释了所需的寿命，而在第二种情况下不明确注释？

Question

在这里，需要注释'a对项目是必需的：

struct App<'a> {
    items: StatefulList<'a, (&'a str, &'a str, usize)>,
}

impl<'a> App<'a> {
    fn new(items: &'a Vec<(&'a str, &'a str, usize)>) -> App<'a> {
        App {
            items: StatefulList::with_items(items),
        }
    }
}

但是，这不是：

struct StatefulList<'a, T> {
    state: ListState,
    items: &'a Vec<T>,
}

impl<'a, T> StatefulList<'a, T> {
    fn with_items(items: &Vec<T>) -> StatefulList<T> {
        StatefulList {
            state: ListState::default(),
            items,
        }
    }
}

为什么？

目前，我认为这是因为编译器在第一种情况下无法弄清楚寿命。

Answer 1

由于这个小小的事情：

fn with_items(items: &Vec<T>) -> StatefulList<T> {
//                                           ^ here, where did the lifetime go?

statefullist在一生中声明。但是您省略了一生！省略它的生命是什么？

它是寿命的幼稚，'_或“算出”寿命。编译器通过简单 liftime Elision Elision Elision ulision规则。这些规则的一部分是，当参数中只有一个寿命（如在这种情况下 - 项目的隐式寿命：＆amp; vec＆lt; t＆gt;），返回类型中的寿命所有人都没有。因此，明确书写的签名是：

fn with_items<'b>(items: &'b Vec<T>) -> StatefulList<'b, T>

'a从impl block 完全不使用 。返回的statefullist具有与参数相同的寿命 - 非常好，因为您将参数用于items！

在第一种情况下，另一方面，我们从Impl block中明确指定'a寿命。您仍然使用该参数，因此参数的寿命必须匹配 - 并且必须为'a。

有一块棉布可以帮助您避免这种情况：称为 elided_lifetimes_in_paths ，是rust_2018_idioms lints group的一部分，我强烈推荐＃！ ]新项目。如果您愿意，编译器将抱怨：

error: hidden lifetime parameters in types are deprecated
  --> src/lib.rs:12:51
   |
12 |     fn with_items(items: &Vec<T>) -> StatefulList<T> {
   |                                                   ^ expected named lifetime parameter
   |
note: the lint level is defined here
  --> src/lib.rs:1:11
   |
1  | #![forbid(rust_2018_idioms)]
   |           ^^^^^^^^^^^^^^^^
   = note: `#[forbid(elided_lifetimes_in_paths)]` implied by `#[forbid(rust_2018_idioms)]`
help: consider using the `'_` lifetime
   |
12 |     fn with_items(items: &Vec<T>) -> StatefulList<'_, T> {
   |                                                   +++

Answer 2

问题是，在第二个中，您不返回任何必须处理终身的内容，而是statefullist的所有版本。在第一个中，它需要将生命周期与您要返回的内容相匹配，以确保您返回的数据可能足够寿命。

实际上，您甚至不需要一些注释，因为编译器会为您限制一生。

impl<'a> App<'a> {
    fn new(items: &'a Vec<(&str, &str, usize)>) -> App<'a> {
        App {
            items: StatefulList::with_items(items),
        }
    }
}

＆amp; str至少需要至少＆amp;'vec。