如何在Rust中合理将用户输入映射到Sized泛型类型？

问题场景 #

我在实现类似Cheat Engine的工具时，遇到了泛型类型与用户输入字符串映射的核心问题：

• 定义了带Sized约束的泛型类型Foo<T: Sized>，T可选u32/u64/f32/f64等基础类型（必须Sized才能解析为原始字节）
• 单独实例化Foo<u32>这类对象完全正常，但无法在全局状态结构体State中直接使用Foo<T>——因为T由用户输入动态决定，编译期无法确定，且State不能设为泛型
• 尝试过trait对象但因Sized约束失败，目前用枚举包裹不同Foo<T>实例的方案可行但不够优雅，想知道预先知道所有可能T的情况下，有没有更简便的处理方式？

可行解决方案 #

方案1：宏自动生成枚举（优化手动编写的冗余） #

枚举是最直接的静态类型分支方案，但可以通过自定义宏自动生成枚举变体和统一方法，避免重复代码：

// 自定义宏：批量生成Foo枚举及统一方法
macro_rules! generate_foo_enum {
    ($($variant:ident($ty:ty)),*) => {
        enum FooEnum {
            $(
                $variant(Foo<$ty>),
            )*
        }

        // 为枚举实现统一业务方法（比如字节解析）
        impl FooEnum {
            fn to_bytes(&self) -> &[u8] {
                match self {
                    $(
                        FooEnum::$variant(foo) => foo.to_bytes(),
                    )*
                }
            }
        }
    };
}

// 一键生成包含所有目标类型的枚举
generate_foo_enum!(u32(u32), u64(u64), f32(f32), f64(f64));

新增类型时仅需修改宏调用参数，无需手动编写枚举变体和匹配逻辑，大幅降低冗余。

方案2：类型擦除的Trait对象（绕开Sized约束） #

定义不依赖泛型的上层Trait，将具体泛型类型的细节隐藏在Trait对象之后：

// 定义统一的业务Trait，无需泛型或Sized约束
trait FooOps {
    fn to_bytes(&self) -> &[u8];
    // 按需添加其他方法：从字节解析、修改值等
}

// 为所有满足约束的T自动实现FooOps
impl<T: Sized> FooOps for Foo<T> {
    fn to_bytes(&self) -> &[u8] {
        // 实现Foo<T>转原始字节的逻辑
        unsafe { std::slice::from_raw_parts(self as *const _ as *const u8, std::mem::size_of::<T>()) }
    }
}

// 此时State可以直接使用Trait对象，无需泛型
struct State {
    count: u32, // 注：Rust中无`uint`类型，应使用标准的u32/u64等
    foo: Option<Box<dyn FooOps>>,
}

根据用户输入创建对应Foo<T>实例并装箱为Box<dyn FooOps>即可存入State：

fn create_foo_from_input(input: &str) -> Option<Box<dyn FooOps>> {
    match input {
        "u32" => Some(Box::new(Foo::<u32>::new())),
        "u64" => Some(Box::new(Foo::<u64>::new())),
        "f32" => Some(Box::new(Foo::<f32>::new())),
        "f64" => Some(Box::new(Foo::<f64>::new())),
        _ => None,
    }
}

关于enum_dispatch的报错说明 #

若使用enum_dispatch时出现"Unsupported trait item"错误，通常是因为Trait中包含了该 crate 不支持的项（比如关联类型、泛型方法、默认方法等）。可简化Trait定义，仅保留普通方法，或配合dyn-clone等辅助 crate 补充功能。

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