Memory Alignment

最新推荐文章于 2024-12-05 04:03:25 发布

转载最新推荐文章于 2024-12-05 04:03:25 发布 · 708 阅读

本文解释了内存对齐的概念，即大多数CPU要求变量存放在特定内存偏移位置的原因。以32位处理器为例，介绍了4字节整数必须位于4字节边界上的要求，并探讨了当数据未正确对齐时可能导致的问题。此外，还通过一个Employee结构体的例子说明了编译器如何为保持内存对齐而增加填充字节。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Understanding What Memory Alignment Means

Most CPUs require that objects and variables reside at particular offsets in the system's memory. For example, 32-bit processors require a 4-byte integer to reside at a memory address that is evenly divisible by 4. This requirement is called "memory alignment". Thus, a 4-byte int can be located at memory address 0x2000 or 0x2004, but not at 0x2001. On most Unix systems, an attempt to use misaligned data results in a bus error, which terminates the program altogether. On Intel processors, the use of misaligned data is supported but at a substantial performance penalty. Therefore, most compilers automatically align data variables according to their type and the particular processor being used. This is why the size that structs and classes occupy is often larger than the sum of their members' size:

 
struct Employee
{
  int ID;
  char state[3]; //CA, NY etc. + terminating null
  int salary;
};

Apparently, Employee should occupy 11 bytes (4+3+4). However, most compilers add an unused padding byte after the field 'state' so that it aligns on a 4 byte boundary. Consequently, Employee occupies 12 bytes rather than 11. You can examine the actual size of an aggregate by using the expression sizeof(Employee).

http://www.devx.com/tips/Tip/13265