Rust泛型结构体如何支持可变数量类型参数？

Rust没有C那样的type packs语法，但可以通过可变泛型参数（Rust 1.56及以上版本支持）实现等价功能，结合tuple存储对应类型的集合，逻辑和你C中的写法一致：

基础实现代码 #

// 用可变泛型参数Ts...捕获任意数量的类型，对应C++的typename... Ts
struct Foo<Ts...> {
    bar: (Ts...), // 用tuple展开存储类型集合，对应C++的std::tuple<Ts...>
}

// 使用示例
fn main() {
    // 实例化包含i32和usize类型的Foo
    let foo = Foo { bar: (42, 100usize) };
    // 直接访问tuple中的元素
    println!("{} {}", foo.bar.0, foo.bar.1);
}

你的原有写法错误原因 #

• Rust中的type是用于定义类型别名的关键字，并非合法的类型，因此直接写[type]会触发编译错误。
• Rust的数组要求所有元素类型必须统一，无法存储不同类型的元素，而tuple才是Rust中专门用于存储不同类型元素集合的类型。

进阶：给泛型参数添加统一约束 #

如果需要让所有可变类型参数满足某个共同约束（比如实现Debug trait），可以这样写：

use std::fmt::Debug;

struct Foo<Ts: Debug...> {
    bar: (Ts...),
}

fn main() {
    let foo = Foo { bar: (42, "hello", 3.14f64) };
    println!("{:?}", foo.bar);
}

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