如何在Rust中实现泛型结构体字段的类型依赖关联？

我需要解析一段如下结构的JSON：

{
  "elements": [{
    "t": "USER",
    "value": { "username": "foo", "age": 18 }
  },
  {
    "t": "KEYBOARD",
    "value": { "switches": "BLUE", "price": 150 }
  }]
}

我希望在Rust中定义一个结构体，使value的类型与t的类型相关联。t的取值范围是已知且固定的。

简而言之：是否可以定义如下形式的Rust结构体？

struct Element<T> {
  t: T,
  value: SomeNewTypeDependentOn<T>
}

在TypeScript中可以通过T extends "USER" ? UserObj : T extends "KEYBOARD" ? KeyboardObj ...实现，Rust中是否可行？

Rust不支持TypeScript那种条件类型写法，但可以通过枚举+关联类型的方式实现t与value的强类型绑定，同时能正常完成JSON解析。

方法一：贴合JSON结构的标记枚举（推荐） #

利用serde库的属性，直接将JSON中的t字段作为枚举标记，自动关联对应value的结构体类型：

use serde::{Deserialize, Serialize};

// 定义各类型对应的value结构体
#[derive(Debug, Deserialize, Serialize)]
struct UserObj {
    username: String,
    age: u8,
}

#[derive(Debug, Deserialize, Serialize)]
struct KeyboardObj {
    switches: String,
    price: u16,
}

// 核心：用serde属性绑定t字段和value类型
#[derive(Debug, Deserialize, Serialize)]
#[serde(tag = "t", content = "value")]
enum Element {
    #[serde(rename = "USER")]
    User(UserObj),
    #[serde(rename = "KEYBOARD")]
    Keyboard(KeyboardObj),
}

// 顶层结构体用于解析整个JSON
#[derive(Debug, Deserialize)]
struct Root {
    elements: Vec<Element>,
}

这种写法完全贴合原JSON结构，serde会自动根据t字段的值，将对应的value反序列化成关联的结构体，编译期就保证了t和value的类型一致性，不会出现类型不匹配的情况。

方法二：关联类型枚举（类型安全更强） #

如果不需要严格对应JSON的t/value字段结构，可以直接让枚举成员包裹对应的value类型，天然实现类型绑定：

#[derive(Debug, serde::Deserialize)]
struct UserObj {
    username: String,
    age: u8,
}

#[derive(Debug, serde::Deserialize)]
struct KeyboardObj {
    switches: String,
    price: u16,
}

#[derive(Debug)]
enum Element {
    User(UserObj),
    Keyboard(KeyboardObj),
}

此时每个枚举成员与value类型一一对应，不存在类型错配的可能，若需要适配原JSON结构，只需自定义serde反序列化逻辑即可。

关于泛型结构体的说明 #

你设想的Element<T>泛型结构体在Rust中无法实现类型绑定——因为Rust泛型是参数化设计，T可以是任意类型，无法在编译期强制value的类型与T关联。而枚举的方式是在编译期固定所有合法的t与value组合，类型安全更有保障。

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