Rust创建访问表通过索引访问异构结构体字段的方案咨询

我有一个异构数据结构体：

struct Data {
    a: i16,  // 索引 "0"
    b: i32,  // 索引 "1"
    c: u8,   // 索引 "2"
}

是否存在合适方案创建「访问表」（可通过构建工具在编译期生成），支持通过索引而非字段名访问底层数据的引用？我的数据为包含非同质化类型（u8、i8、u16、i16等）的嵌套结构体，索引对应嵌套结构体展平后各条目的序号。

应用场景为基于schema的通信：我们的运行时数据库由静态分层结构体组成，需要通过电力线通信的轻量协议对运行时数据库进行读写，受带宽限制，我们采用通过索引而非名称访问结构体的schema体系。

提问者更新（自有解决方案） #

感谢各位提供的参考思路，给了我很多启发但不完全适配我的场景。补充背景：我用到的是一个包含约1000个条目的大型分层结构体，每个条目都是u8、i8、u16、i16、u32、i32、u64、i64或char类的基础类型，我们把这个结构体作为ARM M4上运行的嵌入式应用间共享资源的运行时数据库。

我们有对应的协议规范，支持通过UART和自研电力线通信调制解调器读写该运行时数据库的单个或多个值。出于带宽考虑，我们设计了类似protobuf的schema体系，通过索引而非名称访问单个条目。在之前的C语言实现中，我们用Python库在编译期生成访问表，该表是固定大小的结构体数组，每个结构体存储指针地址、条目大小等访问信息，再通过访问函数用memcopy将数据原始内容填充到缓冲区。访问表必须使用指针，因为应用运行过程中会对运行时数据库的数值进行修改。

由于条目只有9种不同的类型变体，我想到的方案是将每个条目封装到Enum中，下面是经测试语法正确的实现，后续我可以在协议代码中通过模式匹配填充缓冲区，想请教更有经验的Rust开发者对该方案的评价。

// 运行时数据库结构体
#[derive(Debug)]
struct Data {
    a: i32,
    b: u8
}

#[derive(Debug)]
enum Item<'a> {
    U8(&'a u8),
    I8(&'a i8),
    U16(&'a u16),
    I16(&'a i16),
    U32(&'a u32),
    I32(&'a i32),
    U64(&'a u64),
    I64(&'a i64)
}


fn main() {
    // 初始化运行时数据库数据
    let data = Data{a:2001, b:42};
    
    // 该「访问表」由Python脚本在编译期生成
    // 支持通过索引引用访问结构体字段
    let table: [Item; 2] = [Item::I32(&data.a), 
                            Item::U8(&data.b)];
    
    let item:&Item = &table[1];
    
    println!("结构体数据 => {:?}", data);
    println!("结构体的第二个值为 {:?}", item);
}

方案评价 #

你这个方案本身的完成度很高，完全适配你的嵌入式通信场景：

• 安全特性比原C实现提升明显：Rust的生命周期自动约束了访问表和底层结构体的绑定关系，不会出现C语言中常见的访问表指针悬垂、越界访问的问题
• 资源占用完全符合ARM M4的受限环境要求：固定长度数组的索引访问是O(1)复杂度，Enum的大小固定（32位平台下仅为8字节，1000个条目总占用也才8KB内存），没有额外的动态内存开销
• 后续维护成本很低：新增支持类型只需要补充Enum变体，序列化填充通信缓冲区时直接用模式匹配即可，比C语言手动判断类型、计算偏移的实现更可靠，不会出现隐式类型转换错误
• 扩展读写能力非常方便：只需新增可变引用的Enum变体，或者将现有变体调整为支持可变引用，就能直接通过索引修改运行时数据库的内容，无需改动整体架构

如果要做进一步优化可以参考这几个方向：

• 把Python生成访问表的逻辑替换为Rust的build.rs构建脚本或者过程宏，完全使用Rust工具链完成编译期生成，不需要额外依赖Python环境，还能利用Rust的类型检查在编译阶段就排查出索引和字段不匹配的问题
• 可以给Enum增加to_bytes/from_bytes关联方法，把序列化反序列化逻辑封装到Enum内部，避免每次处理通信数据都重复写模式匹配逻辑
• 补充编译期断言逻辑，校验访问表的长度和展平后的结构体字段总数完全一致，避免漏加、多加条目的低级错误

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