Intel和微软同时出现的C语言面试题 d]wD[]
#pragma pack(8) g(hOg~S\E
sL^ yB
struct s1{ <
< Y}~N
short a; + K~NV?c
long b; ^,8R,S\} $
}; Bh]!WMA w.
'Ot,H _pE
struct s2{ a|_p,_
char c; ~i~%~ doa
s1 d; @jy41eIo
long long e; K#mOSY;}
}; \7v)iG|#G&
Q2|p \rO
#pragma pack() _\8qwDg"#e
aP-<4uGx
问 S*
R,FKg
1.sizeof(s2) = ? 7 s Fz?` -
2.s2的s1中的a后面空了几个字节接着是b? 9 X}I>
G"dS+,Q
J
CG C
Y&.UIosWb
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： {b)~V3rsY
)2e#HBnH
网友rwxybh(行云)的答案： qu |i;WZE
内存布局是 ZC0-wr \
1*** 11** g"_C,XN
1111 **** <skajQQ
1111 1111 HMGB >
,IH b+ K
所以答案就是24和3 0?DC00O
EbY,N:LK
下面是一个测试的程序，试一试就知道了，我用的是VC2005 'g MfN
,&^3Z
#pragma pack(8) ,)FdRRj
aA'TD:&p1
struct s1{ s5&@Cxzl
short a; // 2 BYtes #*%q'gyHT
long b; // 4 Bytes Nw_@A8-r
}; w.{&= WTr
struct s2{ v-b0\_
char c; // 1 Byte lU Ovm\
s1 d; // 8 Bytes $md%x mQ[
long long e; // 8 Bytes H^%l Dz
}; L1{GL #qV
// 1*** 11** *fMpZ+;[m
// 1111 **** AyKMhac
// 1111 1111 ?~e3 &ux
// fwR_OB: $
J3RB]O_
// 00 01 02 03 04 05 06 07 <O<LYN+(
// 00 01 02 03 04 05 06 07 (!L5-8O
// 00 01 02 03 04 05 06 07 4u;9J*r4
// * /qtzt
#pragma pack() YI RZ+H<Q
(N-RIk73/O
int main(int argc, char* argv[]) 13k
!'P
{ !^oV #
s2 a; g|X ;ahTT
char *p = (char *)&a; fr iWW ^
for(int i=0;i<24;++i) M~e0lg8
p = (char)(i%8); k%c{E TdE
printf("%d\n",sizeof(a)); d UrElXbXd
printf("c=0x%lx\n",a.c); ;|T!#@j
printf("d.a=0x%x\n",a.d.a); &)d$t'7 p
printf("d.b=0x%x\n",a.d.b); BR`ygrfe
printf("e=0x%llx\n",a.e);
df}r% i
return 0; y&~w2{a
} Vv.r8IGYm
结果： :ue:QSt(u
24 * |.0Myjo
c=0x0 g mKGy@]
d.a=0x504 =W bOwI)u
d.b=0x3020100 nQX+pkJ
e=0x706050403020100 (IqZ@->nw
(& "su3z
hXI ro
网友 redleaves (ID最吊的网友)的答案和分析： HAz By\M{
|077Sf |
如果代码: s9;#!7 ms
#pragma pack(8) ^n Jyo:DO;
struct S1{ {PP9$>4`l
char a; Yf,K#' h:
long b; >eQr<-8
}; GYxM0~:$k
struct S2 { 8H,4kY?Z
char c; ]B"'}%>ez
struct S1 d; e~%
;K4
long long e; -&x2&WE'
}; 1/ 1Xk,E
#pragma pack() 'VyM{:8
sizeof(S2)结果为24. Bs+(L [Z
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 9_ s6l
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. XgN` 7!Z
H`bSYjgM!
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; K%<j=c
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. g6@Fp7T
a b c .3ZXqpI;
S1的内存布局：11**,1111, G@FI0\t
c S1.a S1.b d oBQ#eW aY
S2的内存布局：1***,11**,1111,****11111111 p^<yj0Y
fqX"Lus `=
这里有三点很重要: y.5/?{GL
1.每个成员分别按自己的方式对齐,并能最小化长度 00I}o%akO
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 Ars687WB
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 E1dD7r\
^'CPM6J
n~"$^Vr
网友xue23(xue23) 的答案和分析： <?-Y TY|
`g8E1-]l
有程序查一下各个变量的内存地址得知： f0<hE2
各个变量在内存中的位置为 fH`P[^N
c***aa** =ph&sn$;L
bbbb**** ,g-EW
jN
dddddddd rk+#GO{
测试代码为： +;$oJJ
s2 ss; ](tx<3h
cout << "ss.c = " << &ss << endl ; {2/LRPT
cout << "ss.d.a = " <<&ss.d.a << endl; /kL $4CA
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 5$DHn ]
print out 各个变量的内存地址不就可以看出来了吗。 q"O.Cbk
|b-9b&
所以答案是24,2. `p;eIt
0q>P~] Ow
但是我的想像中应该是这样的分布情况： !CX t*/~
c******* _Jwq`]Z
aa**bbbb '1,,)U#6E
dddddddd 5w %_$x
=U8a ?0
不知为什么会c和a放在一起，组成8位长度。
