Intel和微软同时出现的C语言面试题 gd~# uR\
#pragma pack(8) [C)JI; \
>_3+s~
struct s1{ 2$8#ePyq*
short a; .kO!8Q-;%
long b; %n<u- {`
}; MRzrZZ%LQ
Q"UWh~
struct s2{ ^6*LuXPv
char c; HZ$q`e
s1 d; gG;d+s1
long long e; 6- H81y 3
}; V\k?$}
oNV5su
#pragma pack() V_Owi5h
S}zh0`+d'Z
问 pAwmQS\W
1.sizeof(s2) = ? C1
qyjlR
2.s2的s1中的a后面空了几个字节接着是b? a&yIH;-
XEd|<+P1
%si5cc ?
+[l52p@ a
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： V. sIiE
~I^}'^Dbb
网友rwxybh(行云)的答案： 1eG@?~G
内存布局是 6n9;t\'Gt
1*** 11** -P!_<\q\l
1111 **** TUeW-' /1
1111 1111 e~7h8?\.q
{)^P_zha[9
所以答案就是24和3
DtBIDU]
}q0lbwYlb
下面是一个测试的程序，试一试就知道了，我用的是VC2005 yP :/F|E$
/ 0 |niiI
#pragma pack(8) 2I!STP{ !l
/+pPcK
struct s1{ wFr}]<=Mi
short a; // 2 BYtes HA}pr6Z
long b; // 4 Bytes ]KX _a1e
}; <a>\.d9#)7
struct s2{ $,+'|_0yM
char c; // 1 Byte A/kRw'6
s1 d; // 8 Bytes cp|&&q
long long e; // 8 Bytes ![O @{/
}; IEb"tsel
// 1*** 11** .:eNL]2%:
// 1111 **** ]V9z)uz
// 1111 1111 .BLF7>
M1
// fn eg[K
:v/6k
// 00 01 02 03 04 05 06 07 ![H!Y W'
// 00 01 02 03 04 05 06 07 {,r7dxI)`
// 00 01 02 03 04 05 06 07 JM8 s]&
// gR `: )>
#pragma pack() d \nBc6
oYWcX9R
int main(int argc, char* argv[]) U'i L|JRF
{ .hh 2II
s2 a; Up|\&2_
char *p = (char *)&a; ZB-+ bY
for(int i=0;i<24;++i) -"L)<J@gQ?
p = (char)(i%8); D 7Y5q*F
printf("%d\n",sizeof(a)); <&' Y e[k
printf("c=0x%lx\n",a.c); Q C:/xP
printf("d.a=0x%x\n",a.d.a); R#Z1+&='
printf("d.b=0x%x\n",a.d.b); iR-MuDM
printf("e=0x%llx\n",a.e); 13s0uyYU<m
return 0; YM9oVF-
} Q
! 5P
结果： Ed/@&52z0
24 {b@rQCre7
c=0x0 am I$0
d.a=0x504 /Cd`h ;#@
d.b=0x3020100 ],r?]>
e=0x706050403020100 "i$uV3d
-C$Z%I7 0
/*GR E#7S
网友 redleaves (ID最吊的网友)的答案和分析：
[kqx C
S fE^'G\
如果代码: W-Cf #o
#pragma pack(8) >/Z#{;kOz
struct S1{ Meh?FW||5
char a; A%u@xL,_
long b; v | /I N
}; +4emkDTdR
struct S2 { U4#[>*
char c; \~xOdqF/
struct S1 d; {aq\sf;i{
long long e; 4%WV)lt
}; G+ =6]0HT
#pragma pack() ;K?fAspSH
sizeof(S2)结果为24. U5mec167
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 0|X!Uw-Q%_
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. 2tvMa%1^
?MhRdY
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8;
uh`@ qmu)
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ;_ 0)f
a b d#T8|#O"
S1的内存布局：11**,1111, P[{w23`4
c S1.a S1.b d #)%N+Odnr
S2的内存布局：1***,11**,1111,****11111111 zOq~?>Ms6
)@Yp;=l
这里有三点很重要: f}bUuQrH-!
1.每个成员分别按自己的方式对齐,并能最小化长度 Y_ `D5c:
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 `$`:PT\Zv4
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 {+[~;ISL
Yt*M|0bL
R IX0AE
网友xue23(xue23) 的答案和分析： xJ9_#$ngeM
96F:%|yG
有程序查一下各个变量的内存地址得知： @18@[ :d"
各个变量在内存中的位置为 xM%E;
c***aa** ( 5 d ~0
bbbb**** lwLK#_5u
dddddddd bxP >
测试代码为： q{f%U.
s2 ss; s<qSelj
cout << "ss.c = " << &ss << endl ; : o$ R@l
cout << "ss.d.a = " <<&ss.d.a << endl; @u/< ^j3Q
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 1G|Q~% cv
print out 各个变量的内存地址不就可以看出来了吗。 XzQ=8r>l
c>K/f7
所以答案是24,2. Xj$J}A@
|aN0|O2
但是我的想像中应该是这样的分布情况： > c 7/E
c******* fRT:@lV
aa**bbbb bi!4I<E>k
dddddddd SP sq][5eR
l3}n.ODA
不知为什么会c和a放在一起，组成8位长度。
