图解结构体内存对齐

目录

为什么要内存对齐？

如何进行结构体对齐？

如何让结构体按照指定的对齐参数进行对齐？

如何知道结构体中某个成员相对于结构体起始位置的偏移量？

---

为什么要内存对齐？

1. 平台原因(移植原因)： 

      不是所有的硬件平台都能访问任意地址上的任意数据的；

      某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

2. 性能原因： 

      数据结构(尤其是栈)应该尽可能地在自然边界上对齐。 

      原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

如何进行结构体对齐？

1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。 
   对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。 VS中默认的值为8   Linux中的默认值为4
3. 结构体总大小为最大对齐数（每个成员变量除了第一个成员都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

举例：以VS2017举例，VS默认对齐数为8

struct S1 
{ 
 char c1; //1
 int i; //4
 char c2; //1
}; 

 

struct S2
{
	char c1;//1
	char c2;//1
	int i;//4
};

 

struct S3 
{ 
 double d;//8 
 int i; //4
 char c; //1
};

 

struct S4
{
	char c1;//1
	struct S3 s3;//16 
	double d;//8
};

总的来说：结构体的内存对齐是拿空间来换取时间的做法。

那在设计结构体的时候，我们既要满足对齐，又要节省空间，如何做到：

尽量让占用空间小的成员集中在一起。

比如：

//S1和S2的成员结构是一样的
//但是如果计算一下他们俩的大小会发现S2比S1更省空间
struct S1
{ 
 char c1; 
 int i; 
 char c2; 
}; //16
struct S2
{ 
 char c1; 
 char c2; 
 int i; 
};//8

如何让结构体按照指定的对齐参数进行对齐？

#pragma pack(n)//强制使对齐模数为n(不管VS和Linux)

如何知道结构体中某个成员相对于结构体起始位置的偏移量？

//offsetof的定义：
size_t offsetof( structName, memberName );  

//第一个参数是结构体的名字，第二个参数是结构体成员的名字

//该宏返回结构体中成员的偏移量，返回值是size_t 类型的

offsetof这个宏可以直接使用，那么如何实现它呢？

#define offsetof(s,m)  (size_t) &(((s*)0)->m)
  （s*）0:是有一个指向结构体s的指针，它的值是0
   &（（（s*）0）->m）这个是取结构体中s的成员m， 由于这个类的基址是0,m的地址就是其在结构体中的偏移地址。