Rust中Serde反序列化与HRTB的作用及替代实现问询

问题场景 #

我正在深入理解Rust的工作机制，尝试对含泛型类型的结构体实现序列化与反序列化以完成存读功能。初始代码使用serde和bincode，但编译报错，改用高阶特征边界（HRTB）后代码正常运行，但对原理不太清楚。

初始代码 #

use serde::Deserialize;
use bincode;
use std::fs;

#[derive(Deserialize)]
pub struct Construct<T> {
    data: Vec<T>
}

impl<'a, T: Deserialize<'a>> Construct<T> {
    pub fn load() -> Self {
        match fs::read("data.sav") {
            Ok(d) => {
                let c: Construct<T> = bincode::deserialize(&d).unwrap();
                c
            },
            Err(e) => {
                println!("{e}, passing empty Construct");
                Self { data: Vec::new() }
            }
        }
    }
}

编译错误 #

error[E0597]: `d` does not live long enough
  --> src/main.rs:14:49
   |
10 | impl <'a, T: Deserialize<'a>> Construct<T> {
   |       -- lifetime `'a` defined here
...
14 |                 let c: Construct<T>  = bincode::deserialize(&d).unwrap();
   |                                        ---------------------^^-
   |                                        |                    |
   |                                        |                    borrowed value does not live long enough
   |                                        argument requires that `d` is borrowed for `'a`
15 |                 c
16 |             },
   |             - `d` dropped here while still borrowed

修改后可用代码（HRTB方式） #

use serde::Deserialize;
use bincode;
use std::fs;

#[derive(Deserialize)]
pub struct Construct<T> {
    data: Vec<T>
}

impl <T: for<'a> Deserialize<'a>> Construct<T> {
    pub fn load() -> Self {
        match fs::read("data.sav") {
            Ok(d) => {
                let c: Construct<T> = bincode::deserialize(&d).unwrap();
                c
            },
            Err(e) => {
                println!("{e}, passing empty Construct");
                Self { data: Vec::new() }
            }
        }
    }
}

原理解析 #

对HRTB的理解验证 #

你的核心理解是对的：

• 常规的T: Deserialize<'a>是调用者指定生命周期'a，要求T能被生命周期为'a的引用反序列化。但在load函数中，d是局部变量，生命周期只存在于Ok分支内部，无法满足外部指定的'a要求（编译器认为d需要存活到'a结束，但d在分支结束就被销毁了）。
• for<'a> Deserialize<'a>（即HRTB）表示T可以适配任意生命周期的输入引用，换句话说，T反序列化后是完全拥有所有权的类型，不依赖于输入数据的生命周期。这和“生命周期更长”无关，而是T本身不持有任何来自输入数据的引用，所以无论输入数据的生命周期长短，都能完成反序列化。

无需HRTB的替代方案 #

其实serde已经提供了一个更直观的替代：DeserializeOwned trait，它是for<'a> Deserialize<'a>的别名，专门用于这种“反序列化后得到拥有所有权的值”的场景。修改后的代码如下：

use serde::Deserialize;
use bincode;
use std::fs;

#[derive(Deserialize)]
pub struct Construct<T> {
    data: Vec<T>
}

impl<T: serde::de::DeserializeOwned> Construct<T> {
    pub fn load() -> Self {
        match fs::read("data.sav") {
            Ok(d) => {
                let c: Construct<T> = bincode::deserialize(&d).unwrap();
                c
            },
            Err(e) => {
                println!("{e}, passing empty Construct");
                Self { data: Vec::new() }
            }
        }
    }
}

这个写法和HRTB版本完全等价，但可读性更高，不需要手动写HRTB语法。

内容的提问来源于stack exchange，提问作者fudgeBreadstein