Intel和微软同时出现的C语言面试题 {P' TtlEp
#pragma pack(8) R 7'a/
3&*_5<t\X
struct s1{ "YIrqk
short a; \;"$Z 9W
long b; Bvbv ~7g (
}; 'E sN{.l ?
& V. ps1
struct s2{ F_8 <
tA6
char c; .}KY*y
s1 d; +( >!nsf
long long e; 45cMG~]p
}; f<!3vAh
fBgW0o.Bu
#pragma pack() ^T}6o Ud
FmU>q)
问 8u+FWbOl]
1.sizeof(s2) = ? iTb k ]$
2.s2的s1中的a后面空了几个字节接着是b? :\
% .x3T'
6U{& `8C
If yyA
<@;Y.76~
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： Rg/*)SKj
:H}a/ x*ur
网友rwxybh(行云)的答案： 6.]x@=Wm
内存布局是 1PwqW g-\\
1*** 11** ]<3$Sx_{y
1111 **** Ave{ `YD
1111 1111 C[cNwvz
NzRpI5\.
所以答案就是24和3 BIx Z4Ft
gHU/yi!T
下面是一个测试的程序，试一试就知道了，我用的是VC2005 XS!mtd<q
5o2W[< %v
#pragma pack(8) TF)OBN~/
wd4wYk\
struct s1{ h/9{E:ML
short a; // 2 BYtes 4J lB\8rc
long b; // 4 Bytes l.tNq$3pS
}; 6mH0|:CsY
struct s2{ 7nh,j <~;2
char c; // 1 Byte H^Th]-Zl
s1 d; // 8 Bytes 2LpJ xV
long long e; // 8 Bytes m @K5eh
}; y @&Cn
// 1*** 11** ym,UJs&
// 1111 **** )"j)9 RQ}
// 1111 1111 fX)C8J^=G
// cO$
PK
wKe$(>d "L
// 00 01 02 03 04 05 06 07 M[wd.\
%
// 00 01 02 03 04 05 06 07 76i)m!
// 00 01 02 03 04 05 06 07 (h8M
// 3EGQ $
#pragma pack() @=KuoIV
+8+@Az[e0
int main(int argc, char* argv[]) 2FHWOy
/N@
{ 8=
jl]q$<
s2 a; e=b>:n
char *p = (char *)&a; f<.43kv@
for(int i=0;i<24;++i) 4 z~ fn9g
p = (char)(i%8); 5B+>28G%
printf("%d\n",sizeof(a)); >Le L%$
printf("c=0x%lx\n",a.c);
x Bn+-V
printf("d.a=0x%x\n",a.d.a); Qz* !jwg
printf("d.b=0x%x\n",a.d.b); H ]BH
printf("e=0x%llx\n",a.e); Yh%a7K
return 0; zo*YPDEm"
} wRw TN"Yg
结果： y#\jc4F_a
24 $Iuf(J-5[
c=0x0 p"9a`/
d.a=0x504 yRQR @
d.b=0x3020100 PZn[Yb:
e=0x706050403020100 i?R+Ul` Q
xpo<1Sr>S
=
;sEi:HC
网友 redleaves (ID最吊的网友)的答案和分析： (; 1FhIi&
:[#g_*G@p
如果代码: imcq
H
#pragma pack(8) cU\Er {
k
struct S1{ <{rRcFR
char a;
t#s?:
long b; Y,O )"6ev
}; R:+2}kS5e{
struct S2 { %U]_1"d,<\
char c; ,fS }c pV
struct S1 d; 3`@al hD'
long long e; ( yk^%
}; 7. 4Q
#pragma pack() x\ieWF1
sizeof(S2)结果为24. O[ O`4de9
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 5m,{?M`
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. )zK`*Fa
az
neW_mu;~Z
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 8y;W+I(71
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. <1tFwC|4BJ
a b *hI
S1的内存布局：11**,1111, A|sTnhp~
c S1.a S1.b d i_OoR"J%
S2的内存布局：1***,11**,1111,****11111111 V|.3Z\(
5>.)7D%
这里有三点很重要: [uxhdR`T
1.每个成员分别按自己的方式对齐,并能最小化长度 wT?.Mte
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 G)28#aH
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 $YvT*
T$_
8zew8I~s
G%N/]]ll
网友xue23(xue23) 的答案和分析： BXgAohg!
/E'c y
有程序查一下各个变量的内存地址得知： h?wNmLre
各个变量在内存中的位置为 ]=v_u9;
c***aa** td^2gjr^5
bbbb**** !4uTi [e
dddddddd (uG.s %I
测试代码为： QF/A-[V
s2 ss; 3nt&Sf
cout << "ss.c = " << &ss << endl ; =PXQ X(_
cout << "ss.d.a = " <<&ss.d.a << endl; n`"; ctQT
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; fs a
print out 各个变量的内存地址不就可以看出来了吗。 D8P<mIu}Y
`_Bvae j?,
所以答案是24,2. |H e,v/r
l,}{Y4\G
但是我的想像中应该是这样的分布情况： KE\p|X i
c******* &.ZW1TxE8
aa**bbbb D$g|f[l
dddddddd $M\|zUQu.
g ]|K@sm
不知为什么会c和a放在一起，组成8位长度。
