对rust生命周期的理解

第一段示例代码

fn main() {

  let mut l: &str;

  let str1 = String::from("abc");

  {

    let str2 = String::from("1234");

    l = longest(str1.as_str(), str2.as_str());    

  }

  println!("{}", l);

}

fn longest<'a>(a: &'a str, b: &'a str) -> &'a str {

  if a.len() > b.len() {

    return a;

  } else {

    return b;

  }

}

编译报错信息

l = longest(str1.as_str(), str2.as_str());
| ^^^^ borrowed value does not live long enough
7 | }
| - `str2` dropped here while still borrowed

分析这种情况比较简单，容易理解。logest返回值的生命周期和str1,str2一样，

其实就是str1和str2当中生命周期短的那个，就是str2。因为str2在   println!("{}", l); 试已经drop，所以编译报错。

如果把   println!("{}", l); 放到｝里面，其实就是没有问题了。就是生命周期正常的使用方式。

那么如果我们将返回值的 生命周期 设置 str1 那么会怎么样呢？至少调用的地方是可以通过的。试一下 

 

fn main() {

  let mut l: &str;

  let str1 = String::from("abc");

  {

    let str2 = String::from("1234");

    l = longest(str1.as_str(), str2.as_str());    

  }

  println!("{}", l);

}

fn longest<'b, 'a:'b>(a: &'a str, b: &'b str) -> &'a str {

  if a.len() > b.len() {

    return a;

  } else {

    return b;

  }

}

编译错误信息 

 

11 | fn longest<'b, 'a:'b>(a: &'a str, b: &'b str) -> &'a str {
| __________________________-------_____-------_____________^
| | |
| | these two types are declared with different lifetimes...
12 | | if a.len() > b.len() {
13 | | return a;
14 | | } else {
15 | | return b;
16 | | }
17 | | }
| |_^ ...but data from `b` flows into `a` here

这次错误确实不是发生在调用的地方，而是在函数内部。我们制定返回值的生命周期是比较长的一个，

但是在代码中，去赋值给了短的一个。所以编译错误。

通过以上示例代码简单得出以下结论。

生命周期的指定，其实是为了使编译器在函数内部，及函数调用两个地方进行生命周期的规则检查。