rust里的内存对齐

内存对齐主要遵循下面三个原则:

1. 结构体变量的起始地址能够被其最宽的成员大小整除
2. 结构体每个成员相对于起始地址的偏移能够被其自身大小整除，如果不能则在前一个成员后面补充字节
3. 结构体总体大小能够被最宽的成员的大小整除，如不能则在后面补充字

上代码

struct A {

  a: u8,

  b: u32,

  c: u16,

  d: u8,

  e: u8,

}

fn main() {

  let a = A{a:1,b:1,c:1,d:1,e:1};

  println!("{:?}", std::mem::size_of::<A>());

  println!("{:p}", &a);

  println!("{:p}", &a.a);

  println!("{:p}", &a.b);

  println!("{:p}", &a.c);

  println!("{:p}", &a.d);

  println!("{:p}", &a.e);

}

按一般理解，A的内存图应该是

a

x

x

x

b

b

b

b

c

c

d

e

x

x

总字节数应该是14

但是输出为

12
0x18e94ff788
0x18e94ff78e
0x18e94ff788
0x18e94ff78c
0x18e94ff78f
0x18e94ff790

可以发现rust编译器将a,b,c,d,e的位置调换了

内存图如下

b

b

b

b

c

c

a

d

e

x

x

x