Intel和微软同时出现的C语言面试题 /CIh 2
]#e
#pragma pack(8) aBzszp]l+
1lpwZ"
struct s1{ -&e92g&n
short a; [JaS??ig
long b; wlPx,UqZ
}; @p|$/Z%R,
F]I=+T
struct s2{ $.:mai
char c; W k}AmC
s1 d; X.TI>90{
long long e; nJbbzQ,e
}; ( S ^8UV
Ou>vX[{
#pragma pack() )}L? ?|#
YQ0)5 }
问 |~
_'V "
1.sizeof(s2) = ? ^bLRVp1
2.s2的s1中的a后面空了几个字节接着是b? 8_!.!Kde |
v{ <[)cr
P5gN #G
oW;6h.
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： ]LZ`LL'#Y_
k;5P om
网友rwxybh(行云)的答案： o-cAG{.WC
内存布局是 g_Im; 1$
1*** 11** =@)d5^<5F
1111 **** w If
{6z{
1111 1111 ,]5Ic.};p
Oi} T2I
所以答案就是24和3 &Sp -w?kM
nP UqMn'
下面是一个测试的程序，试一试就知道了，我用的是VC2005 tW;:-
s[U r~Wvn
#pragma pack(8) 1J? dK|% b
"EV!>^Z
struct s1{ &Z^ l=YH,
short a; // 2 BYtes tV/Z)fpyH
long b; // 4 Bytes IooNb:(
}; n& $^04+i
struct s2{ ; < Km 3
char c; // 1 Byte x|KWyfOS
s1 d; // 8 Bytes Ac|5. ?|N
long long e; // 8 Bytes gip/(/NX
}; |~<N -~.C
// 1*** 11** rbZ[ !LA
// 1111 **** C;~*pMAYe
// 1111 1111 $Q+s/4\
// wLV~F[:
gLsU:aeC T
// 00 01 02 03 04 05 06 07 fj ,m
// 00 01 02 03 04 05 06 07 KL' zXkS
// 00 01 02 03 04 05 06 07 <:|3rfm#
// tU/k-W3X
#pragma pack() q:8_]Qt
voe7l+Xk
int main(int argc, char* argv[]) 3CE[(
{ ueG|*[
s2 a; ir3VTqz
char *p = (char *)&a; ^ZTGJ(j7~
for(int i=0;i<24;++i) ,1/}^f 6
p = (char)(i%8); [4J6 iF
printf("%d\n",sizeof(a)); H@uE>
printf("c=0x%lx\n",a.c); EC6 k{y}bA
printf("d.a=0x%x\n",a.d.a); :"o
o>
printf("d.b=0x%x\n",a.d.b); 8p1ziz`4>$
printf("e=0x%llx\n",a.e); k8]O65t |
return 0; =i HiPvP0
} Fd \ e*ww'
结果： ;PyZ?Z;
24 >\A8#@1
c=0x0 k#:2'!7G
d.a=0x504 (5$ZvXx?}
d.b=0x3020100 AD('=g J
e=0x706050403020100 VzlDHpG
K^t? gt@k}
+' oX
网友 redleaves (ID最吊的网友)的答案和分析： I K^~X{I?
7L:7/
如果代码: 6yAA~;*5'
#pragma pack(8) P6U%=xaC
struct S1{ AAUyy
:
char a; q 1 k {
long b; _w ]4~V9
}; YH:8<O,{-
struct S2 {
FnHi(S|A
char c; 8X?>=tl
struct S1 d; %G3sjnI;l
long long e; xeTgV&$@
}; l| /:Ot
#pragma pack() Z"I/ NG iU
sizeof(S2)结果为24. eUO9 a~<
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. Z%gx% $
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. >P. 'CU
f0Hq8qAF;^
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; y:}sD_m0W
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. {fSf q&o
a b 1q.(69M
S1的内存布局：11**,1111, p D=w >"
c S1.a S1.b d tu%[p 4
S2的内存布局：1***,11**,1111,****11111111 2}t&iG|0/
gd^Js 1Z
这里有三点很重要: _ :^ 7a3I
1.每个成员分别按自己的方式对齐,并能最小化长度 w36 (p{#vp
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 w>~M}Ahj
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 8)0 L2KL'
EA{U!b]cU
v+1i = s2$
网友xue23(xue23) 的答案和分析： %3Bpn=k>
v i {uy
有程序查一下各个变量的内存地址得知： R21~Q:b !
各个变量在内存中的位置为 u@.>WHQN
c***aa** VS/;aG$&y
bbbb**** ?$%%Mp(
dddddddd RB3 zHk%
测试代码为： yi!`V.
s2 ss; "2Op[~V
cout << "ss.c = " << &ss << endl ; p/]s)uYp$
cout << "ss.d.a = " <<&ss.d.a << endl; %"Db?
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 2'{}<9
print out 各个变量的内存地址不就可以看出来了吗。 </E>tMW
^abD !8
所以答案是24,2. @C.G KeM*
=ak7ld A=2
但是我的想像中应该是这样的分布情况： 9XV^z*E(J
c******* IjZ@U%g@;
aa**bbbb >xd< YwXZ
dddddddd t<b 3K-
?~2Bi^ W5
不知为什么会c和a放在一起，组成8位长度。
