使用与生命期参数相关的特征类型的生命期错误
由于使用了一个关联类型，我得到了一个生命期错误，由以下两个类似程序演示，第一个编译时没有错误，第二个错误是生命期错误。
程序＃1 - 编译没有错误
trait Trait<'a> {
type T;
}
struct Impl;
impl<'a> Trait<'a> for Impl {
type T = std::marker::PhantomData<&'a ()>;
}
struct Alpha<'a, T: Trait<'a>> {
_dummy: std::marker::PhantomData<(&'a (), T)>,
}
fn use_alpha<'a>(_: &'a Alpha<'a, Impl>) {}
fn main() {
for x in Vec::<Alpha<Impl>>::new().into_iter() {
use_alpha(&x); // <-- ok
}
}
程序＃2 - 有生命期错误
trait Trait<'a> {
type T;
}
struct Impl;
impl<'a> Trait<'a> for Impl {
type T = std::marker::PhantomData<&'a ()>;
}
struct Alpha<'a, T: Trait<'a>> {
_dummy: std::marker::PhantomData<(&'a (), T::T)>,
}
fn use_alpha<'a>(_: &'a Alpha<'a, Impl>) {}
fn main() {
for x in Vec::<Alpha<Impl>>::new().into_iter() {
use_alpha(&x); // <-- !error!
}
}
这是第二个程序的编译时错误：
error: `x` does not live long enough
--> src/main.rs:20:5
|
19 | use_alpha(&x); // <-- !error!
| - borrow occurs here
20 | }
| ^ `x` dropped here while still borrowed
|
= note: values in a scope are dropped in the opposite order they are created
这是两个程序的差异：
#[derive(Clone)]
struct Alpha<'a, T: Trait<'a>> {
- _dummy: std::marker::PhantomData<(&'a (), T)>,
+ _dummy: std::marker::PhantomData<(&'a (), T::T)>,
}
唯一的区别是，通过将第一个程序更改为在struct定义中使用关联类型而不是类型参数，会发生生命期错误。 我不知道为什么会发生这种情况。 据我所知，关联类型不应该产生任何额外的生命期限制 - 这只是'a ，但显然Rust编译器不同意。
如果我用简单的实例替换第二个程序main函数中的迭代，那么寿命错误就会消失。 那是：
fn main() {
let x = Alpha::<Impl> { _dummy: std::marker::PhantomData };
use_alpha(&x); // <-- ok in both programs
}
我不明白为什么迭代与直接实例化有什么不同。
在use_alpha ，您使用相同的生命周期来参考Alpha及其生命期参数。 它的生命周期参数将成为Impl的Trait::T的生命周期。 这个注释给出了一个关于值被删除的顺序的提示： Impl::T在Impl之前被删除，因为它是Impl定义的一部分，但这意味着Alpha某些部分在它仍然在附近时已经被删除。
您可以通过在use_alpha使用两个生命周期参数来解决此use_alpha ：
fn use_alpha<'a, 'b>(_: &'a Alpha<'b, Impl>) {}
这将允许编译器为每种类型推断不同的生命周期。
链接地址: http://www.djcxy.com/p/94473.html上一篇: Lifetime error using associated type of trait with lifetime parameter