Rust for cpp devs - 生命周期

生命周期(lifetime)也是一类泛型。但它是用于指定引用保持有效的作用域。

Rust 中的每个引用都有相应的 lifetime。大部分时候,lifetime 可以被编译器推断出来,无需手动指明,就像类型推断一样。同样的,当编译器无法确定 lifetime 时,Rust 要求开发者指明。主要目的就是在编译期保证不存在悬垂引用。

Generic Lifetimes in Functions

我们从一段简单的代码入手理解 lifetime。这是一个返回较长字符串的函数:

fn longest(x: &str, y: &str) -> &str {
    let longer = if x.len() > y.len() {x} else {y};
    return longer
}

fn main() {
    let s1 = String::from("abcd");
    let s2 = "xyz";
    let result = longest(s1.as_str(), s2);
    println!("The longer string is {}", result);
}

这是一个简单的函数,但是编译时会报错:

error[E0106]: missing lifetime specifier
 --> src/main.rs:1:33
  |
1 | fn longest(x: &str, y: &str) -> &str {
  |               ----     ----     ^ expected named lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or `y`
help: consider introducing a named lifetime parameter
  |
1 | fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
  |           ^^^^    ^^^^^^^     ^^^^^^^     ^^^

其原因是 Rust 无法确定其 lifetime。这是由于 x y 都是来自于函数外的引用,编译器无法推断出参数和返回值的 lifetime。因此,我们需要手动标记参数和返回值的 lifetime。

什么是生命周期(非教材内容)

生命周期的表示方法是 ' 加生命周期的名字,一般接在引用符号 & 后。例如:

&i32        // a reference
&'a i32     // a reference with an explicit lifetime
&'a mut i32 // a mutable reference with an explicit lifetime

本节主要是一些补充知识,有助于更好地从本质理解 lifetime。

生命周期也是一种类型,长生命周期是短生命周期的子类型。 我们可以用 : 来标记这种父子关系。例如'b 长于 'a,可以记作 'b: 'a

生命周期以模板形式,为函数额外传入了变量的生命周期。

生命周期的标记不影响变量的生命周期。标记只是为编译器里的 borrow checker 明确该如何检查生命周期。

在函数签名中标记生命周期

我们实际上需要解决的问题是,已知 x 的 lifetime 是 'ay 的 lifetime 是 'b,那么返回值的 lifetime (假设是 'c)怎么通过 'a'b 表示?

fn longest<'a, 'b>(x: &'a str, y: &'b str) -> &'c str {
    let longer = if x.len() > y.len() {x} else {y};
    return longer
}

显然,我们需要让 'c'a'b 的交集,即较小的那个。因此必然有 'a: 'c'b: 'c。既然 'a'b 都是 'c 的父类型,那么可以直接把参数中的 'a'b 替换为 'c

fn longest<'c>(x: &'c str, y: &'c str) -> &'c str {
    let longer = if x.len() > y.len() {x} else {y};
    return longer
}

这样写相当于告诉编译器,返回值的 lifetime 是参数 lifetime 的公共父类型,即交集。

明确了函数参数和返回值的 lifetime 后,编译器在函数调用者处就有了足够的信息来检验生命周期。

结构体定义中的 lifetime 标记

结构体也可以持有变量的“引用”而非”所有权“。例如:

struct ImportantExcerpt {
    part: &str,
}

但是这段代码无法编译,因为:

error[E0106]: missing lifetime specifier
 --> src/main.rs:7:11
  |
7 |     part: &str,
  |           ^ expected named lifetime parameter
  |
help: consider introducing a named lifetime parameter
  |
6 | struct ImportantExcerpt<'a> {
7 |     part: &'a str,
  |

这是因为当结构体持有变量的引用时,我们需要指定 lifetime 标记:

struct ImportantExcerpt<'a> {
    part: &'a str,
}

其含义是,ImportantExcerpt 存在的生命周期必须包含于 part 引用的生命周期。

省略生命周期

我们已经知道在 Rust 中:

  • 每个引用都有对应的 lifetime
  • 使用引用时,需要指定 lifetime

但是,我们确实曾经写过没有标注生命周期的函数。例如:

fn first_word(s: &str) -> &str {
    let bytes = s.as_bytes();

    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return &s[0..i];
        }
    }

    &s[..]
}

在 Rust 1.0 之前,这段代码确实会编译失败。因为每个引用都需要一个显式指定的生命周期。后来,Rust 开发人员将可以推断 lifetime 的模式写进了编译器代码,对于这些模式,不再需要手动指定。

如果满足下面三个条件,Rust 就可以推断生命周期,无需手动指定,否则,Rust 会在编译时报错:

  1. 为每个引用参数赋予 lifetime

  2. 如果只有一个参数,这个参数的 lifetime 会作为所有返回值的 lifetime

  3. 如果有多个参数,但是其中之一是 &self&mut self(类方法),则返回值的 lifetime 与 self 一致

例如,对于 first_word 函数:

fn first_word(s: &str) -> &str {

编译器首先执行,为参数赋予生命周期 'a(Rule 1):

fn first_word(s: &'a str) -> &str {

由于只有一个参数,它的 lifetime 被直接赋值给返回值(Rule 2):

fn first_word<'a>(s: &'a str) -> &'a str {

现在所有引用都有了 lifetime,所以编译器不需要开发者指定 lifetime 了。

与之相对,对于 longest 函数:

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

首先为每个输入赋予 lifetime (Rule 1):

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

Rule 2 不适用,因为有两个不同的输入 lifetime。

Rule 3 也不适用,因为 longest 不是一个类方法,不存在 self

因此编译器无法确定返回值的 lifetime,只能要求开发者指定。

生命周期与泛型

因为 lifetime 是一种泛型,所以 'aT 可以写在同一个 <> 中。

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

推荐阅读更多精彩内容