Intel和微软同时出现的C语言面试题 Bismd21F6=
#pragma pack(8) xiv1y4(%
2<18j
struct s1{ [ArPoJt
short a; GR@jn]50
long b; E_t ^osY&
}; d9'gH#f?
&YAw~1A
struct s2{ kB41{Y -
char c; Yo`#G-]
s1 d; >Q159qZ
long long e; ~N2<-~=si
}; fU@{!;|Pz
p-p]dV
#pragma pack() $9_yD&&
7WuhYJbf
问 \\\%pBT7]\
1.sizeof(s2) = ? $JH_
2.s2的s1中的a后面空了几个字节接着是b? #0yU
K5J
}E?{M~"<
sA(
e
?f9@
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: nq9|cS%-
}jF67c->
网友rwxybh(行云)的答案: Ni"M.O);t
内存布局是 q|Oz
1*** 11** "qb1jv#to
1111 **** 1y/_D$~ZO
1111 1111 >5,nB<
F(?A7
所以答案就是24和3 d(LX;sq?
x>Hg.%/c[
下面是一个测试的程序,试一试就知道了,我用的是VC2005 6gUcoDD
ryk(Am<
#pragma pack(8) .i^aYbB$X
6xLLIby,
struct s1{ f$\gm+&hXE
short a; // 2 BYtes qXI>x6?*
long b; // 4 Bytes ~7$NVKE
}; RtE2%d$JT
struct s2{ ;>#YOxPl
char c; // 1 Byte s>i`=[qFc
s1 d; // 8 Bytes Sb9O#$89
long long e; // 8 Bytes mW_B|dM"
}; a!n |/9
6
// 1*** 11** ]`p*ZTr)\
// 1111 **** ^U[c:Rz
// 1111 1111 8OYw72&
// =3~u.iq$
:cx}I
// 00 01 02 03 04 05 06 07 az5 $.
// 00 01 02 03 04 05 06 07 b+Ly%&
// 00 01 02 03 04 05 06 07 }ioHSkCD
// 0vu$dxb[
#pragma pack() znNJ?
*G]zN "Y
int main(int argc, char* argv[]) Tc{n]TV
{ "JHdF&
s2 a; rD7L==Ld
char *p = (char *)&a; STfcx]L
for(int i=0;i<24;++i) _{d0Nm
p = (char)(i%8); v5aHe_?lp
printf("%d\n",sizeof(a)); x*p>l !
printf("c=0x%lx\n",a.c); x)+3SdH
printf("d.a=0x%x\n",a.d.a); GIo7-
6kvm
printf("d.b=0x%x\n",a.d.b); 6*!R'
printf("e=0x%llx\n",a.e); p5 !B
return 0; 4P1<Zi+<
} epWTZV(1x
结果: Bu:h_sV D
24 W7k0!Grrl
c=0x0 #&L[?jEn
d.a=0x504 x EX"pd
d.b=0x3020100 :P!"'&gCL
e=0x706050403020100 7U:-zfq
O@[jNs)].
Zx%ib8|j
网友 redleaves (ID最吊的网友)的答案和分析: $i:wS=
w'
>4c7r~\k
如果代码: d[cqs9=\
#pragma pack(8) G4VdJ(_
struct S1{ \(S69@f
char a; BtPUUy.
long b; n0/H2>I[
}; "s:eH"_s
struct S2 { e@Cv')]B
char c; 0`{3|g
struct S1 d; Rh=,]Y
long long e; Z9TUaMhF
}; Y?1
3_~
K
#pragma pack() o$S/EZ
sizeof(S2)结果为24. jbDap i<
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. qHAZ)Tz
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. UJ}Xa&*H\
.<0s?Q
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; @xO?SjH
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. eU[f6OGqC
a b f{} zqCK
S1的内存布局:11**,1111, >u6*P{;\
c S1.a S1.b d `oDs]90
S2的内存布局:1***,11**,1111,****11111111 %[l*:05
;8?i
这里有三点很重要: ~v
/N G
1.每个成员分别按自己的方式对齐,并能最小化长度 qIO<\Yl
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 xaM?
B7
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 nBVR)|+M
l'~~hQ{h/
j@j%)CCM
网友xue23(xue23) 的答案和分析: mKsTA;
F5*NK!U
有程序查一下各个变量的内存地址得知: r87)?-B
各个变量在内存中的位置为 7tEK&+H`
c***aa** y<53xZi
bbbb**** "0,d)L0,"
dddddddd >z(AQ
测试代码为: Q|!}&=
s2 ss; QG|KZ8uO
cout << "ss.c = " << &ss << endl ; vf|lF9@U
cout << "ss.d.a = " <<&ss.d.a << endl; igoUKDNiQ-
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; Ql%0%naq1
print out 各个变量的内存地址不就可以看出来了吗。 h{$mL#J
8 |@WuD
所以答案是24,2. ftL>oOz[
*KDT0 ;/s
但是我的想像中应该是这样的分布情况: =nq9)4o
c******* jJX-S
aa**bbbb (c'=jJX
dddddddd h1y6`m9
L\:f#b~W
不知为什么会c和a放在一起,组成8位长度。