生命周期

他再也无法明白自己要什么,因为人的生命只有一次,我们既不能把它与我们以前的生活相比较,也无法使其完美之后再来度过。

思考下面的这个例子:

//抛出错误:error[E0106]: missing lifetime specifier
fn main(){
    let line:&str = "lang:en=hello world";
    let lang:&str = "en";
    let v:&str;
    {
        v = skip_prefix(line, lang);
    }
    println!("{}", v);
}

fn skip_prefix(par1:&str, par2:&str) -> &str{//expected lifetime parameter
    par1
}
//this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `par1` or `par2`

对于上面的那个例子,我们的编译器会报错,目前为止我也还是搞不明白。我的困惑就是,既然我们的函数明确指出来了返回的应该是par1这个引用的话,那么为什么报错信息里面还说什么不确定返回的到底是par1还是par2呢?这个问题留到以后更加明白的时候在解决吧。

1.使用生命周期来纠正上面的那个例子

利用生命周期的语法改写上面那个例子的话,那么就不会再报错了。看一下写法究竟是怎么样:

fn main(){
    let line:&str = "lang:en=hello world";
    let lang:&str = "en";
    let v:&str;
    {
        v = skip_prefix(line, lang);
    }
    println!("{}", v);//lang:en=hello world
}

fn skip_prefix<'a, 'b>(par1:&'a str, par2:&'b str) -> &'a str{
    par1
}

但是如果你怎样做的话那么就是不对的了:

//抛出错误:error[E0312]: lifetime of reference outlives lifetime of borrowed content...
fn main(){
    let line:&str = "lang:en=hello world";
    let lang:&str = "en";
    let v:&str;
    {
        v = skip_prefix(line, lang);
    }
    println!("{}", v);
}

fn skip_prefix<'a, 'b>(par1:&'a str, par2:&'b str) -> &'b str{
    //the reference is valid for the lifetime 'b as defined on the body
    par1
}

2.语法

'a读作生命周期a。技术上讲,每一个引用都有一些与之相关的生命周期,不过编译器再通常情况下允许对其进行省略。生命周期的声明需要放在<>里面,<>里面所支持的是一种泛型参数,生命周期也是泛型参数当中的一种。声明周期的使用就直接更在类型前面就OK了。你需要几个声明周期去显式利用,就显式声明多少个,对于函数而言,显示声明的周期的个数与函数参数无关。下面举一个例子:

fn main(){
    let line:&str = "lang:en=hello world";
    let lang:&str = "en";
    let num:i32 = 3;
    let v:&str;
    {
        v = skip_prefix(line, &num);
    }
    println!("{}", v);//lang:en=hello world
}

fn skip_prefix<'a>(par1:&'a str, par2:&i32) -> &'a str{
    par1
}

下面就声明周期的使用举几个例子:

  • 1.&'a mut i32:一个带有声明周期'a的i32的可变引用
  • 2.&'b str:一个带有声明周期'b的str的不可变引用

3.结构体与生命周期的碰撞

当我们定义结构体时,我们也会需要显式的生命周期。这是为什么呢?假如有一个结构体A的话,那么我们需要确保任何A的引用必须比结构成员活的更短,否则就有可能造成dangling pointer。下面看看具体用法:

fn main(){
  let num:&i32 = &9;
  let struct_obj:Foo = Foo{n: num};
  println!("{}", struct_obj.n);
}
struct Foo<'a>{
  n: &'a i32
}

如果你把生命周期参数给去掉的话,那么将会报错,如下所示:

//报错信息为:error[E0106]: missing lifetime specifier
fn main(){
  let num:&i32 = &9;
  let struct_obj:Foo = Foo{n: num};
  println!("{}", struct_obj.n);
}
struct Foo{
  n: &i32//expected lifetime parameter
}

4.impl块与生命周期的碰撞

当在impl块中使用生命周期的时候应该这样使用:

fn main(){
  let num:&i32 = &9;
  let struct_obj:Foo = Foo{n: num};
  println!("{}", struct_obj.get_n());
}
struct Foo<'a>{
  n: &'a i32
}
impl<'a> Foo<'a>{
  fn get_n(&self) -> &'a i32{self.n}
}

5.理解作用域

从代码的结构来看,我们可以看出变量的作用域所起始的地方也大致能够看出变量的作用域所结束的地方。对于这种问题所需要注意的是我们的变量一般都是存储在栈上的,而对于栈来说它的结构特点是:先进后出,所以说越早定义的变量那么它是最后出的,因此有这么一个需要注意的事项:先定义的变量不能够引用后定义的变量,否则由于后定义的变量会首先被销毁而报错。举个简单的例子:

fn main(){
  let y:&i32 = &9;//y的作用域开始出现
                  //|
                  //|
}                 //y离开它的作用域

分析下面这个例子:

//error: borrowed value does not live long enough
fn main(){
  let num1:&i32;
  {
    let num2:&i32 = &9;
    let foo:Foo = Foo{x: num2};
    num1 = foo.get_x();
  }//temporary value dropped here while still borrowed
}
struct Foo<'a>{
  x: &'a i32
}
impl<'a> Foo<'a>{
  fn get_x(&self) -> &'a i32{self.x}
}

问题就是出在前面提到的那点:先定义的变量引用了后定义的那个变量。由于后定义的变量先一步被销毁,但是先定义的那个变量仍旧需要和其进行绑定,所以报错。
这个问题,如果要修改的话,那么可以利用static关键字:

fn main(){
  let num1:&i32;
  {
    static TEMP:i32 = 9;
    let num2:&i32 = &TEMP;
    let foo:Foo = Foo{x: num2};
    num1 = foo.get_x();
  }
  println!("{}", num1);//9
}
struct Foo<'a>{
  x: &'a i32
}
impl<'a> Foo<'a>{
  fn get_x(&self) -> &'a i32{self.x}
}

6.'static

'static生命作用域是一个特殊的作用域,它具有横跨整个程序的生命周期。下面介绍一下简单用法:

let str:&'static str = "hello world!";
static FOO:i32 = 5;
let num:&i32 = &FOO;

END

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,294评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,493评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,790评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,595评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,718评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,906评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,053评论 3 410
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,797评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,250评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,570评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,711评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,388评论 4 332
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,018评论 3 316
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,796评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,023评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,461评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,595评论 2 350

推荐阅读更多精彩内容