Intel和微软同时出现的C语言面试题 ,
\|S BS
#pragma pack(8) fpJM)HU
ce{(5IC
struct s1{ $@"o BCc
short a; N@lTn}U
long b; P9=L?t.
}; qq"&Bc>
<NZ^*]
struct s2{ 2?9 FFlX
char c; NWWag}
s1 d; P0NGjS|Z{
long long e; !Z[dK{f"
}; ,3l=44*
l!CWE
#pragma pack() NSH20$A<
"~jSG7h
问 ^j&'2n@9a
1.sizeof(s2) = ? VN`T:!&
2.s2的s1中的a后面空了几个字节接着是b? =67dpQ'y
2g5Ft
0vOt.LC/S
k~f3~- "
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: &~VWh}=r
#-$\f(+<
网友rwxybh(行云)的答案: y57]q#k
内存布局是 e FDhJ
1*** 11** PkA_uDhw
1111 **** ,0+%ji^V
1111 1111 pwo5Ij,~q
QWVH4rg
所以答案就是24和3 V
;Kzh$^rk
^DVj_&~
下面是一个测试的程序,试一试就知道了,我用的是VC2005 3]xe7F'`
> w:+nG/r
#pragma pack(8) B;Pws$J
d~+8ui{-U
struct s1{ EWuuNf
short a; // 2 BYtes tYV%izE
long b; // 4 Bytes `L p3snS
}; Z*
eb
struct s2{ KWtLrZ(j
char c; // 1 Byte "q@OMf
s1 d; // 8 Bytes @y:mj \J9
long long e; // 8 Bytes Kq!E<|yM
}; '5xf?0@s.
// 1*** 11** FlJ(V
// 1111 **** Wy^43g38'p
// 1111 1111 :M" NB+T
// 9F+i+(\,b
U 7mA~t2E
// 00 01 02 03 04 05 06 07 #N%ATV
// 00 01 02 03 04 05 06 07 ?"MJ'u
// 00 01 02 03 04 05 06 07 `L<f15][
// r,}U-S.w
#pragma pack() :NB|r
Co6ghH7T
int main(int argc, char* argv[]) &t)dE7u5
{ e ='bc7$
s2 a; 9L3#aE]C
char *p = (char *)&a; &1O[N*$e
for(int i=0;i<24;++i) "=)i'x"0"
p = (char)(i%8); Gy{C*m7Q
printf("%d\n",sizeof(a)); zA+&V7bvy
printf("c=0x%lx\n",a.c); v4]7"7GuW
printf("d.a=0x%x\n",a.d.a); WBTdQG
Q6
printf("d.b=0x%x\n",a.d.b); sO7$b@"u.
printf("e=0x%llx\n",a.e); z_fR?~$N2
return 0; 0gY,[aQ2
} bA]/p%rZ8
结果: hpJ[VKe
24 LF+#PnK
c=0x0 `jY*0{
d.a=0x504 v=Ep
d.b=0x3020100 C~o6]'+F_
e=0x706050403020100 }\5^$[p
[\N,ow,n
oQJK}9QR
网友 redleaves (ID最吊的网友)的答案和分析: jJ%
*hDZ6t
y7M" Dr%t^
如果代码: nA8]/r1k
#pragma pack(8) h>B>t/k?
struct S1{ =IBdnEz:M
char a; yC.ve;lG
long b; #5HJW[9
}; Zf;1U98oC
struct S2 { Alh"G6
char c; Qxj &IX
struct S1 d; )fSQTbB;0
long long e; kM>0>fkjE
}; C:/ca)
#pragma pack() [.tqgU
sizeof(S2)结果为24. :w_J/k5Zd
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ,2u-<8
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. {UT>>
*C
,X6.p
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; jYKs| J)[
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ~X;r}l=k<
a b NC::;e
S1的内存布局:11**,1111, D6Ov]E:fa
c S1.a S1.b d %)_R>. >
S2的内存布局:1***,11**,1111,****11111111 =g'7 xA
rly3f
这里有三点很重要: N(mhgC<O
1.每个成员分别按自己的方式对齐,并能最小化长度 3$+|nP:U
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 88Yp0T<1
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 '3=[xVnv
S*rgYe!E
$4'I3{$
网友xue23(xue23) 的答案和分析: 3SVI|A5(d
]ms#*IZ
有程序查一下各个变量的内存地址得知: Q[scmP^$^
各个变量在内存中的位置为 *RUB`tEL
c***aa** o1MI&}r
bbbb**** EonZvT-D=
dddddddd ~el#pf~
测试代码为: &1893#V
s2 ss; #nX0xV5=
cout << "ss.c = " << &ss << endl ; 6Z
~>d;&9
cout << "ss.d.a = " <<&ss.d.a << endl; f(
hK>H
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; [nn/a?Z4S
print out 各个变量的内存地址不就可以看出来了吗。 >BMJA:j
l!Z>QE`.S
所以答案是24,2. uf\Hh -+p
`r'q(M
但是我的想像中应该是这样的分布情况: 511^f`P<
c******* kOETx
aa**bbbb 6g29!F`y
dddddddd NS-u,5Jt
_a8^AG
不知为什么会c和a放在一起,组成8位长度。