显式标注

借用检查器使用显式的生命周期标记来明确引用的有效时间应该持续多久。在生命周期没有 省略1的情况下,Rust 需要显式标注来确定引用的生命周期应该是什么样的。可以用撇号 显式地标出生命周期,语法如下:

foo<'a>
// `foo` 带有一个生命周期参数 `'a`

闭包类似,使用生命周期需要泛型。另外这个生命周期的语法也表明 了 foo 的生命周期不能超出 'a 的周期。若要给类型显式地标注生命周期,其语法 会像是 &'a T 这样,其中 'a 的作用刚刚已经介绍了。

foo<'a, 'b>
// `foo` 带有生命周期参数 `'a` 和 `'b`

在上面这种情形中,foo 的生命周期不能超出 'a'b 中任一个的周期。

看下面的例子,了解显式生命周期标注的运用:

// `print_refs` 接受两个 `i32` 的引用,它们有不同的生命周期 `'a` 和 `'b`。
// 这两个生命周期都必须至少要和 `print_refs` 函数一样长。
fn print_refs<'a, 'b>(x: &'a i32, y: &'b i32) {
    println!("x is {} and y is {}", x, y);
}

// 不带参数的函数,不过有一个生命周期参数 `'a`。
fn failed_borrow<'a>() {
    let _x = 12;

    // 报错:`_x` 的生命周期不够长
    //let y: &'a i32 = &_x;
    // 在函数内部使用生命周期 `'a` 作为显式类型标注将导致失败,因为 `&_x` 的
    // 生命周期比 `y` 的短。短生命周期不能强制转换成长生命周期。
}

fn main() {
    // 创建变量,稍后用于借用。
    let (four, nine) = (4, 9);
    
    // 两个变量的借用(`&`)都传进函数。
    print_refs(&four, &nine);
    // 任何被借用的输入量都必须比借用者生存得更长。
    // 也就是说,`four` 和 `nine` 的生命周期都必须比 `print_refs` 的长。
    
    failed_borrow();
    // `failed_borrow` 未包含引用,因此不要求 `'a` 长于函数的生命周期,
    // 但 `'a` 寿命确实更长。因为该生命周期从未被约束,所以默认为 `'static`。
}
1

省略 隐式地标注了生命周期,所以情况不同。

参见:

泛型闭包