Rust中如何在函数参数中定义多泛型类型

在Rust中，你尝试的直接通过where T can be either T1 or T2这种语法来约束泛型是不支持的，但可以通过自定义trait的方式实现类似需求，让函数接收的Vec<T>中的T可以是任意实现了该自定义trait的类型（包括你的T1和T2）。

具体实现步骤 #

1. 定义一个继承自serde::Serialize的自定义trait，作为统一约束；
2. 为你需要支持的两种类型（T1、T2）分别实现这个自定义trait；
3. 将函数的泛型参数约束为该自定义trait，即可接收两种类型的Vec。

代码示例 #

首先确保Cargo.toml中添加了serde依赖：

[dependencies]
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0" # 可选，用于测试序列化

然后编写Rust代码：

use serde::Serialize;

// 定义自定义trait，继承Serialize以保留序列化能力
trait EitherSerialize: Serialize {}

// 为任意实现Serialize的类型实现该trait（如果T1、T2是泛型参数）
impl<T: Serialize> EitherSerialize for T {}

// 如果T1、T2是具体类型，也可以直接为它们实现：
// impl EitherSerialize for Foo {}
// impl EitherSerialize for Bar {}

// 目标函数，接收实现了EitherSerialize的类型的Vec
fn get<T: EitherSerialize>(input: Vec<T>) {
    // 示例：序列化Vec为JSON
    match serde_json::to_string(&input) {
        Ok(json) => println!("序列化结果: {}", json),
        Err(e) => eprintln!("序列化失败: {}", e),
    }
}

// 测试用的具体类型
#[derive(Serialize)]
struct Foo {
    name: String,
}

#[derive(Serialize)]
struct Bar {
    age: u32,
}

fn main() {
    let foo_list = vec![Foo { name: "张三".into() }, Foo { name: "李四".into() }];
    let bar_list = vec![Bar { age: 25 }, Bar { age: 30 }];

    get(foo_list); // 合法，处理Vec<Foo>
    get(bar_list); // 合法，处理Vec<Bar>
}

替代方案：直接定义多个同名函数 #

如果两种类型的处理逻辑差异较大，也可以直接为两种Vec类型分别定义函数（Rust允许同名函数只要参数类型不同）：

use serde::Serialize;

fn get<T1: Serialize>(input: Vec<T1>) {
    // 处理T1类型的Vec逻辑
}

fn get<T2: Serialize>(input: Vec<T2>) {
    // 处理T2类型的Vec逻辑
}

但这种方式会导致代码重复，推荐优先使用自定义trait的方案来复用逻辑。

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