![](/img/trans.png)
[英]What is the difference between 'struct (*)[]' and 'struct *[]'?
[英]What is the difference between '&self' and '&'a self'?
我最近遇到了一个错误,只需通过更改即可解决
impl<'a> Foo<'a> {
fn foo(&'a self, path: &str) -> Boo<'a> { /* */ }
}
到
impl<'a> Foo<'a> {
fn foo(&self, path: &str) -> Boo { /* */ }
}
根据我的理解,这没有意义,因为我认为第二个版本与应用生命周期省略的第一个版本完全相同。
如果我们为该方法引入新的生命周期,则根据nomicon 中的这个示例似乎就是这种情况。
fn get_mut(&mut self) -> &mut T; // elided
fn get_mut<'a>(&'a mut self) -> &'a mut T; // expanded
那么这和我剪下的第一个代码有什么区别。
Lifetime 'a
in fn foo(&'a self, ...) ...
是为impl<'a>
定义的,也就是说对于所有foo
调用都是相同的。
Lifetime 'a
in fn get_mut<'a>(&'a mut self) ...
是为函数定义的。 对get_mut
不同调用可以具有不同的'a
值。
你的代码
impl<'a> Foo<'a> { fn foo(&'a self, path: &str) -> Boo<'a> { /* */ } }
不是省略寿命的扩展。 此代码将借用&'a self
的生命周期与结构Foo<'a>
的生命周期联系起来。 如果Foo<'a>
是不变超过'a
,然后self
应保持借用只要'a
。
省略寿命的正确扩展是
impl<'a> Foo<'a> {
fn foo<'b>(&'b self, path: &str) -> Boo<'b> { /* */ }
}
这段代码不依赖于结构Foo
变化,以便能够在更短的生命周期内借用self
。
变体和不变结构之间差异的示例。
use std::cell::Cell;
struct Variant<'a>(&'a u32);
struct Invariant<'a>(Cell<&'a u32>);
impl<'a> Variant<'a> {
fn foo(&'a self) -> &'a u32 {
self.0
}
}
impl<'a> Invariant<'a> {
fn foo(&'a self) -> &'a u32 {
self.0.get()
}
}
fn main() {
let val = 0;
let mut variant = Variant(&val);// variant: Variant<'long>
let mut invariant = Invariant(Cell::new(&val));// invariant: Invariant<'long>
{
let r = variant.foo();
// Pseudocode to explain what happens here
// let r: &'short u32 = Variant::<'short>::foo(&'short variant);
// Borrow of `variant` ends here, as it was borrowed for `'short` lifetime
// Compiler can do this conversion, because `Variant<'long>` is
// subtype of Variant<'short> and `&T` is variant over `T`
// thus `variant` of type `Variant<'long>` can be passed into the function
// Variant::<'short>::foo(&'short Variant<'short>)
}
// variant is not borrowed here
variant = Variant(&val);
{
let r = invariant.foo();
// compiler can't shorten lifetime of `Invariant`
// thus `invariant` is borrowed for `'long` lifetime
}
// Error. invariant is still borrowed here
//invariant = Invariant(Cell::new(&val));
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.