Rust枚举的repr(u8)与repr(C, u8)内存布局是否等价？

针对你提出的问题，TaggedUnion与UnionWithTag的内存布局并不完全一致，核心差异源于两种repr注解对枚举布局规则的不同约束，下面结合你的示例展开分析：

1. 两种repr的布局规则本质差异 #

• #[repr(u8)]：仅指定枚举的标签类型为u8，但枚举的整体布局遵循Rust默认的枚举逻辑——每个变体是「标签+自身字段」的独立结构，整个枚举的大小取所有变体中的最大值，对齐取所有变体的最大对齐要求。
• #[repr(C, u8)]：同时指定C兼容布局和u8类型标签，此时枚举会被布局为「固定位置的标签 + 包含所有变体payload的联合（union）」，这是C语言中带标签联合的标准形式，确保与C代码交互时的兼容性。

2. 示例中的具体布局差异 #

以你给出的WithFields枚举为例，两种布局的内存结构细节存在明显区别：

（1）UnionWithTag（对应#[repr(u8)]）的布局 #

每个变体是独立的C风格结构体，标签直接跟在自身字段的前方，不同变体的字段偏移位置不同：

• VariantA：标签（偏移0）→ 1字节填充（满足u16的2字节对齐）→ u16字段（偏移2），总大小4字节。
• VariantB：标签（偏移0）→ u8字段（偏移1）→ 1字节填充（满足u16的2字节对齐）→ u16字段（偏移3），总大小6字节（向上取整到对齐倍数2）。
• VariantC：标签（偏移0）→ 3字节填充（满足u32的4字节对齐）→ 两个u32字段（偏移4和8），总大小12字节。

整个UnionWithTag的大小为12字节（最大变体VariantC的大小），对齐为4字节。

（2）TaggedUnion（对应#[repr(C, u8)]）的布局 #

标签固定在结构最开头，后续是统一的联合 payload，所有变体的payload从相同偏移开始：

• 标签（偏移0）→ 3字节填充（满足联合的4字节对齐要求）→ 联合Union（起始偏移4）。
• 联合Union的大小为8字节（最大payloadPayloadC的大小），对齐为4字节。

整个TaggedUnion的大小为12字节（1+3+8），对齐为4字节。

关键差异点 #

虽然两者的总大小和对齐相同，但字段的偏移位置完全不同：

• UnionWithTag中VariantB的u8字段在偏移1处；
• TaggedUnion中PayloadB的u8字段在偏移4处。

这种差异会直接影响内存地址的访问，因此两种布局并不等价。

3. 总结 #

• #[repr(u8)]适合仅需要固定标签大小，但不需要与C交互的场景；
• #[repr(C, u8)]是为了兼容C语言的带标签联合布局，确保跨语言交互时的内存结构一致。

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