如何为枚举转i8添加合适的Rust类型约束？

你的核心问题是：默认情况下标准库不会为C风格枚举自动实现Into<i8>，因此仅添加E: Into<i8>约束无法直接支持任意枚举。以下是两种可行的解决方案：

方案一：不依赖第三方库 #

1. 直接支持C风格枚举 #

如果只需要处理带整数判别式的C风格枚举（比如默认从0开始编号的枚举），可以用Copy约束配合as强制转换——这类枚举天然支持转换为整数类型：

use std::any::Any;
use std::collections::HashMap;

pub struct Overrides {
    overrides: HashMap<i8, Box<dyn Any>>,
}

impl Overrides {
    pub fn get_option<V, E>(&self, i: E) -> Option<V> 
    where 
        E: Copy,
        V: 'static, // 为downcast_ref提供必要约束
    {
        let key = i as i8;
        // 补充原代码缺失的downcast逻辑
        self.overrides.get(&key)
            .and_then(|boxed_val| boxed_val.downcast_ref::<V>().cloned())
    }
}

2. 手动为枚举实现Into<i8> #

如果想严格遵循Into<i8>约束，可以手动为需要支持的枚举实现该trait：

// 示例枚举
#[derive(Copy, Clone)]
enum MyEnum {
    Foo, // 默认判别式0
    Bar, // 默认判别式1
    Baz, // 默认判别式2
}

// 手动实现Into<i8>
impl Into<i8> for MyEnum {
    fn into(self) -> i8 {
        self as i8
    }
}

// 保持Into<i8>约束的方法实现
impl Overrides {
    pub fn get_option<V, E>(&self, i: E) -> Option<V> 
    where 
        E: Into<i8>,
        V: 'static,
    {
        let key = i.into();
        self.overrides.get(&key)
            .and_then(|boxed_val| boxed_val.downcast_ref::<V>().cloned())
    }
}

方案二：用第三方库简化实现 #

使用num_enum crate可以自动为枚举生成Into<i8>、From<i8>等转换trait，还能显式指定判别式值：

1. 先在Cargo.toml添加依赖：

[dependencies]
num_enum = "0.7"

2. 代码实现：

use num_enum::IntoPrimitive;
use std::any::Any;
use std::collections::HashMap;

// 用IntoPrimitive宏自动实现转换
#[derive(IntoPrimitive)]
#[repr(i8)] // 指定底层类型为i8
enum MyEnum {
    Foo = 0,
    Bar = 1,
    Baz = 2,
}

pub struct Overrides {
    overrides: HashMap<i8, Box<dyn Any>>,
}

impl Overrides {
    pub fn get_option<V, E>(&self, i: E) -> Option<V> 
    where 
        E: Into<i8>,
        V: 'static,
    {
        let key = i.into();
        self.overrides.get(&key)
            .and_then(|boxed_val| boxed_val.downcast_ref::<V>().cloned())
    }
}

关键说明 #

• 只有C风格枚举（即每个变体对应整数判别式的枚举）才能转换为整数类型，带数据的枚举（比如enum Foo { Bar(i32) }）无法直接转i8。
• 原代码中self.overrides.get(&(i as i8));后直接返回None是无效逻辑，示例中补充了dyn Any向下转换为具体类型V的核心逻辑。

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