rust - 什么是Rust类型+生存期的总和？

Question

有一个特征可以做到这一点:

pub trait Device<'a> {
    type RxToken: RxToken + 'a;
    type TxToken: TxToken + 'a;

这是什么意思？为什么不使用 type RxToken: RxToken<'a>？

Answer 1

让我们来看一个例子:

trait SayHello {
    fn say_hello(&self);
}

pub trait Device<'a> {
    type MyType : SayHello + 'a;
}

如您所见， SayHello本身对生存期约束一无所知，但是 MyType被约束为满足 SayHello，并且必须对生存期 'a有效。
相比之下，考虑

trait SayHello {
    fn say_hello(&self);
}

pub trait Device2<'a> {
    type MyType : SayHello;
}

在这里， Device2对 MyType没有生存期要求-只需要满足 SayHello即可。