Rust Wasm场景下无需std或fmt库实现枚举与字符串互转的稳定方案咨询

嘿，这个问题我之前做Wasm轻量项目的时候也碰到过——std带来的体积膨胀确实闹心，尤其是你说的33%增幅，对小项目来说太不友好了。既然已经做了Release优化，那咱们就聚焦在完全脱离std和fmt的稳定方案上，给你几个可行的方向：

1. 手动实现转换逻辑（零依赖，极致精简） #

这是最可控、体积最小的方式，完全自己写匹配逻辑，没有任何额外依赖。不管是无关联数据的枚举，还是带数据的变体，都能精准处理：

#[derive(Debug, PartialEq)]
enum MyEnum {
    Foo,
    Bar,
    Baz(u8), // 支持带数值关联数据的变体
}

impl MyEnum {
    // 枚举转静态字符串
    pub fn to_str(&self) -> &'static str {
        match self {
            MyEnum::Foo => "Foo",
            MyEnum::Bar => "Bar",
            MyEnum::Baz(_) => "Baz",
            // 如果需要把关联数值也包含进去，可以手动拼接成静态数组（注意无std下不能用String）
            // 比如 MyEnum::Baz(n) => concat!("Baz(", stringify!(n), ")"), 不过这个只适用于编译期常量数值
            // 运行时数值的话，需要手动实现u8转ASCII字符串的逻辑，用静态数组存储结果
        }
    }

    // 字符串转枚举，返回Option处理非法输入
    pub fn from_str(s: &str) -> Option<Self> {
        match s {
            "Foo" => Some(MyEnum::Foo),
            "Bar" => Some(MyEnum::Bar),
            // 手动解析带数值的变体，不用std的parse方法
            s if s.starts_with("Baz(") && s.ends_with(")") => {
                let num_segment = &s[4..s.len()-1];
                let mut num = 0u8;
                for c in num_segment.chars() {
                    if c.is_ascii_digit() {
                        num = num * 10 + (c as u8 - b'0');
                    } else {
                        return None; // 非法字符直接返回None
                    }
                }
                Some(MyEnum::Baz(num))
            }
            _ => None,
        }
    }
}

这种方式的好处是完全自主可控，不会引入任何额外体积，缺点是枚举变体多的话会有点繁琐，但胜在绝对稳定。

2. 自定义宏自动生成代码（减少重复劳动） #

如果你的枚举变体特别多，手动写匹配逻辑太麻烦，可以自己写一个简单的宏来自动生成转换代码——用Rust内置的stringify!宏，完全不需要依赖std：

// 自定义宏：为无关联数据的枚举生成to_str和from_str方法
macro_rules! enum_str_convert {
    ($enum_name:ident { $($variant:ident),* }) => {
        impl $enum_name {
            pub fn to_str(&self) -> &'static str {
                match self {
                    $( $enum_name::$variant => stringify!($variant), )*
                }
            }

            pub fn from_str(s: &str) -> Option<Self> {
                match s {
                    $( stringify!($variant) => Some($enum_name::$variant), )*
                    _ => None,
                }
            }
        }
    };
}

// 使用示例
#[derive(Debug, PartialEq)]
enum SimpleEnum {
    A,
    B,
    C,
    D,
}

// 一行代码生成转换逻辑
enum_str_convert!(SimpleEnum { A, B, C, D });

如果需要支持带关联数据的变体，可以扩展宏的逻辑，比如增加对变体参数的处理，但整体依然是轻量且稳定的，不会引入外部依赖。

3. 选用no_std兼容的轻量第三方库（平衡开发效率与体积） #

如果不想自己造轮子，也可以选一些专门做no_std枚举转换的轻量crates，比如strum（需要禁用默认特性，只启用derive功能）。它的体积远小于std，而且生成的代码效率很高：

首先在Cargo.toml里配置：

[dependencies]
strum = { version = "0.25", default-features = false, features = ["derive"] }
strum_macros = { version = "0.25", default-features = false }

然后代码里直接用derive宏：

use strum::EnumString;
use strum::Display;

#[derive(Debug, PartialEq, Display, EnumString)]
enum MyEnum {
    Foo,
    Bar,
    Baz,
}

// 直接调用自动生成的方法
// let e = MyEnum::from_str("Foo").unwrap();
// let s = e.to_string(); // 注意：这里的to_string返回的是&'static str，不是std的String

需要注意的是，一定要禁用strum的默认特性，不然会间接引入std，就达不到减体积的目的了。

额外注意点 #

• 对于带运行时动态数据的枚举，字符串转换需要手动处理数据的序列化/反序列化（比如数字转ASCII字符串），因为无std环境下不能用标准的格式化或parse方法。
• 转换逻辑写完后，一定要覆盖所有变体做测试，尤其是带数据的变体的非法输入场景，确保稳定性。

备注：内容来源于stack exchange，提问作者user1709076