Intel和微软同时出现的C语言面试题 N|N3x7=gs
#pragma pack(8) qgIb/6;xQ
+gd4\ZG
struct s1{ r={c,i
short a; $rIoHxh. y
long b; z]B]QB
Y[
}; f()FY<b
$`ZzvZ'r
struct s2{ K 0gI):
char c; z>sbr<doa
s1 d; L`f^y;Y.
long long e; U,#yqER'r
}; > fnh+M
x:-.+C%
#pragma pack() Z4<L$i;/jN
A?_ =K
问 L86n}+
P\
1.sizeof(s2) = ? E )Gw0]G
2.s2的s1中的a后面空了几个字节接着是b? 2M#M"LHo
Q!-
0xlx
<,o>Wx*1C
W} WI; cI
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: Lbe\@S
.2d9?p3Y
网友rwxybh(行云)的答案: :w}{$v}#D;
内存布局是 T134ZXqqz
1*** 11** ojYbR<jn9
1111 **** Xq'cA9v=$J
1111 1111 sn7AR88M;
f}g\D#`]/
所以答案就是24和3 Lg8nj< TF
*I}`dC[
下面是一个测试的程序,试一试就知道了,我用的是VC2005
'iLpE7
db'/`JeK
b
#pragma pack(8) afjtn_IB
!.2<| 24
struct s1{ 8.F~k~srA
short a; // 2 BYtes *6HTV0jv
long b; // 4 Bytes "KcA
}; n>@oBG)!
struct s2{ >WY#4
char c; // 1 Byte DN4$Jva
s1 d; // 8 Bytes r0p w_j
long long e; // 8 Bytes YK|bXSA[
}; [MuEoWrq(}
// 1*** 11** wFG3KzEq ~
// 1111 **** U
qG
.:@T
// 1111 1111 +`3!I
// V_plq6z
\fr-<5w7 9
// 00 01 02 03 04 05 06 07 ^C2\`jLMY
// 00 01 02 03 04 05 06 07 gV&z2S~"
// 00 01 02 03 04 05 06 07 +`?Y?L^
J
// Y*mbjyt[?X
#pragma pack() ge]STSM0n7
hiNEJ_f
int main(int argc, char* argv[]) SG6sw]x
{ j*~T1i
s2 a; L^Jk=8
char *p = (char *)&a; VfT*7_
for(int i=0;i<24;++i) ~-wPP{!
p = (char)(i%8); j xYc2
printf("%d\n",sizeof(a)); %,+leKs
printf("c=0x%lx\n",a.c); k,euhA/&
printf("d.a=0x%x\n",a.d.a); oK 6(HF'&
printf("d.b=0x%x\n",a.d.b); f/CuE%7BR
printf("e=0x%llx\n",a.e);
4CGPOc
return 0; ^eW}XRI
} J\e+}{
结果: JN7k 2]{
24 !^Q.VYY
c=0x0 @&[T _l
d.a=0x504 Y@PI {;!
d.b=0x3020100 /x3/Ubmz~x
e=0x706050403020100 {Zp\^/
asJ)4ema
L(X6-M:
网友 redleaves (ID最吊的网友)的答案和分析: KK@.~'d
ZvcJK4hi
如果代码: g-Pwp[!qkf
#pragma pack(8) Web|\CH
struct S1{ OyqNLR
char a; y"Nsh>h
long b; a#c6[!
}; ^ns@O+Fk
struct S2 { mrX^2SR
char c; EbqcV\Kb
struct S1 d; aL\nT XakX
long long e; j <o3JV
}; p!s}=wI`
#pragma pack() 8Jz:^k:
sizeof(S2)结果为24. #A]-ax?Qc}
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ZyEHzM{$
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. %vBhLaE
%#$EP7"J
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; ?McQr1
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. PTj&3`v
a b 2)j0Ai%
S1的内存布局:11**,1111, s3W@WH^.
c S1.a S1.b d {[+2n]f_G
S2的内存布局:1***,11**,1111,****11111111 ,^S@EDq
!0N7^Z"gtz
这里有三点很重要: iOG[>u0h
1.每个成员分别按自己的方式对齐,并能最小化长度 ;'-olW~
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 qc-mGmom L
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 OQ9x*TmK
M,ir`"s
C:G8c[
网友xue23(xue23) 的答案和分析: -,["c9'3
Iy }:F8F>g
有程序查一下各个变量的内存地址得知: 2.d| G`
各个变量在内存中的位置为 |{,KRO0P
c***aa** ^FnfJ:
bbbb**** n`4K4y%Dy}
dddddddd Q[#vTB$f
测试代码为: KM`eIw>8
s2 ss; }2ZsHM^]%
cout << "ss.c = " << &ss << endl ; Ko^c|}mh*!
cout << "ss.d.a = " <<&ss.d.a << endl; Vx @|O%
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; <x!GE>sf+
print out 各个变量的内存地址不就可以看出来了吗。 UUMtyf
>CkjUZu]&
所以答案是24,2. J!DF^fLe
IJ/sX_k
但是我的想像中应该是这样的分布情况: I2H6y"pN
c******* T6~_Q}6
aa**bbbb T7f ${
dddddddd HOBP`lf
hS9;k9w
不知为什么会c和a放在一起,组成8位长度。