一.结构体的对齐法则:
(1).结构体的第一个成员对齐到和结构体变量起始位置偏移量为0的地址。
(2).其他成员变量要对齐到某个数字(对齐数) 的整数倍的地址。
对齐数=编译器默认的一个对齐数与该成员变量大小的较小值。(在32位系统环境下,默认对齐数为4.在64位系统环境下,默认对齐数为8.)
(3).结构体总大小为最大对齐数的整数倍。
(4).如果有嵌套结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。
struct A
{
int a;
short b;
int c;
char d;
};//在32位系统环境下,默认对齐数为4.
结构体实现位段。(其实质是改变变量内存的大小,从而节省内存)
int main()
{
unsigned char puc[4];
struct tagPIM
{
unsigned char ucPim1;
unsigned char ucData0 : 1;
unsigned char ucData1 : 2;
unsigned char ucData2 : 3;
}*pstPimData;
pstPimData = (struct tagPIM*)puc;
memset(puc,0,4);
pstPimData->ucPim1 = 2;
pstPimData->ucData0 = 3;
pstPimData->ucData1 = 4;
pstPimData->ucData2 = 5;
printf("%02x %02x %02x %02x\n",puc[0], puc[1], puc[2], puc[3]);
return 0;
}
内存分布图( 1.这里开出来的内存空间单位为bit。
2.申请内存时:在vs中,是从左向右申请内存。在内存内部,是从右向左使用内存。(在不同的平台这一点尚未给出明确定义)
3.剩余空间不足下一个成员使用时,只能浪费。)
上述代码的思路:第一个字节给的是2就是2.
第二个字节则分为三个部分来看:首先,将3赋给data0属于越界行为。3转化为二进制为11,此时产生截断,只能保留末尾数字1.
其次,将4赋给data1也属于越界行为。4转化为二进制为100,此时也产生截断,保留2位00.
最后,将5赋给data2没有越界。5转化为二进制为101。
填充序列是类似小端的低地址在低位,则有00101001,即0x29.
二.联合体内存计算。
特点:1.所有的成员共同使用一块内存空间。所以,联合体变量大小为最大成员的大小。
2.联合体大小也是最大对齐数的整数倍。
#include <stdio.h>
union Un
{
short s[7];
int n;
};
int main()
{
printf("%d\n", sizeof(union Un));
return 0;
}