我正在try 更好地理解&mut self的生命周期省略和相应的输出参数.
假设我有一个如下形式的函数签名
fn foo(&mut self) -> &mut bar
从the lifetime section in the Rustonomicon开始，我了解到这一数字将扩展到
fn foo<'a>(&'a mut self) -> &'a mut bar
这有一个副作用，即只要相应的对象存在，self就会被可变地borrow .
我想知道的是，如果我用签名指定一个函数，会发生什么
fn foo<'a>(&mut self) -> &'a mut bar
在我的理解中，&mut self是省略的，并且根据省略规则获得它自己的输入生存期.所以我们最终会得到像这样的东西
fn foo<'b, 'a>(&'b mut self) -> &'a mut bar
根据省略规则，'b被分配给所有省略的输出生存期.但'a并没有被省略.那么生命中的'a是什么呢？具有这样的签名的代码编译得很好.但我不太理解'a的终生含义.
你正确地解开了生命的界限.
那么，
'a岁的生命周期 是多少呢？
每当函数有一个生存期参数时，它总是:"调用者希望它是什么"(受限于界限，本例中没有界限).
具有这样的签名的代码编译得很好.
您是否try 过为该函数编写正文？考虑到这些人的生命周期 ，它实际上不能做太多事情.例如,
impl Foo {
fn foo<'b, 'a>(&'b mut self) -> &'a mut Bar {
&mut self.bar
}
}
将无法编译，并(间接)告诉您这只在'b比'a生命周期 长的情况下才有效，而实际上并非如此.
如果将"超期"关系添加到签名，则代码可以编译:
impl Foo {
fn foo<'b, 'a>(&'b mut self) -> &'a mut Bar
where
'b: 'a
{
&mut self.bar
}
}
然而，这几乎从来没有比更简单的更有用
fn foo<'a>(&'a mut self) -> &'a mut Bar {
因为引用通常可以用于as if，所以它们的生存期比它们的类型指定的短，所以在更复杂的声明中，这里的'a可以用于'a的目的和'b的目的.