Rust的#[repr(packed)]

Rust的#[repr(packed)]：内存布局的极致控制
在系统编程领域，内存布局的精确控制往往是性能优化或硬件交互的关键。Rust作为一门注重安全与零成本抽象的现代语言，提供了#[repr(packed)]这一强大属性，允许开发者突破默认的内存对齐规则，实现紧凑的数据排布。这一特性在嵌入式开发、网络协议解析或与C语言交互等场景中尤为重要。
内存对齐的取舍
默认情况下，Rust编译器会为结构体成员添加内存对齐填充（padding），以提升CPU访问效率。但#[repr(packed)]会强制消除所有填充字节，使结构体成员紧密排列。例如，一个包含u8和u32的普通结构体可能占用8字节（含3字节填充），而packed版本仅占5字节。这种取舍虽然可能降低访问速度，却能节省内存或满足特定二进制格式要求。
与C语言的互操作性
当Rust需要与C语言库交互时，双方数据结构的内存布局必须一致。C语言中常见的#pragma pack(1)等效于Rust的#[repr(packed)]。例如，在解析网络数据包时，packed可确保Rust结构体与协议定义的字节序列严格对应，避免因对齐差异导致解析错误。
性能与安全风险
使用packed需警惕潜在问题：未对齐内存访问在某些架构（如ARM）上会引发崩溃。Rust通过生成额外指令（如逐字节拷贝）来避免这类问题，但可能牺牲性能。packed结构体的引用可能违反对齐规则，因此Rust会禁止直接创建对其内部字段的引用，强制使用指针或拷贝操作。
硬件寄存器映射
在嵌入式开发中，外设寄存器通常以紧凑形式排列。通过#[repr(packed)]，开发者能精准定义寄存器结构体，确保每个字段与硬件地址一一对应。例如，一个GPIO控制器的多组寄存器可能被映射为相邻的8位字段，packed布局可避免编译器插入无效填充空间。
实际应用建议
使用packed时应充分权衡需求：优先考虑协议兼容性或内存节省时可采用；若性能敏感，建议通过基准测试验证影响。Rust还提供#[repr(C, packed)]组合，既兼容C布局又取消填充。记住，packed结构体的模式匹配和移动操作可能触发未定义行为，需结合MaybeUninit等类型谨慎处理。
通过#[repr(packed)]，Rust再次展现了其对底层控制的灵活性与安全性并重的设计哲学。这一特性虽非日常开发必需，却是解决特定问题的利器。