'_ — 匿名生命周期

Minimum Rust version: nightly

Rust 2018 允许你明确标记生命周期被省略的地方，对于此省略可能不清楚的类型。 要做到这一点，你可以使用特殊的生命周期'_，就像你可以用语法 let x：_ = ..;明确标记一个类型一样。

要我们说的话，无论出于什么原因，我们在 &'a str 周围有一个简单的封装：

  1. struct StrWrap<'a>(&'a str);

在 Rust 2015，你可能写成这样：

  1. // Rust 2015
  3. use std::fmt;
  5. # struct StrWrap<'a>(&'a str);
  7. fn make_wrapper(string: &str) -> StrWrap {
  8.     StrWrap(string)
  9. }
  11. impl<'a> fmt::Debug for StrWrap<'a> {
  12.     fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
  13.         fmt.write_str(self.0)
  14.     }
  15. }

在 Rust 2018，你可以替换成这样：

  1. #![feature(rust_2018_preview)]
  3. # use std::fmt;
  4. # struct StrWrap<'a>(&'a str);
  6. // Rust 2018
  8. fn make_wrapper(string: &str) -> StrWrap<'_> {
  9.     StrWrap(string)
  10. }
  12. impl fmt::Debug for StrWrap<'_> {
  13.     fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
  14.         fmt.write_str(self.0)
  15.     }
  16. }

更多的细节

在上面的 Rust 2015 片段中，我们使用了 -> StrWrap。 但是，除非你看一下 StrWrap 的定义， 否则返回的值实际上是借用了什么并不清楚。 因此，从 Rust 2018 开始，不推荐使用它来省去非引用类型 的生命周期参数（除了 ＆ 和 ＆mut 之外的类型）。 相反，你之前写过 -> StrWrap 的地方， 你现在应该写 -> StrWrap <'_>，明确说明正在进行借用。

'_究竟是什么意思？这取决于具体情况！在输出上下文中，与 make_wrapper 的返回类型一样， 它指的是所有“输出”位置的单个生命周期。在输入上下文中，为每个“输入位置”生成新的生命周期。 更具体地说，要了解输入上下文，请考虑以下示例：

  1. // Rust 2015
  3. struct Foo<'a, 'b: 'a> {
  4.     field: &'a &'b str,
  5. }
  7. impl<'a, 'b: 'a> Foo<'a, 'b> {
  8.     // some methods...
  9. }

我们可以重写为：

  1. #![feature(rust_2018_preview)]
  3. # struct Foo<'a, 'b: 'a> {
  4. #     field: &'a &'b str,
  5. # }
  7. // Rust 2018
  9. impl Foo<'_, '_> {
  10.     // some methods...
  11. }

这是相同的，因为对于每个'_，会产生一个新的生命周期。最后，必须坚持结构所需的关系 'a： 'b。

更多的细节，参阅tracking issue on In-band lifetime bindings。