如何避免修改枚举变体时破坏Bincode序列化数据？

问题根源 #

Bincode依赖Serde处理序列化逻辑，默认情况下，无#[repr(T)]修饰的枚举会按变体定义的顺序索引（从0开始）序列化，而非你显式指定的判别式值。旧枚举中E::C的索引是2，序列化后存储的是整数2；修改后的枚举里E::C的索引变为1，反序列化旧数据时，整数2超出了新枚举的索引范围（0≤i<2），因此触发错误。

解决方案 #

方案1：让Bincode使用显式判别式序列化

给枚举添加#[repr(u8)]（或对应整数类型，如u32，根据实际需求选择），Serde会自动使用你指定的判别式值而非索引进行序列化/反序列化。修改后的代码：

use serde::{Serialize, Deserialize};

#[repr(u8)]
#[derive(Serialize, Deserialize)]
enum E {
    B = 1,
    C = 2,
}

配置完成后，Bincode会用整数1和2分别序列化E::B和E::C，反序列化旧数据中的整数2时，能正确映射到E::C，不会触发错误。

方案2：保留未使用的变体以兼容旧数据

如果不想修改序列化规则，可以保留E::A并标记为废弃，避免后续误使用：

use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize)]
enum E {
    #[deprecated(note = "已废弃，禁止使用")]
    A = 0,
    B = 1,
    C = 2,
}

这种方式能保证旧数据的序列化格式完全兼容，同时通过#[deprecated]注解提示开发者不再使用该变体。

注意事项 #

• 若已有大量旧数据，优先选择上述两种方案保证兼容性，切勿直接删除未使用的枚举变体，否则会破坏序列化格式的向后兼容。
• 使用#[repr(T)]时，需确保所有显式判别式均为T类型的有效值，避免出现类型溢出问题。

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