2020年2月19日

对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

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

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

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

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

 

posted @ 2020-02-19 10:35 阿水 阅读(1043) 评论(0) 推荐(0) 编辑

2017年1月24日

泛型的可变性分析

摘要: 1 using System; 2 using System.Collections.Generic; 3 using System.Linq; 4 using System.Text; 5 using System.Threading.Tasks; 6 7 namespace GenericTest 8 { 9 class Program 10 { ... 阅读全文

posted @ 2017-01-24 11:00 阿水 阅读(200) 评论(0) 推荐(0) 编辑

2009年4月25日

是否可以完全相信垃圾回收?.Net 托管资源 非托管资源 垃圾回收 的疑问。

摘要:      CLR为开发者提供了一个非常让人激动的功能--垃圾回收。但是园子里关于垃圾回收的讨论,大多是讨论垃圾回收的原理,以及Dispose模式。但是垃圾回收在实际使用时,是不是可以达到其设计的目标,在开发过程中有没有需要注意的问题呢?本人也不是非常明确,这篇文章希望能达到抛砖引玉的效果,希望个人牛人能够给本人或同样存在疑惑的人一个清楚明确的答案。 ... 阅读全文

posted @ 2009-04-25 09:38 阿水 阅读(3356) 评论(40) 推荐(1) 编辑

2008年12月6日

PowerShell 小试

摘要: 终于有一点时间,闲来无事。玩玩PowerShell。写了小段程序,感觉PS还是不错的,唯一让人不爽的就是事件处理程序不能直接对事件 += 来处理。废话不说了,把代码贴上。哈哈[代码]  阅读全文

posted @ 2008-12-06 14:25 阿水 阅读(813) 评论(0) 推荐(1) 编辑

2008年12月4日

WinForm 三态树

摘要: 从来没有写过BLOG,最近写另一个三态树,是在网上找的代码修改的。效果还不错,放上来,给大家共享下。http://files.cnblogs.com/byrybye/%E4%B8%89%E6%80%81TreeView.rar这里可以下载,下载  阅读全文

posted @ 2008-12-04 17:21 阿水 阅读(674) 评论(6) 推荐(0) 编辑

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5
点击右上角即可分享
微信分享提示