再谈sizeof——struct 结构存储空间的大小：与成员的顺序、#progma pack参数有关系

struct 结构存储空间的大小：与成员的顺序、#progma pack参数有关系

针对字节对齐，环境使用的gcc version 3.2.2编译器（32位x86平台）为例。

 

char 长度为1个字节，short 长度为2个字节，int 长度为4个字节。

struct 子项在内存中的按顺序排列：

1）没有#progma pack(n)参数的情况，各个子项的对齐系数为自己长度。

2）有#progma pack(n)参数的情况，各子项的对齐系数为min（自己长度，n）；

3）struct 整体的对其系数为子项对齐系数最大值

 

看下面的例子：

struct A{

char a;      //字长1对其系数1

char b;     //字长1对其系数1

char c;     //字长1对其系数1

}；//整体对其系数为1

 sizeof(struct A)值是       

看下图

 

绿色为被填充的内存，黄色为空，因此sizeof(struct A)=3;

 

struct B {

    int a;           //对其系数4

    char b;       //对其系数1

    short c;     //对其系数2

};//整体对其系数4

sizeof(strcut B)值是      

如图

short c对其系数2必须和偶地址对齐，int a同理也与能4的倍数地址对其。

粉色内存被结构占用，因此sizeof(strcut B)=8

 

 

struct C {

    char b;   //对其系数1

    int a;      //对其系数4

    short c;  //对其系数2

};//整体对其系数4

sizeof(struct C)的值是     

如图

int a 从4的倍数地址开始，所以开始地址是4，因为结构整体对其系数为4，因此short c后的两个内存被占用，使大小为4的倍数。

sizeof(struct C)=12

 

#progma pack (2)

struct D {

    char b;    //对其系数min（长度=1，n=2）=1

    int a;       //对其系数min（长度=4，n=2）=2

    short c;   //对其系数min（长度=2，n=2）=2

};//整体对其系数2

sizeof(struct D)值是     

如图

 

#progma pack (2)  对int a的放置产生影响，

#progma pack (n)  只能取1、2、4

因此 sizeof(struct D)=8

 

以上转载自http://blog.163.com/feyeye@126/blog/static/4351010920091082551515/

 

字节对齐的细节和编译器实现相关，但一般而言，满足三个准则：

 

  1)  结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

 

  2)  结构体每个成员相对于结构体首地址的偏移量（offset）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字节（internal padding）；

 

  3)  结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会在最末一个成员之后加上填充字节（trailing padding）。

 

 

指针变量p的sizeof

 

指针是记录了另一个对象的地址，既然是来存放地址的，那么它应该等于计算机内部地址总线的宽度。

 

所以在32位计算机中，一个指针变量的返回值必定是4（注意结果是以字节为单位），

 

可以预计在将来的64位系统中指针变量的sizeof结果为8。

 

char* pc = "abc";
int* pi;
string* ps;
char** ppc = &pc;
void (*pf)();//函数指针
sizeof( pc ); // 结果为4
sizeof( pi ); // 结果为4
sizeof( ps ); // 结果为4
sizeof( ppc ); // 结果为4
sizeof( pf );// 结果为4

指针变量的sizeof值与指针所指的对象没有任何关系，正是由于所有的指针变量所占内存大小相等，

 

所以MFC消息处理函数使用两个参数WPARAM、LPARAM就能传递各种复杂的消息结构（使用指向结构体的指针）。

 

sizeof（struct）大小

以下测试在gcc 版本 4.1.2 20070626 (Red Hat 4.1.2-14)

struct thread_arg
{
 int n_thread;
 char* sz_thread;
};

 struct thread_arg* st_value;

 printf("st_value = %d, thread_arg = %d\n",sizeof(st_value),sizeof(struct thread_arg));
 
 st_value=(struct thread_arg*)malloc(sizeof(struct thread_arg));
 int n_test1 = sizeof(*st_value);
 st_value->n_thread = 5;
 st_value->sz_thread = "hello kitty";
 int n_test2 = sizeof(*st_value);
 
 printf("test1 = %d, test2 = %d\n",n_test1,n_test2);

 

结果
st_value = 4, thread_arg = 8
test1 = 8, test2 = 8

为什么呢？指针肯定是4 不用质疑，而在结构体中int 4 指针也为4 所以为8

这是最初分配空间时错误的大小，st_value此时指针只有4字节，所以空间大小不对 ，可以写成*st_value
 st_value=(struct thread_arg*)malloc(sizeof(st_value));
 

结果
st_value = 4, thread_arg = 8
test1 = 8, test2 = 8

第一种分配的是8个字节的空间，而第二种是我写错后的指针的4个字节

最终的结果是一致的，其实这时候是越界的，其他内存空间可能已被破坏。