Question

如果我有两个功能

// implicit
fn foo(x: &i32) {
}

// explicit
fn bar<'a>(x: &'a i32) {
}

什么时候foo会返回错误而bar是正确的函数头？我很困惑为什么我会明确宣布一个生命周期：

'a读'生命'a'。从技术上讲，每个参考都有一些与之相关的生命周期，但编译器允许你忽略它们常见病例。

我了解生命周期是什么，但是为我明确指定生命周期'a 做的是什么？作为参考，我使用Rust book作为阅读材料

Answer 1

实际上，您必须编写生命周期注释的第一个原因是，因为编译器会问你。它将拒绝lifetime elision rules未涵盖的功能签名。

我假设您想要一个简单的例子，其中生命周期是强制性的。想象一下以下场景：

struct Blah<'a> {
    hoy: &'a u8
}

fn want_a_hoy(blah: &Blah) -> &u8 {
    blah.hoy
}

意图很明显，但编译器无法处理它：

<anon>:7:35: 7:38 error: missing lifetime specifier [E0106]
<anon>:7     fn want_a_hoy(blah: &Blah) -> &u8 {
                                           ^~~
<anon>:7:35: 7:38 help: see the detailed explanation for E0106
<anon>:7:35: 7:38 help: this function's return type contains a borrowed value, but 
                        the signature does not say which one of `blah`'s 2 elided 
                        lifetimes it is borrowed from

在这种情况下，注释解决了问题：

fn want_a_hoy<'a, 'b>(blah: &'b Blah<'a>) -> &'a u8 {
    blah.hoy
}

您要在此处指定'a两次（Blah<'a>和&'a）。这是一辈子的！所以你在这里对编译器说的是：“这个函数引用了一个包含内部引用的blah。我将返回与blah的内部引用完全一样长的东西。”在这种情况下，签名给出了一个强烈暗示，你很可能会从blah内部返回一些东西。

我什么时候需要在Rust中指定显式生命周期？

1 个答案: