何时需要指定Rust中的显式生存期？

Question

如果我有这两个功能

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

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

什么时候会返回错误并且条形图是正确的函数标题？我很困惑，为什么我要明确地宣布一生：

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

我知道什么是生命周期，但明确指定生命周期'a对我有什么作用？作为参考，我用铁锈书作为阅读材料

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