Intel和微软同时出现的C语言面试题 *mp:#'
#pragma pack(8) Dnw^H.
L.'61ZU
struct s1{ YFm%W@
short a; @rbd`7$%
long b; /e>%yq<9B
}; e7;7TrB.
3oLF^^^g
struct s2{ q"2APvsvp
char c; Eu(QeST\
s1 d; z)C/U
long long e; EO)JMV?6
}; ({t^/b*8
K^fs#7
#pragma pack() zBy} > Jx
j_so s%-
问 #G]IEO$M6
1.sizeof(s2) = ? ;99oJD,
2.s2的s1中的a后面空了几个字节接着是b? Qpmq@iL
hE(R[hc
'/8/M{`s
aO<7a
6
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: Li5&^RAo|J
R*:$^v@4
网友rwxybh(行云)的答案: :38{YCN
内存布局是 O^~IY/[
1*** 11** $f3 IO#N
1111 **** Qa=Y?=Za
1111 1111 5]Rbzg2t
% vUU
Fub
所以答案就是24和3 y`n?f|nf
Q ")Xg:
下面是一个测试的程序,试一试就知道了,我用的是VC2005 J;_4
3eS
5m~9Vl-&
#pragma pack(8) Qz|T0\=V
@)h>vg
struct s1{ LMoZI0)x
short a; // 2 BYtes $t%IJT
long b; // 4 Bytes 95'+8*YCY
}; phu,&DS!
struct s2{ &q<k0_5Q
char c; // 1 Byte <CuUwv
'A
s1 d; // 8 Bytes ly`
A,dh
long long e; // 8 Bytes 4O-LLH
}; i,;JI>U
// 1*** 11** y5eEEG6
// 1111 **** vcu@_N 1Dc
// 1111 1111 fPD.np}
// " YI,
Y_[7q<L
// 00 01 02 03 04 05 06 07 yx|iZhK0:}
// 00 01 02 03 04 05 06 07 VrRF2(Kn?
// 00 01 02 03 04 05 06 07 ^o5;><S]
// q{&c?l*2
#pragma pack() MuD
? KK
*S*49Hq7c
int main(int argc, char* argv[]) -/?)0E
{ C1NU6iV^z
s2 a; %l!A%fn(
char *p = (char *)&a; hdw.S`~}%
for(int i=0;i<24;++i) 5.VPK 338A
p = (char)(i%8); RWR{jM]V
printf("%d\n",sizeof(a)); B{Vc-qJ
printf("c=0x%lx\n",a.c); >G|RVB
printf("d.a=0x%x\n",a.d.a); a^l)vh{+
printf("d.b=0x%x\n",a.d.b); NC~?4F[
printf("e=0x%llx\n",a.e);
gra6&&^"
return 0; %@C8EFl%3
} -OJ <Lf+"=
结果: dGk"`/@
24 |c0^7vrC
c=0x0 gamB]FPZ
d.a=0x504 2Jt{oh |
d.b=0x3020100 t4UK~ {gh
e=0x706050403020100 ;7s^slVzF
Zy7kPL;b
mQ`atFz:Z
网友 redleaves (ID最吊的网友)的答案和分析: )dfhy
@H`jDaB9
如果代码: %"r9;^bj&<
#pragma pack(8) WS[Z[O
struct S1{ L~PiDQr?r
char a; goiI*"6M
long b; q`p0ul,n
}; gN<7(F
struct S2 { VX8rM!3
char c;
VX&g[5zr
struct S1 d;
a k5D
long long e; ?S&
yF
}; m^XO77"
#pragma pack() H,TApF89A
sizeof(S2)结果为24. XFoSGqD
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. $H+X'1
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. ykbfK$jz
`5- ;'nX
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; JfkEJk<
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 2fkyz
a b =SmU;t>t/
S1的内存布局:11**,1111, r rfJs
c S1.a S1.b d <xeB9
S2的内存布局:1***,11**,1111,****11111111 pBe1:
%' WC7s
这里有三点很重要: VfzyBjQ
1.每个成员分别按自己的方式对齐,并能最小化长度 ffk>IOH
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 EoutB Vm
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 [nHN@p|
>dK0&+A
e+!xy&u@u
网友xue23(xue23) 的答案和分析: (L4llZ;q
JZ`u?ZaJ/s
有程序查一下各个变量的内存地址得知: c[2ikI,n[
各个变量在内存中的位置为 9j^rFG!n
c***aa** e~gNGr]L/
bbbb**** 'eBD/w5U
dddddddd bK }ZR*)
测试代码为: nW]CA~
s2 ss; $hCS-9%&
cout << "ss.c = " << &ss << endl ; +fY@q,`
cout << "ss.d.a = " <<&ss.d.a << endl; KsIHJr7-
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 8Ckd.HKpQ
print out 各个变量的内存地址不就可以看出来了吗。 ]0<K^OIY
>!Y#2]@}o
所以答案是24,2. *>?N>f"
pvl];w
但是我的想像中应该是这样的分布情况: 6@lZVM)E
c******* +cXi|Zf
aa**bbbb LsI@_,XW<
dddddddd ';\norx;
/zh:7N
不知为什么会c和a放在一起,组成8位长度。