Intel和微软同时出现的C语言面试题 .
Z.) t
#pragma pack(8) !GLz)# SBl
+"c q(Y@
struct s1{ (k) l= ]`}
short a; 6) -X
long b; 57zSu3v4Y
}; [los dnH^?
5JCG2jqx0
struct s2{ y8L D7<1u
char c; wrbLDod /
s1 d; Z&4&-RCi
long long e; {fF3/tL
}; k*E\B@W>
)-
viGxJ@
#pragma pack() iH@yCNE"
VsgE!/>1
问 X4AyX. p
1.sizeof(s2) = ? ZP *q4:
2.s2的s1中的a后面空了几个字节接着是b? sCi s4gX.]
2`>T oWN!
9 {}1r2xW
wEE\+3b)
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： #Jn_c0
?R Oqn6k&c
网友rwxybh(行云)的答案： ~\.w^*$#Y
内存布局是 ^3{TZ=_;|
1*** 11** N# 7QzB9]
1111 **** ;04Ldb1{|3
1111 1111 e8]\U/
Rhz_ t@e
所以答案就是24和3 W?aI|U1
RGg (%.
下面是一个测试的程序，试一试就知道了，我用的是VC2005 S\5bmvqP"
B}?5]N==]
#pragma pack(8) (
Qcp {q
~ !
3I2
struct s1{ "
'6;/N
short a; // 2 BYtes qT"Q1xU[
long b; // 4 Bytes Bck7\
}; | 8=nL$u
struct s2{ , :`4%
char c; // 1 Byte a1.Ptf eW|
s1 d; // 8 Bytes _$f9]bab
long long e; // 8 Bytes ]*FVz$>XM
}; U,gti,IX^
// 1*** 11** P h}|dGb
// 1111 **** YZ7|K<
// 1111 1111 8`
@G; o
// W4e5Rb4~f"
!n$tr
// 00 01 02 03 04 05 06 07 Av SM ^
// 00 01 02 03 04 05 06 07 .J.-Mm` .
// 00 01 02 03 04 05 06 07 Zh*u(rO
// Z@&D ki
#pragma pack() 1_
C] *p
%1O [i4s:-
int main(int argc, char* argv[]) H5]^
6
HwX
{ (+u39NQV
s2 a; J-)
XQDD
char *p = (char *)&a; \XM^oE#G
for(int i=0;i<24;++i) $dzy%lle
p = (char)(i%8); D]W$?( =4
printf("%d\n",sizeof(a)); 9}uW}y J
printf("c=0x%lx\n",a.c); )\be2^p
printf("d.a=0x%x\n",a.d.a); bH2MdU
printf("d.b=0x%x\n",a.d.b);
8 <7GdCME
printf("e=0x%llx\n",a.e); YoLx> 8
return 0; ,0~9dS
} :l&V]}:7*
结果： < Ib[82PU
24 4RV%Z!kcD!
c=0x0 ^;maotHn
d.a=0x504 {g~bQ2wDC
d.b=0x3020100 uN^=<B?B
e=0x706050403020100 S h,&{z!
;VNMD 6H
OhmQ,
网友 redleaves (ID最吊的网友)的答案和分析： 199]W Hc
}X_;X_\3;'
如果代码: T4 N~(Fi)
#pragma pack(8) R8UYP=Kp
struct S1{ )aao[_ZS
char a; VX+jadYdq
long b; ?wF'<kEH
}; | ),'9
struct S2 { +s x 8t
char c; M=*bh5t%]
struct S1 d; x ^y" <
long long e; qYf |Gv
}; "/6:6`J
#pragma pack() =w5O&(
sizeof(S2)结果为24. U_$qi
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ZA9sTc[
g
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. )d-.M
:%AL\ n
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; sf| ke9-3
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. " zY](P
a b ND,Kldji
S1的内存布局：11**,1111, zBp{K@U[|M
c S1.a S1.b d
"t$k
S2的内存布局：1***,11**,1111,****11111111 f\1A! Yp
e)IpPTj#
这里有三点很重要: 3ZZV<SS
1.每个成员分别按自己的方式对齐,并能最小化长度 i Q6epg1wB
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 lz0TK)kuC
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 TO*BH^5R
.R8 HZ}3
$DC*i-}qFg
网友xue23(xue23) 的答案和分析： CWG6;NT6m
wHv]ViNvXE
有程序查一下各个变量的内存地址得知： 3bd5FsI^pU
各个变量在内存中的位置为
|R@~-Ht
c***aa** ~h=X8-D
bbbb**** ',4x$qe
dddddddd ZBG}3Z
测试代码为： G633Lm`ri
s2 ss; Xy5s^82?
cout << "ss.c = " << &ss << endl ; #:|+XLL
cout << "ss.d.a = " <<&ss.d.a << endl; 9F-
)r'
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 'snn~{hG
print out 各个变量的内存地址不就可以看出来了吗。 Z!&Rr~i
<
[;. ` ,/
所以答案是24,2. a7/-wk
a=$t &7;,
但是我的想像中应该是这样的分布情况： gx:;&4AD
c******* lvpc*d|K
aa**bbbb *tX{MSYW
dddddddd 9Sq%s &
%q322->Z
不知为什么会c和a放在一起，组成8位长度。
