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即可。