了解生命周期：最大生命周期和“静态”

Question

我对铁锈寿命的学习过程如下（基于铁锈书）：

1. 我想注释，当引用后面的值超出范围时
2. 通常（并不总是！请参阅. data部分，即'静态'）值位于{}块
中
3. 我们注释像't：{...}这样的块，例如结构字段像一样获得生命周期

在这一点上，我认为我的理解非常接近它的实际工作原理。但是现在，我的理解出错了。让我们看一些例子：

#[derive(Debug)]
struct Stats {
  league: &str,
}

const NAME: &str = "rust";

fn more_difficult_league(s1: &Stats, s2: &Stats) -> &str {
  if s1.league == s2.league {
    s1.league
  } else if s1.league == "PHP" {
    s2.league
  } else {
    "C++"
  }
}


fn main() {
  let mut st = Stats { league: name };
  let dleague = more_difficult_league(&st, &st);
  println!("{}", dleague);
}

显然，我省略了任何寿命规范。

>

结构字段的生命周期要么是程序的整个持续时间（'静态），要么是结构（Stats

在函数/方法中，我们可能会获得生命周期为a、b、c的引用…。返回值的生存期是多少？

• 要么是某个静态值（'static）
• 要么始终是相同的特定生存期（如c）
• 要么是一个特定的生命周期，在编译时或运行时都会知道这个生命周期。对于编译器，我们必须指定最坏情况下的生存期max（'a，'b，'c，…）。据我所知，这可以通过给每一个引用相同的生命周期来实现

这似乎适用于以下人为的、较短的函数：

fn more_difficult_league<'a>(s1: &'a Stats, s2: &'a Stats) -> &'a str {
  if s1.league == s2.league {
    s1.league
  } else {
    s2.league
  }
}

如果我们添加一些静态返回值，最坏情况下的生存期是max（'a'，static），这可能是静态的：

fn more_difficult_league<'a>(s1: &'a Stats, s2: &'a Stats) -> &'static str {
  if s1.league == s2.league {
    s1.league
  } else if s1.league == "PHP" {
    s2.league
  } else {
    "C++"
  }
}

这给出了错误[E0621]：s1类型中需要的显式生存期和s2类型中需要的静态生存期。联赛。

在哪一点上我的理解是错误的？提前感谢你对我的宽容。

免责声明：help：为s1的类型添加显式生存期静态：




Answer 1

我会按照下面提供的方式更改您的代码。

不要假装more_difficult_league（）的结果具有静态生命周期（当我们引用s1或s2时，编译器会抱怨这种情况），我们可以为此结果引入一个新的生命周期注释，并指定参数的生命周期必须超过此结果（在哪里子句）。

#[derive(Debug)]
struct Stats<'a> {
    league: &'a str,
}

const NAME: &str = "rust";

fn more_difficult_league<'a, 'b, 'c>(
    s1: &'a Stats,
    s2: &'b Stats,
) -> &'c str
where
    'a: 'c,
    'b: 'c,
{
    if s1.league == s2.league {
        s1.league
    } else if s1.league == "PHP" {
        s2.league
    } else {
        "C++"
    }
}

fn main() {
    let st = Stats { league: NAME };
    let dleague = more_difficult_league(&st, &st);
    println!("{}", dleague);
}