全部教程· Rust语言· Rust高级编程 · 省略生命周期

Rust 省略生命周期

为了让语言的表达方式更人性化，Rust允许函数的签名中省略生命周期。

“生命周期位置”指的是你在类型中可以写生命周期的地方。

&'a T
&'a mut T
T<'a>

生命周期的位置可以在“输入”也可以在“输出”：

对于fn定义的函数，“输入”指的是函数签名中的参数的类型，而“输出”是结果的类型。所以fn foo(s: &str) -> (&str, &str)省略了一个在输入位置处的生命周期和两个结果位置的生命周期。注意，fn方法定义中的输入位置不包括impl头处的生命周期（自然地，对于trait的默认方法，也不包括trait的头的位置）。
在未来，应该也可能会省略impl头位置处的生命周期。

省略的规则如下：

每一个在输入位置省略的生命周期都对应一个唯一的生命周期参数。
如果只有一个输入的生命周期位置（无论省略还是没省略），那个生命周期会赋给所有省略了的输出生命周期。
如果有多个输入生命周期位置，而其中一个是&self或者&mut self，那么self的生命周期会赋给所有省略了的输出生命周期。
除了上述两种情况，其他省略生命周期的情况都是错误的。

几个例子：

fn print(s: &str);                                      // 省略的
fn print<'a>(s: &'a str);                               // 完整的

fn debug(lvl: usize, s: &str);                          // 省略的
fn debug<'a>(lvl: usize, s: &'a str);                   // 完整的

fn substr(s: &str, until: usize) -> &str;               // 省略的
fn substr<'a>(s: &'a str, until: usize) -> &'a str;     // 完整的

fn get_str() -> &str;                                   // 错误

fn frob(s: &str, t: &str) -> &str;                      // 错误

fn get_mut(&mut self) -> &mut T;                        // 省略的
fn get_mut<'a>(&'a mut self) -> &'a mut T;              // 完整的

fn args<T: ToCStr>(&mut self, args: &[T]) -> &mut Command                  // 省略的
fn args<'a, 'b, T: ToCStr>(&'a mut self, args: &'b [T]) -> &'a mut Command // 完整的

fn new(buf: &mut [u8]) -> BufWriter;                    // 省略的
fn new<'a>(buf: &'a mut [u8]) -> BufWriter<'a>          // 完整的

下一章：Rust 无界生命周期

非安全代码经常会凭空变出来一些引用和生命周期。这些生命周期都是无界的。最常见的场景是解引用一个裸指针，然后产生一个拥有无界生命周期的引用。这些生命周期根据上下文的要求，想要多大就可以有多大。这其实比简单的设为'sta ...

上一章：Rust 生命周期的局限

下一章：Rust 无界生命周期