1.13 内存中的类型 Pt.1对齐(Alignment)、布局(Layout)、repr属性1.13.1. 类型的基本职责每个Rust值都有类型而类型的职责在于告诉你如何解释内存中的比特位(bits)。例如0b10111101这串比特(bits)本身并没有意义但是- 用u8类型来解释就会得到数字189- 用i8类型来解释就会得到数字-67当自定义类型时编译器决定该类型的各部分在内存表示中的位置1.13.2. 对齐(Alignment)对齐(Alignment)决定了类型的字节可以被存储在哪里。而一旦类型的表示被确定之后你可能想在内存上随便找个地方存进去就行这在理论上是可行的。但实际上计算机硬件对给定的类型可以存放的位置是有约束的。最典型的一个例子是指针它指向的是字节(bytes)而不是位(bits)1个字节等于8比特。换言之它并不指向具体的比特。所以如果将某类型的值放在计算机内存中索引为4的位(bits)上那就无法引用它的地址因为指针指向的是字节而不是具体的比特所以就必须对齐字节也就是对齐到8比特。出于这个原因所有的值无论什么类型都必须开始于字节的边界。所有类型必须至少是字节对齐的(byte-aligned)。换言之存放的地址必须是8bits的整数倍。1.13.3. 更严格的对齐规则有一些类型的对齐规则比字节的对齐规则还要严格在CPU和内存系统里内存经常按大于单个byte的块进行访问。例如在64位的CPU上大部分的值是按照8bytes的块进行访问的每个操作都开始于“8bytes对齐”的地址上。这也叫做CPU的字长英文是word sizeCPU当然也有办法处理更小值的读写以及跨越块边界的值。但是我们作为开发者应该尽可能地保证硬件可以操作于它的原生(native)对齐。举个例子如果想读取的i64值它开始于8bytes块的中间那这个时候要读取它就至少需要两次读取。因为i64是8字节而它开始于两个8字节块中间说明它一定横跨了这两个块。所以在读取时引进就得从这两个块读取数据第一个块读取i64的前面部分第二个块读取i64的后面部分然后再把它们合并到一起。这种操作是非常低效的会拖累程序执行的速度所以我们应该尽可能保证硬件可以操作于它的原生对齐。1.13.4. 没对齐的操作CPU访问内存时数据的地址没有按照架构要求的对齐方式进行访问叫做misaligned access。这会导致性能低下和并发问题。很多CPU操作多要求/强烈建议它们的参数是自然对齐的(naturally aligned)。自然对齐值的对齐是匹配他们值的大小的。例如我想加载8字节那么提供的地址就需要8字节对齐。1.13.5. 编译器会尽可能利用对齐基于类型包含的内容编译器通过计算为类型分配一个对齐或者叫给它分配一个对齐方案- 对于内值的值通常对齐到它们的大小。比如说u8按1字节对齐u16按2字节对齐u32按4字节对齐u64按8字节对齐。而复杂类型包含其它类型的类型通常被赋予所含类型的最大对齐。例如某类型含有u8、u16和u32这三个类型的字段那么类型就应该是4字节对齐u32是最大对齐为4字节1.13.6. 布局(Layout)类型的布局(Layout)指的是编译器决定这个类型在内存上如何表示。Rust编译器对于类型如何布局并没有给出多少保证。Rust提供了repr属性(attribute)它可以添加到你类型的定义上来请求特定的类型表示。1.13.7.repr(C)repr属性(attribute)最常见的一个是repr(C)。名字里带个C说明跟C语言有关系。repr(C)布局方式与C/C编译器对同类型的布局兼容。这对于使用FFI外部函数接口英文是Foreign Function Interface与其它语言交互的Rust代码很有用。使用FFI与其它语言交互的时候Rust会生成一个匹配其它语言编译器期望的布局。因为C语言的布局是可预测且不易改变的所以repr(C)在unsafeunsafe Rust详见 【Rust自学】19.1. 摆脱安全性限制的unsafe Rust的上下文是非常有用的。比如说你使用指向该类型的原始指针时或者在两个具有相同字段的类型间进行转换时都可以使用到repr(C)。1.13.8.repr(transparent)repr(transparent)中的transparent是透明的意思它用于 newtype 风格的包装类型并保证外层类型与其唯一的非零大小字段具有相同的布局。若还有其它字段它们必须是零大小类型例如()或PhantomData。这与newtype模式详见【Rust自学】19.5. 高级类型结合起来很好用。我们在这里回顾一下newtype模式利用元组结构体来构建一个新的类型放在本地相当于是薄封装。举个例子你想操作struct A和struct NewA(A)的内存表示使用了repr(transparent)之后两者的内存表示就应该是一样的。不使用的话Rust编译器就没发保证了。1.13.9. 使用repr属性的例子我们来看一个例子代码字段类型的大小默认内存表示填充最终对齐#[repr(C)]struct Foo {tiny: bool,1 bit1 byte 对齐3 bytesnormal: u32,4 bytes4 bytes 对齐(tinynormal)8 bytessmall: u8,1 byte1 byte 对齐7 bytes8 byteslong: u64,8 bytes8 bytes 对齐8 bytesshort: u16,2 bytes2 bytes 对齐6 bytes8 bytes}共 32 bytes这个表展现了 Rust 结构体在#[repr(C)]下的内存对齐和填充- 代码是最左边的这列使用了repr(C)注解。结构体里面有好几个字段Rust编译器首先看tiny字段是bool类型的占1bit内存就会对齐到1字节编译器接着看normal字段是u32类型的占4字节所以对齐到4字节即可。这时候Rust发现tiny字段对齐到的是1字节所以编译器就会填充3字节让tiny字段占4字节由于这个字段刚好占了8字节是4字节的整数倍所以已经对齐了small字段是u8类型占1字节对齐到1字节。由于上面的两个字段已经对齐了所以Rust编译器会根据下文的字节来判断给它填充多少字节。判断到这里Rust编译器还得观望一下。long是u64类型占8字节自然就是8字节对齐。它的字段是8字节及以上。此时我们看tiny和normal组成了8字节对齐long也是8字节对齐Rust明白了现在的情况是应该按8字节对齐。那就只能给small字段填充7个字节补成一个8字节对齐了。short是u16类型占2字节由于现在的情况是应该按8字节对齐所以编译器会给它补6字节合成8字节对齐。其过程用表格表述就是字段类型大小需要的对齐填充情况备注tiny: bool1 bit1 byte3 bytes 填充为了对齐下一个u32normal: u324 bytes4 bytes无填充按u32对齐small: u81 byte1 byte7 bytes 填充为了对齐下一个u64long: u648 bytes8 bytes无填充8 字节对齐short: u162 bytes2 bytes6 bytes 填充以8字节对齐结构体