Intel和微软同时出现的C语言面试题 Pf*6/7S:
#pragma pack(8) i]JTKL{\q
8:ubtB
struct s1{ Kb.qv)6i*
short a; D!<F^mtl
long b; wu41Mz7
}; vwCQvt
L.Y3/H_
struct s2{ 8Sbz)X
char c; [);oj<
s1 d; ZoW1Cc&p
long long e; z+"tAVB[i
}; uZqL'l+/y
X8Z?G,[H
#pragma pack() t*{L[c9.Uq
U( YAI%O
问 +&GV-z~o
1.sizeof(s2) = ? #NS|9jW
2.s2的s1中的a后面空了几个字节接着是b? ]z'&oz
=~D? K9o
KkvcZs'4m
L4By5)
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: <I+k B^ Er
dbp\tWaW
网友rwxybh(行云)的答案: om3
%\
内存布局是 E)"19l|}B
1*** 11** peQwH
1111 **** B}e/MlX3M
1111 1111 nzq
m4:c$5
所以答案就是24和3
~?ab_CY
3Cf9'C
下面是一个测试的程序,试一试就知道了,我用的是VC2005 t^s&1#iC
cc@W
6W
#pragma pack(8) LC%ococ
-IPo/?}
struct s1{ *t@A-Sn
short a; // 2 BYtes T(J'p4
long b; // 4 Bytes #mxOwvJ
}; !Sc"V.o@!
struct s2{ L^J4wYFTO
char c; // 1 Byte ]e>qvSuYh
s1 d; // 8 Bytes )M0YX?5AR
long long e; // 8 Bytes r`H}f#.KR
}; c[dSO(=
// 1*** 11** gf|uZ9{
// 1111 **** ~q$]iwwqT
// 1111 1111 [FFr}\}bY
// 0w?da~
M4^G3c<
// 00 01 02 03 04 05 06 07 q<3nAE$?=
// 00 01 02 03 04 05 06 07 ?
SFBUX(p
// 00 01 02 03 04 05 06 07 !fh (k
//
Q!X?P
#pragma pack() uP~,]ci7
^T=9j.e'ja
int main(int argc, char* argv[]) X! d-"[
{ Gh;\"Qx
s2 a; mdi!Q1pS
char *p = (char *)&a; {u'szO}k
for(int i=0;i<24;++i) _v!7
|&\
p = (char)(i%8); $)lkiA&;
printf("%d\n",sizeof(a)); lqDCK&g$E#
printf("c=0x%lx\n",a.c); cslC+e/
printf("d.a=0x%x\n",a.d.a); *?)MJ@
printf("d.b=0x%x\n",a.d.b); ``MO5${
printf("e=0x%llx\n",a.e); K'A+V
return 0; 3efOgP=L
} Cxf K(F
结果: B#K gU&Loo
24 -y`Pm8
c=0x0 Z8v\>@?5R
d.a=0x504 c&['T+X
d.b=0x3020100 xfk
-Ezv
e=0x706050403020100 }$ y.qqG
G[64qhTC
Dri6\/0
网友 redleaves (ID最吊的网友)的答案和分析: 7HkO:/
_u]Z+H"
如果代码: 92TuuN#{
#pragma pack(8) FFT)m^4p.
struct S1{ u>XXKlW:
char a; ;
476t
long b; }7PJr/IuF
}; t]xz7VQ
struct S2 { &3vm
@
char c; > ,6
struct S1 d; Q2CGC+
long long e; d59rq<yI
}; K1
f1T
#pragma pack() R
iZ)FW
sizeof(S2)结果为24. GT6; I7
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. n:AZ(f
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. >+O0W)g{o
6IqPZ{g9K'
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; u`ir(JIj]
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. $z=a+t *
a b ~d*Q{v~3
S1的内存布局:11**,1111, Agd"m4!
c S1.a S1.b d p$,7qGST
S2的内存布局:1***,11**,1111,****11111111 0\mf1{$"!7
Laj/~Ru6
这里有三点很重要: L*0YOE%=]
1.每个成员分别按自己的方式对齐,并能最小化长度 [Rj4=qq=
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 4LSs WO<@
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 | W@ ~mrO
N"9^A^w8k
tI^91I
网友xue23(xue23) 的答案和分析: ^-%'ItVO
8vx
ca]DcV
有程序查一下各个变量的内存地址得知: l;-2hZ
各个变量在内存中的位置为 Tzd#!Lvm:,
c***aa** |Iy;_8c
bbbb**** {$S"Sj
dddddddd r^k+D<k[7
测试代码为: m"L^tSD~
s2 ss; [REH*_
cout << "ss.c = " << &ss << endl ; B:>:$LIL
cout << "ss.d.a = " <<&ss.d.a << endl; d=1\= d/K
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; =svFw&q"
print out 各个变量的内存地址不就可以看出来了吗。 JMAdsg/
%[XP}L$
所以答案是24,2. &XNt/bK-?
=CzGI|pb
但是我的想像中应该是这样的分布情况: :k9T`Aa]
c******* |AvPg
aa**bbbb .7.G}z1
dddddddd 0hY3vBQ!
yp~z-aRa
不知为什么会c和a放在一起,组成8位长度。