Intel和微软同时出现的C语言面试题 3ZZ"mlk*
#pragma pack(8) k
E^%w?C
I\%a<
struct s1{ u@V|13p<
short a; )5NfOvmNB
long b; EDMuQu/D8
}; O#j&8hQ>
CK<Wba
struct s2{ :qfP>Ok
char c; UMcQqV+vT
s1 d; 8F?6Aq1B
long long e; F/91Es
}; l[Hgh,
~N<zv({lG
#pragma pack() 5crd.1@^
0X.(BRI~6p
问 eXB'>#&s
1.sizeof(s2) = ? ?AMn>v
2.s2的s1中的a后面空了几个字节接着是b? ?X'm>R. @
2pKkg>/S
:gD=F &V
rb"J{^
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: =;hz,+
it
Byw1/
网友rwxybh(行云)的答案: (n4\$LdP-
内存布局是 3`%]3qd}
1*** 11** ljr?Z,R4
1111 **** %25GplMT
1111 1111 %\i
OX|F_
fV b~j ;
所以答案就是24和3 >iZ"#1ZL2O
[{}Hk%wlX
下面是一个测试的程序,试一试就知道了,我用的是VC2005 z|pC*1A\
d`}t!]Gg
#pragma pack(8) _#9F@SCA
41Y1M]`=
struct s1{ ,~z*V;y)
short a; // 2 BYtes w"A.*8Iu
long b; // 4 Bytes !
MTmG/^
}; O)bc8DyI
struct s2{ {`-f<>N3
char c; // 1 Byte dF@m4U@L
s1 d; // 8 Bytes F(!9;O5J]
long long e; // 8 Bytes Z1 7=g@
}; =tk O^
// 1*** 11** QD2;JI2
// 1111 **** ]0Y5 Z)3:z
// 1111 1111
O,a1?_m8
// -2o_ L?
DG%vEM,y
// 00 01 02 03 04 05 06 07 ?@*hU2MTC
// 00 01 02 03 04 05 06 07 0bl?dOV{
// 00 01 02 03 04 05 06 07 I34|<3t$
// t<F*ODn
#pragma pack() 8)Z)pCN
ZNHlq5
int main(int argc, char* argv[]) ,/oqLI\
{ `RF0%Vm~t
s2 a; ,Y)7M3I
char *p = (char *)&a; _Se0,Uns
for(int i=0;i<24;++i) C\3;o]
p = (char)(i%8); &U.U<
printf("%d\n",sizeof(a)); |TQ#[9C0
printf("c=0x%lx\n",a.c); 0~/'c0Ho
printf("d.a=0x%x\n",a.d.a); 3A`|$So
printf("d.b=0x%x\n",a.d.b); 4r+@7hnK
printf("e=0x%llx\n",a.e); %1oh+'ES F
return 0; sGAOK%28
} %0y_WIjz
结果: D1ep7ykY
24 43'!<[?x
c=0x0 h4 X=d5qd
d.a=0x504 m }J@w~#
d.b=0x3020100 w
\ U?64
e=0x706050403020100 vtA%^~0
=._V$:a6o
yhuzjn
网友 redleaves (ID最吊的网友)的答案和分析: M:PEY*4H
HQy:,_f@
如果代码: cF2!By3M
#pragma pack(8) q6]T;)U&
struct S1{ 9I|D"zXn
char a; pO_$ 8=G+
long b; ;h7W(NO~z
}; hI$IBf>
struct S2 { 6zZT5
Kn
char c; )/p=ZH0[
struct S1 d; D\4pLm"!v
long long e; Pg''>6w>
}; hy]8t1894
#pragma pack() -4;$NiB?
sizeof(S2)结果为24. vWs#4JoG
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. {%&!x;%
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. 59@PY! c>
S/2lK*F
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; _+aMP=H
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 1(diG&
a b Q?g#?z&Pu\
S1的内存布局:11**,1111, +$;#bw)yH
c S1.a S1.b d ]4X08Cm^
S2的内存布局:1***,11**,1111,****11111111 )` ^/Dj;
u]766<Z
这里有三点很重要: ]YciLc(
1.每个成员分别按自己的方式对齐,并能最小化长度 "XB6k0.#
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 o..iT:f;n
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 L!c.1Rf_
W6A-/;S\
%7S{g
网友xue23(xue23) 的答案和分析: yADX^r(
N hY`_?)
有程序查一下各个变量的内存地址得知: GzN /0:b
各个变量在内存中的位置为 sqv!,@*q
c***aa** '}N4SrU$
bbbb**** oG$OZTc
dddddddd >4^,[IO/
测试代码为: $ dR@Q?_{
s2 ss; o'KBe%@/
cout << "ss.c = " << &ss << endl ; :#zVF[Y(2
cout << "ss.d.a = " <<&ss.d.a << endl; O:{N5+HVG
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; _, r6t
print out 各个变量的内存地址不就可以看出来了吗。 !q[r_wL
TB%NHq-!
所以答案是24,2. :5#iVa#<
3P|z`}Ka
但是我的想像中应该是这样的分布情况: 5L 0w!q'W
c******* L2Z-seE
aa**bbbb |I2~@RfpO:
dddddddd +Y_]<
<*@!>6mS
不知为什么会c和a放在一起,组成8位长度。