Rust 生命周期

生命周期的概念

生命周期这个概念其他语言中没有,可能是争议最大的Rust的特性了。

生命周期的存在主要是为了解决空悬指针的问题,也就是对象释放掉了,但是还保留着指针,这个时候指针就指向NULL

Rust 1.0之前的版本没有生命周期自动推导,之后rust的团队发现在某些模式下完全没有必要手动写出生命周期,可以由编译器自动推导。在函数内部的变量可以自动确定生命周期,但是涉及到传入的参数和传出的参数时,rust不能够确认生命周期,因此需要我们手动确认

编写rust函数需要注意函数内的变量的生命周期不能比函数外的变量的生命周期长。

普通函数中自动省略了<'a>位置和泛型的位置一样,可以理解为泛型生命周期,因为可以给多个输入变量指定生命周期,注意函数中的生命周期只是一个标注,不能改变实际参数的生命周期。

一个生命周期的例子如下,程序执行到x=&f.x下一条程序时,f自动释放了,这时候x就指向了null,就是一个空悬指针,编译器会报错。

struct Foo<'a> {
    x: &'a i32,
}
fn main() {
    let x;                    // -+ x goes into scope
                              //  |
    {                         //  |
        let y = &5;           // ---+ y goes into scope
        let f = Foo { x: y }; // ---+ f goes into scope
        x = &f.x;             //  | | error here
    }                         // ---+ f and y go out of scope
                              //  |
    println!("{}", x);        //  |
}                             // -+ x goes out of scope

生命周期的三原则

生命周期省略有三条基本原则,符合这三条基本原则的函数就可以自动推导生命周期,其他情况就需要我们手动指定。

  1. 每一个被省略的函数参数都有一个自己的且不同的生命周期参数。
    没有指定的情况下默认每个函数的参数都有一个自己的生命周期值'a 'b 'c 依此类推。
  2. 如果刚好有一个输入生命周期,不管是否省略,这个生命周期被赋予所有函数返回值中被省略的生命周期。
    如果在函数声明的时候手动指定了一个<'a>那么,默认所有省略的参会之都是这个生命周期。
  3. 如果有多个输入生命周期,不过它们当中有一个是&self或者&mut self,self的生命周期被赋予所有省略的输出生命周期。
    只要有&self或&mut self,那么所有的强制所有参数和返回值的生命周期都为self的生命周期。

举个例子

fn longest(x:&str,y:&str) -> &str{
  if x.len()>y.len() {
        x
  }else {
        y
  }
}

这段函数会报错。


image.png

因为按照三原则的第一条,会自动给x和y分配不同生命周期a和b,那么不能确定返回值的生命周期是什么。因此会报错。

改为

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

}

此时就会返回x和y中生命周期最短的那个。虽然x和y传入的参数的生命周期可能不同,但是在函数中x和y生命周期相同,都为最短的那个。

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

推荐阅读更多精彩内容