通用函数中的 Rust Lifetime 问题[重复]

Question

我有一个简单的函数，我想在 rust 中进行通用化。我遇到了一生的错误。我仍然了解生锈的终生一面。

该函数只是使用 serde 的序列化将 1 个结构转换为另一个。

这里有一个rust playground 完整的简单场景。

代码：

pub fn convert<'de: 'a, 'a, T>(from: &'a Left, print: bool) -> (T, &'a Left)
where
    T: Deserialize<'de> + std::fmt::Debug {

    let serialized = serde_json::to_string(&from);
    let serialized = serialized.unwrap();
    let deserialized: T;
    {
    let deserialized_raw = serde_json::from_str(&serialized);
    deserialized = deserialized_raw.unwrap();
    }
    if print {
        println!("-------------A-----------------------------------");
        println!("serialized = {}", &serialized);
        println!("--------------B----------------------------------");
        println!("deserialized = {:?}", deserialized);
        println!("--------------C----------------------------------");
    };
    (deserialized, from)
}

错误：

error[E0597]: `serialized` does not live long enough
  --> src/main.rs:38:49
   |
30 | pub fn convert<'de: 'a, 'a, T>(from: &'a Left, print: bool) -> (T, &'a Left)
   |                --- lifetime `'de` defined here
...
38 |     let deserialized_raw = serde_json::from_str(&serialized);
   |                            ---------------------^^^^^^^^^^^-
   |                            |                    |
   |                            |                    borrowed value does not live long enough
   |                            argument requires that `serialized` is borrowed for `'de`
...
49 | }
   | - `serialized` dropped here while still borrowed

我尝试了几种有生命周期和没有生命周期的方法。我尝试添加块以查看是否会在没有运气的情况下改变事情。

对我做错了什么有什么想法吗？

编辑： - 添加了完整的编译器错误输出

Answer 1

对于编译器来说，生命周期参数总是表示严格比函数调用长的生命周期。但是，在这里您尝试使用局部变量并声称它具有生命周期 'de，这是不可能的，因为它是局部变量，因此它的生命周期比函数调用短。

为了将特征中的生命周期参数与局部变量混合，我们必须使用higher-rank trait bounds。我们希望 T 为 每个 生命周期 'de 实现 Deserialize<'de>（而不仅仅是调用者选择的一个特定生命周期）。是这样写的（注意我们现在可以省略 'a 生命周期）：

pub fn convert<T>(from: &Left, print: bool) -> (T, &Left)
where
    T: for<'de> Deserialize<'de> + std::fmt::Debug
{
    // no changes here
}