生命周期省略
为了使常见的模式更符合人体工程学,Rust 允许在函数签名中省略生命周期。
生命周期位置是指在一个类型中可以写入生命周期的任何地方。
&'a T
&'a mut T
T<'a>
生命周期位置可以作为“输入”或“输出”出现:
- 对于
fn
定义、fn
类型以及 TraitFn
、FnMut
和FnOnce
,输入是指形式参数的类型,而输出是指结果类型。所以fn foo(s: &str) -> (&str, &str)
在输入位置有一个生命周期,在输出位置有两个生命周期。请注意,fn
方法定义的输入位置不包括方法的impl
头中出现的生命周期(对于默认方法,也不包括 trait 头中出现的生命周期) - 对于
impl
头,所有类型都是输入。所以impl Trait<&T> for Struct<&T>
在输入位置上省略了两个生命周期,而impl Struct<&T>
则省略了一个
省略规则如下:
- 在输入位置的每一个被省略的生命周期都成为一个独立的生命周期参数
- 如果正好有一个输入生命周期的位置(无论是否被省略),该生命周期将被分配给所有被省略的输出生命周期
- 如果有多个输入生命周期位置,但其中一个是
&self
或&mut self
,那么self
的生命周期将被分配给所有被省略的输出生命周期 - 否则,省略一个输出生命周期是一个错误
示例:
fn print(s: &str); // elided
fn print<'a>(s: &'a str); // expanded
fn debug(lvl: usize, s: &str); // elided
fn debug<'a>(lvl: usize, s: &'a str); // expanded
fn substr(s: &str, until: usize) -> &str; // elided
fn substr<'a>(s: &'a str, until: usize) -> &'a str; // expanded
fn get_str() -> &str; // ILLEGAL
fn frob(s: &str, t: &str) -> &str; // ILLEGAL
fn get_mut(&mut self) -> &mut T; // elided
fn get_mut<'a>(&'a mut self) -> &'a mut T; // expanded
fn args<T: ToCStr>(&mut self, args: &[T]) -> &mut Command // elided
fn args<'a, 'b, T: ToCStr>(&'a mut self, args: &'b [T]) -> &'a mut Command // expanded
fn new(buf: &mut [u8]) -> BufWriter; // elided
fn new(buf: &mut [u8]) -> BufWriter<'_>; // elided (with `rust_2018_idioms`)
fn new<'a>(buf: &'a mut [u8]) -> BufWriter<'a> // expanded