Intel和微软同时出现的C语言面试题 `$9sYv 2R
#pragma pack(8) FEO /RMh
a$5P\_
struct s1{ 7Ucq(,\./
short a; +O)Y7k{?C5
long b; J(: y-U
}; Mi } .
/5Sd?pW;
struct s2{ \<HY'[gr
char c; ||))gI`3a
s1 d; &^7(?C' u
long long e; R2A#2{+H
}; X4<Y5?&0
{TZV^gT4
#pragma pack() '!F' B:
6HZVBZhM
问
nT%ko7~-
1.sizeof(s2) = ? >qVSepK3
2.s2的s1中的a后面空了几个字节接着是b? (<}BlL
"vX\Q rL
8+ ]'2{
vSy[lB|)24
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： w6h*dh$w
@ qS Z=
网友rwxybh(行云)的答案： / E!N:g<
内存布局是 7h.fT`
1*** 11** @)C.IQ~
1111 **** `pjB^--w
1111 1111 w*]FJ-b<.j
HQN pf1=D
所以答案就是24和3 [tR b{JsUd
6 ZAZJn|
下面是一个测试的程序，试一试就知道了，我用的是VC2005 P Q{5*}$N
CQPq5/@Y4
#pragma pack(8) XE]"RD<z
\&l@rMD3s
struct s1{ &smZ;yb|'h
short a; // 2 BYtes !4T!@"#
long b; // 4 Bytes m8V}E& 6
}; lL&U
ioo}D
struct s2{ s!S_Bt):3
char c; // 1 Byte g4y& 6!g
s1 d; // 8 Bytes R9 Y@I
long long e; // 8 Bytes ];'7~",Y
}; z 8XWp[K
// 1*** 11** /I((A /ks
// 1111 **** yp[,WZt
// 1111 1111 9o4h~Imu
// 1xr2x;
(I#mo2
// 00 01 02 03 04 05 06 07 BT`g'# O
// 00 01 02 03 04 05 06 07 G)q;)n;*=
// 00 01 02 03 04 05 06 07 ia (&$a8X
// :cf# Tpq"
#pragma pack() K)
Ums-b
!L@<?0x LW
int main(int argc, char* argv[]) Bg ] %
{ Ldj*{t `5
s2 a; x S:n
char *p = (char *)&a; 0cDP:EzR;
for(int i=0;i<24;++i) L pL$ =9
p = (char)(i%8); fv@<
printf("%d\n",sizeof(a)); /= T:W*C
printf("c=0x%lx\n",a.c); K { FZ/
printf("d.a=0x%x\n",a.d.a); a;v4R[lQ
printf("d.b=0x%x\n",a.d.b); w IP4 Z^
printf("e=0x%llx\n",a.e); \._|_+HiW
return 0;
2C1NDrS;}
} %P{3c~?DH
结果： 3 /PvH E{R
24 ` Z/ MQ
c=0x0 z4~p(tl
d.a=0x504 (L1F ],Au
d.b=0x3020100 >_\[C?8
e=0x706050403020100 4*D"*kR;
/2
hk 9XM
V/: 2x T
网友 redleaves (ID最吊的网友)的答案和分析： 9 r&JsCc
~iv OSr7s}
如果代码: O"/Sv'|H#
#pragma pack(8) IT)3Et@Y
struct S1{ C#4_`4{
char a; o@7U4#E
long b; c%bzrYQvA;
}; !{ {gL=_@
struct S2 { cRuN;
char c;
RehraY3q
struct S1 d; J .VZD
long long e; ?z <-Ww
}; rL&Mq}7QK
#pragma pack() nt+OaXe5D
sizeof(S2)结果为24. ^ g|VZN
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ~ @ )s)K
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. /[D_9
U8 2mO+}
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; *G7cF
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. P -nhG
a b 0\vG
<
S1的内存布局：11**,1111, N'-[>w7vK2
c S1.a S1.b d U$<"
. q
S2的内存布局：1***,11**,1111,****11111111 .ANR|G
hSR+7qN<e
这里有三点很重要: 2P)O
0j\/
1.每个成员分别按自己的方式对齐,并能最小化长度 `uUzBV.FR
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度
jr_z
?
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 "*.N 'J\
zsd 1n`r
6}?d % K
网友xue23(xue23) 的答案和分析： p:K%-^
4 ob W>
有程序查一下各个变量的内存地址得知： \gB ~0@[\7
各个变量在内存中的位置为 #r]Z 2Y]
c***aa** .)_2AoT7[
bbbb**** ~#jiX6<I
dddddddd 7Xu# |k
测试代码为： zA8@'`Id
s2 ss; wpN3-D
cout << "ss.c = " << &ss << endl ; fISK3t/=C
cout << "ss.d.a = " <<&ss.d.a << endl; _ilitwRN3
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; %Zbm%YaW5
print out 各个变量的内存地址不就可以看出来了吗。 /PeT4hW}
eU@Mv5&6
所以答案是24,2. |Tc4a4 jS
gBi3^GxjM?
但是我的想像中应该是这样的分布情况： 9 Li*L&B)
c******* =>B"j`oR
aa**bbbb E5@ =LS
dddddddd xO Aq!, |V
vq^';<Wh.
不知为什么会c和a放在一起，组成8位长度。
