如何实现泛型serde_json::from_str？JSON反序列化生命周期报错求解

问题代码 #

use serde::Deserialize;
use std::{error::Error, fs::File, io::Read};

pub fn from_file<'a, T>(filename: String) -> Result<T, Box<dyn Error>>
where
    T: Deserialize<'a>,
{
    let mut file = File::open(filename)?;
    let mut content: String = String::new();
    file.read_to_string(&mut content)?;
    Ok(serde_json::from_str::<T>(&content)?)
}

编译错误信息 #

error[E0597]: `content` does not live long enough
  --> src\util\file.rs:11:34
   |
4  | pub fn from_file<'a, T>(filename: String) -> Result<T, Box<dyn Error>>
   |                  -- lifetime `'a` defined here
...
11 |     Ok(serde_json::from_str::<T>(&content)?)
   |        --------------------------^^^^^^^^-
   |        |                         |
   |        |                         borrowed value does not live long enough
   |        argument requires that `content` is borrowed for `'a`
12 | }
   | - `content` dropped here while still borrowed

For more information about this error, try `rustc --explain E0597`.
error: could not compile `flavour` due to previous error

问题根源 #

你定义的生命周期'a强制要求T必须持有对content的引用，但content是函数内的局部变量，函数执行完毕后就会被销毁，根本无法满足'a的生命周期要求——调用者可能期望返回的T存活时间长于函数本身，这显然存在矛盾。

serde_json::from_str的T: Deserialize<'a>约束是为了支持T借用输入字符串的场景，但如果你的T是拥有所有权的类型（比如使用String而非&str的结构体），完全不需要绑定这个生命周期，改用DeserializeOwned trait就能解决问题。

修复后的代码 #

移除多余的生命周期参数'a，将T的约束替换为DeserializeOwned：

use serde::de::DeserializeOwned;
use serde::Deserialize;
use std::{error::Error, fs::File, io::Read};

pub fn from_file<T>(filename: String) -> Result<T, Box<dyn Error>>
where
    T: DeserializeOwned,
{
    let mut file = File::open(filename)?;
    let mut content = String::new();
    file.read_to_string(&mut content)?;
    Ok(serde_json::from_str(&content)?)
}

约束推导思路 #

1. 明确局部变量生命周期：content仅在函数内部存活，返回值绝对不能持有它的引用。
2. 查阅API文档：serde_json::from_str支持两种场景：
   • 当T需要借用输入字符串时，使用T: Deserialize<'a>，此时输入字符串的生命周期必须长于T；
   • 当T是完全拥有数据的类型时，使用DeserializeOwned（这是一个自动实现的trait，只要T能为任意生命周期实现Deserialize<'de>就会自动满足）。
3. 结合函数场景选择约束：由于无法让content的生命周期超出函数范围，必须选择DeserializeOwned，确保T不依赖外部引用。

内容的提问来源于stack exchange，提问作者Mohamad-Jaafar NEHME