Intel和微软同时出现的C语言面试题 6/ 5c|
#pragma pack(8) xxs
+=.2
&wlD`0v
struct s1{ G2N0'R"
short a; 8SU0q9X.
long b; 0uD3a-J
}; 'Y @yW3K
S(CkA\[rz
struct s2{ SZXSVz0j
char c; 6:wk=#w
s1 d; rmggP(
long long e; 2pmj*Y3"8
}; K&&T:'=/
3ibQbk
#pragma pack() {X<g93
j5D Cc,s
问 C7F\Y1Wj
1.sizeof(s2) = ? OCu_v%G0
2.s2的s1中的a后面空了几个字节接着是b? gbYM1guiD
`^#4okg]
=~J VU
iDcTO}
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: JkN*hm?
o@N[O^Q
V
网友rwxybh(行云)的答案: _`p-^I
内存布局是 C[.Xi
1*** 11** f3Zf97i
1111 **** c/ImK`:)4a
1111 1111 v {r %/*
$gnrd~v4e
所以答案就是24和3 4`"}0:t.
9<0yz?b':
下面是一个测试的程序,试一试就知道了,我用的是VC2005 8H-yT1
c
$r"q :\
#pragma pack(8) E[#VWM
I
0R? @JC
struct s1{ 7k,BE2]"
short a; // 2 BYtes Y=|p}>.}
long b; // 4 Bytes %\HE1d5;
}; fZpi+I
struct s2{ J:"@S%gy%
char c; // 1 Byte <[n:Ij
s1 d; // 8 Bytes 05{}@tW-
long long e; // 8 Bytes =v^#MU{k?
}; C-S>'\|8
// 1*** 11** k62s|VeU
// 1111 **** VoYL}67c
// 1111 1111 C)R hld
// y;CX)!8
pYzop4
// 00 01 02 03 04 05 06 07 dhA~Yu
// 00 01 02 03 04 05 06 07 2]?=\_T
// 00 01 02 03 04 05 06 07 LZ_0=Xx%
// )#z{P[X^
#pragma pack() 7b08Lo7b
ZHjL8Iq
int main(int argc, char* argv[]) ,9d]-CuP;
{ ECA<%'$?E
s2 a; cH*")oD
char *p = (char *)&a; @.$-
^-
for(int i=0;i<24;++i) &xB*Shp,B
p = (char)(i%8); w>cqsTq
printf("%d\n",sizeof(a)); Wcc4/:`Hu
printf("c=0x%lx\n",a.c); [uGsF0#e
printf("d.a=0x%x\n",a.d.a); T8Mqu`$r
printf("d.b=0x%x\n",a.d.b); u;
KM[FmK
printf("e=0x%llx\n",a.e); f6K.F
return 0; .xwskzJ3
} sQA_ 6]`
结果: , @UOj=
24 'WhJ}Uo\
c=0x0 $%cHplQz5
d.a=0x504 C{m%]jKH
d.b=0x3020100 x5MS#c!7
e=0x706050403020100 wdP(MkaV
e(/F:ZEh
j24 3oD
网友 redleaves (ID最吊的网友)的答案和分析: M1WD^?tKQ.
aOd#f:{y
如果代码: gIz!~I_U
#pragma pack(8) 4 @{?4k-cq
struct S1{ Q;VuoHj!
char a; R 39_!
long b; OS;
T;
}; 'I/_vqp@
struct S2 { gZ^Qt.6Z
char c; WN=0s
struct S1 d; -GFZFi
long long e; v]{UH{6
}; >nSt<e
#pragma pack() BZ:tVfg.
sizeof(S2)结果为24. LWJ ?p-X
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 9x@|%4Zm"
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. $2h%IK>#G
Gu~*ZKyJ
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; {,sqUq (
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. Godrz*"
a b 3<W%z]k@M
S1的内存布局:11**,1111, :6lv X$
c S1.a S1.b d
iiQn/%
S2的内存布局:1***,11**,1111,****11111111 _xv3UzD
exhU!p8
这里有三点很重要: @T\n@M]
1.每个成员分别按自己的方式对齐,并能最小化长度 _Z[0:4
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 z5$Q"Y.D
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 A`Dx]y
h97#(_wV>
6qZ\^ U
网友xue23(xue23) 的答案和分析: A811VL^
ErNYiYLi]
有程序查一下各个变量的内存地址得知: Oq.ss!/z
各个变量在内存中的位置为
gEj#>=s
c***aa** *KvD$(ny
bbbb**** c$ZVvu
dddddddd e9[72V
测试代码为: oV:oc,
s2 ss; lcZ.}
cout << "ss.c = " << &ss << endl ; Ll|_Wd.K,
cout << "ss.d.a = " <<&ss.d.a << endl; yV8J-YdsG
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; oVy{~D=
print out 各个变量的内存地址不就可以看出来了吗。 t>cGfA
4`#Q
所以答案是24,2. p@G7}'|eyA
DD$>3`
但是我的想像中应该是这样的分布情况: G@H!D[wd
c******* AVpg
aa**bbbb g&FTX>wX
dddddddd v~Q'm1!O4\
7_i8'(``
不知为什么会c和a放在一起,组成8位长度。