超特征邊界中的生命周期參數

Question

我正在嘗試為 object 定義一個可轉換為字節切片的特征。 我本質上想說

trait Foo: AsRef<[u8]> + TryFrom<&[u8]> {}

不幸的是，除非我在引用上放置生命周期參數，否則它拒絕編譯，如下所示：

trait Foo<'a>: AsRef<[u8]> + TryFrom<&'a [u8]> {}

這對我來說沒有多大意義，因為生命周期'a與最終的try_from()調用有關，並且不應該是對象類型的一部分。 （ try_from()的實現復制了相關的字節，所以它的參數的生命周期真的不相關。）

不過，這似乎是一個比切片更普遍的問題； 你如何為超特征邊界指定這樣的生命周期參數？ （顯然'_不起作用。）有沒有更好/更慣用的方式來表達這一點，還是我必須求助於某種手工定制的廢話，比如

pub trait TryFromRef<T> { type Error; fn try_from(value: &T) -> Result<Self, Self::Error>; }

?

Answer 1

一個具有生命周期參數的特征綁定，該參數適用於所有生命周期，而不是某個特定的生命周期，可以使用所謂的更高等級的特征邊界或 HRTB 來指定。 在您的情況下，這可能看起來像

trait Foo: AsRef<[u8]> + for<'a> TryFrom<&'a [u8]> {}

任何實現Foo的東西都必須滿足TryFrom<&'a u8>的任何和所有選擇'a ，因此Foo本身不需要生命周期。

也可以看看