你如何在 Rust 中创建一个具有需要生命周期的特征的泛型函数？

Question

我正在尝试编写一个与数据库一起使用并代表可以存储的东西的特征。为此，特征继承自其他特征，其中包括 serde::Deserialize 特征。

trait Storable<'de>: Serialize + Deserialize<'de> {
    fn global_id() -> &'static [u8];
    fn instance_id(&self) -> Vec<u8>;
}

struct Example {
    a: u8,
    b: u8
}

impl<'de> Storable<'de> for Example {
    fn global_id() -> &'static [u8] { b"p" }
    fn instance_id(&self) -> Vec<u8> { vec![self.a, self.b] }
}

接下来，我尝试使用通用函数写入此数据：

pub fn put<'de, S: Storable>(&mut self, obj: &'de S) -> Result<(), String> {
    ...
    let value = bincode::serialize(obj, bincode::Infinite);
    ...
    db.put(key, value).map_err(|e| e.to_string())
}

但是，我收到以下错误：

error[E0106]: missing lifetime specifier
--> src/database.rs:180:24
    |
180 |     pub fn put<'de, S: Storable>(&mut self, obj: &'de S) -> Result<(), String> {
    |                        ^^^^^^^^ expected lifetime parameter

Minimal example on the playground.

我将如何解决这个问题，可能完全避免它？

Answer 1

你的 'de 生命周期在错误的地方——你需要它来指定 Storable 的参数，而不是引用 obj.[=23= 的生命周期]

而不是

fn to_json<'de, S: Storable>(obj: &'de S) -> String {

使用

fn to_json<'de, S: Storable<'de>>(obj: &S) -> String {

Playground.

obj 的生命周期实际上在这里并不重要，因为您不会返回从它派生的任何值。您需要证明的是 S 实现 Storable<'de> 一段时间 'de.

如果您想完全消除 'de，您应该使用 DeserializeOwned，如所述。

Answer 2

您已使用通用参数定义 Storable，在本例中为生命周期。这意味着通用参数必须在整个应用程序中传播：

fn put<'de, S: Storable<'de>>(obj: &'de S) -> Result<(), String> { /* ... */ }

您也可以决定将通用的具体化。这可以通过具体类型或生命周期（例如 'static）或将其放在特征对象后面来完成。

Serde 也有 a comprehensive page about deserializer lifetimes。它提到您也可以选择使用 DeserializeOwned。

trait Storable: Serialize + DeserializeOwned { /* ... */ }

您也可以对自己的特质使用与 DeserializeOwned 相同的概念：

trait StorableOwned: for<'de> Storable<'de> { }

fn put<'de, S: StorableOwned>(obj: &'de S) -> Result<(), String> {

你如何在 Rust 中创建一个具有需要生命周期的特征的泛型函数？

How do you create a generic function in Rust with a trait requiring a lifetime?

traits

lifetime

rust