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

Question

如果我有这两个功能

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

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

什么时候foo返回错误并且bar是正确的函数头？ 我很困惑为什么我会明确地声明一生：

'a读'生命'a'。 从技术上讲，每个引用都有一些与之相关的生命周期，但编译器允许您在常见情况下忽略它们。

我明白一生是什么，但是明确指定一生的'a为我做什么？ 作为参考，我使用Rust书作为阅读材料

Answer 1

实际上，您必须编写生命周期注释的首要原因是编译器会问您 。 它将拒绝生命周期省略规则未涵盖的功能签名。

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

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的内部引用完全一样长的东西。” 在这种情况下，签名会强烈暗示您可能会返回来自内部的内容。