Intel和微软同时出现的C语言面试题

 Intel和微软同时出现的C语言面试题

　　#pragma pack(8)

　　struct s1{
　　short a;
　　long b;
　　};

　　struct s2{
　　char c;
　　s1 d;
　　long long e;
　　};

　　#pragma pack()

　　问
　　1.sizeof(s2) = ?
　　2.s2的s1中的a后面空了几个字节接着是b?

　　 如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考：

　　网友rwxybh(行云)的答案：
　　内存布局是
　　1*** 11**
　　1111 ****
　　1111 1111

　　所以答案就是24和3

　　下面是一个测试的程序，试一试就知道了，我用的是VC2005

　　#pragma pack(8)

　　struct s1{
　　short a; // 2 BYtes
　　long b; // 4 Bytes
　　};
　　struct s2{
　　char c; // 1 Byte
　　s1 d; // 8 Bytes
　　long long e; // 8 Bytes
　　};
　　// 1*** 11**
　　// 1111 ****
　　// 1111 1111
　　//

　　// 00 01 02 03 04 05 06 07
　　// 00 01 02 03 04 05 06 07
　　// 00 01 02 03 04 05 06 07
　　//
　　#pragma pack()

　　int main(int argc, char* argv[])
　　{
　　s2 a;
　　char *p = (char *)&a;
　　for(int i=0;i<24;++i)
　　p[i] = (char)(i%8);
　　printf("%d/n",sizeof(a));
　　printf("c=0x%lx/n",a.c);
　　printf("d.a=0x%x/n",a.d.a);
　　printf("d.b=0x%x/n",a.d.b);
　　printf("e=0x%llx/n",a.e);
　　return 0;
　　}
　　结果：
　　24
　　c=0x0
　　d.a=0x504
　　d.b=0x3020100
　　e=0x706050403020100


　　 网友 redleaves (ID最吊的网友)的答案和分析：

　　如果代码:
　　#pragma pack(8)
　　struct S1{
　　char a;
　　long b;
　　};
　　struct S2 {
　　char c;
　　struct S1 d;
　　long long e;
　　};
　　#pragma pack()
　　sizeof(S2)结果为24.
　　成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐.
　　也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节.

　　S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8;
　　S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节.
　　a b
　　S1的内存布局：11**,1111,
　　c S1.a S1.b d
　　S2的内存布局：1***,11**,1111,****11111111

　　这里有三点很重要:
　　1.每个成员分别按自己的方式对齐,并能最小化长度
　　2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度
　　3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐


　　 网友xue23(xue23) 的答案和分析：

　　有程序查一下各个变量的内存地址得知：
　　各个变量在内存中的位置为
　　c***aa**
　　bbbb****
　　dddddddd
　　测试代码为：
　　s2 ss;
　　cout << "ss.c = " << &ss << endl ;
　　cout << "ss.d.a = " <<&ss.d.a << endl;
　　cout << "ss.d.b = " <<&(ss.d.b) < 　　cout << "ss.d = " <<&ss.e << endl;
　　print out 各个变量的内存地址不就可以看出来了吗。

　　所以答案是24,2.

　　但是我的想像中应该是这样的分布情况：
　　c*******
　　aa**bbbb
　　dddddddd

　　不知为什么会c和a放在一起，组成8位长度。