Intel和微软同时出现的C语言面试题 %7[q%S
#pragma pack(8) lvx[C7?
Rj3ad 3z'E
struct s1{ KAgxIz!^-1
short a; .uSVZqJ7
long b; _ rg*K
}; ?[;>1+D
liM w( F2
struct s2{ N}nE?|N=5
char c; o)n= n!A
s1 d; 7{\6EC}d[&
long long e; ~r_2V$sC2
}; TE: |w
Xe
kB.CeG]tk
#pragma pack() 2!R+5^Iy
2~R%_r+<
问 5Q\ hd*+g
1.sizeof(s2) = ? wjXv{EsMq
2.s2的s1中的a后面空了几个字节接着是b? 3L36
2
!v8](UI8-
B=~uJUr
=b, m3 1
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： m d `=2l
zkquXzlgB
网友rwxybh(行云)的答案： >qBJK)LHOv
内存布局是 ~n$\[rQ
1*** 11** Ehxu`>@N
1111 **** tUt_Q;%yC
1111 1111 p3> Md?e
Tp|>(~;ai
所以答案就是24和3 Y]7 6y>|e
9N<=,!;5~s
下面是一个测试的程序，试一试就知道了，我用的是VC2005 4'TssRot@h
^B1$|C
D,
#pragma pack(8) >pp#>{}
@,9YF }
struct s1{ Z/T( 4
short a; // 2 BYtes KciN"g|X
long b; // 4 Bytes Ckc5;:b&m
}; kj6H+@
{
struct s2{ H>o \C
char c; // 1 Byte %|j8#09
s1 d; // 8 Bytes O`5h j q#
long long e; // 8 Bytes \ AIFIy
}; h^
K]ASj
// 1*** 11** [N#4H3GM8
// 1111 **** f [
KI
T
// 1111 1111 o/ 7[
G
// ^#IE
t#
34Cnbtq^
// 00 01 02 03 04 05 06 07 P&Uj?et"
// 00 01 02 03 04 05 06 07 )x~ /qHt
// 00 01 02 03 04 05 06 07 $ w+.-Tr
// =sAU5Ag68
#pragma pack() GS7'pTsYH
:5BCW68le
int main(int argc, char* argv[]) }1 %% `
{ T$<yl#FY
s2 a; r-*j"1 e
char *p = (char *)&a; N.0g%0A.D
for(int i=0;i<24;++i) zXU
g( xu
p = (char)(i%8); @vB-.XU
printf("%d\n",sizeof(a)); jz]}%O
printf("c=0x%lx\n",a.c); ahQY-%>
printf("d.a=0x%x\n",a.d.a); 4j8$& ~/
printf("d.b=0x%x\n",a.d.b); {pA&Q{ ^
printf("e=0x%llx\n",a.e); mi.,Z`]o
return 0; 3@:O1i
} MkhD*\D
/
结果： )+DDIq
24 -2(?O`tZ
c=0x0 IMB jI#\
d.a=0x504 -+M360
d.b=0x3020100 o)>iHzR</
e=0x706050403020100 i"x V=.
{> <1 K6t
7XLqP
网友 redleaves (ID最吊的网友)的答案和分析： 5S, Kq35$(
3=^)=yOd
如果代码: C"$ ~w3A k
#pragma pack(8) *l;S"}b*,_
struct S1{ Xk/i yp/
char a; ~y?Nn8+&f
long b; #oR`_Dm)P
}; \XYidj
struct S2 { g"k4Z
char c; B:Ft(,
struct S1 d; a
9{:ot8,
long long e; 1)jea wVmj
}; `SOQPAnK+;
#pragma pack() _RU L$Ds
sizeof(S2)结果为24. ^*.+4iH x
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 4HR36=E6
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. ' Ttsscv
3l ,-n|x
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; *8uS,s6g
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ecQ{ePoU
a b r
d-yqdJ
S1的内存布局：11**,1111, g {i= $xc
c S1.a S1.b d 5IOGH*'U8
S2的内存布局：1***,11**,1111,****11111111 wGw~ F:z
}+bo?~2E&
这里有三点很重要: dJ#go*Gn
1.每个成员分别按自己的方式对齐,并能最小化长度 >3pT).wH|M
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 TOF V`7q;3
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 RwYFBc
/!^,+
*^Ges;5 $"
网友xue23(xue23) 的答案和分析： 9bM kP2w>
4c95G^dZ
有程序查一下各个变量的内存地址得知： UCK;?]
各个变量在内存中的位置为 0[M2LF!m
c***aa** =[&+R9s
bbbb**** /H"fycZ
dddddddd )Tp"l"(G
测试代码为： @;$cX2
s2 ss; :CK`v6 Qs
cout << "ss.c = " << &ss << endl ; D B65vM
cout << "ss.d.a = " <<&ss.d.a << endl; ,|3_@tUl
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; ?o$ t{AQ
print out 各个变量的内存地址不就可以看出来了吗。 OzD\* ,{7
W h)
所以答案是24,2. U\B 9Ab
_P!b0x~\
但是我的想像中应该是这样的分布情况： u$C\#y7
c******* ok0ZI>=,
aa**bbbb J*MH`;-
dddddddd a/J Mg
0nL
#-`S
不知为什么会c和a放在一起，组成8位长度。
