Intel和微软同时出现的C语言面试题 / v";u)
#pragma pack(8) 'dE G\?v9
l[KFK%?
struct s1{ x"hZOgFZ
short a; ya!RiHj
long b; SfKm]Z>Hp
}; [iJU{W
r"yA=d'c
struct s2{ (C<~:Y?%
char c; Vb${Oy+
s1 d; jy=dB-&
long long e; O]ZP- WG
}; O>zPWVwa
czMu<@c [
#pragma pack() v3b[08
F
MQL1 />j;
问 g+5{&YD
1.sizeof(s2) = ? ;>*l?m-S@n
2.s2的s1中的a后面空了几个字节接着是b? ]= 2wQ8
j@4
yRl ^
Yg 8AMi
Kjbz\~
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: v 4@=>L
13oR-Stj|
网友rwxybh(行云)的答案: !Vtt.j &4
内存布局是 # 2As-9
1*** 11** EJ$-
1111 **** ^;J@]&[
~
1111 1111 m'Jk!eo
z^s40707x
所以答案就是24和3 [4)q6N5`f
zd)2@jX=
下面是一个测试的程序,试一试就知道了,我用的是VC2005 l3Vw?f
V K/;ohTTP
#pragma pack(8) i
! wzID
I(6k.PQ
struct s1{ #"}Z'|X*
short a; // 2 BYtes U#oe8(?#
long b; // 4 Bytes Dp:u!tdbeg
}; ]h0Fv-[A
struct s2{ rbP"
n)0=
char c; // 1 Byte Wsb=SM7;
s1 d; // 8 Bytes PV?XpT
long long e; // 8 Bytes \>0F{-cR$
}; }s;W{Q
// 1*** 11** <v<TsEI
// 1111 **** )A]E:]2
// 1111 1111 3z Jbb3e
// '</
>S / Zd
// 00 01 02 03 04 05 06 07 ?}*A/-Hx0U
// 00 01 02 03 04 05 06 07 uVoM2n?D%^
// 00 01 02 03 04 05 06 07 >SJ#
rZ
// @";z?xj
#pragma pack() o[AQS`
Lu&2^USTO
int main(int argc, char* argv[]) s&S8P;K|
{ w yO@oi
Vn
s2 a; 7)zn[4v7qt
char *p = (char *)&a; A(y^1Nm
for(int i=0;i<24;++i) mq$mB1$3u
p = (char)(i%8); Q2;zve&Dl
printf("%d\n",sizeof(a)); }a@ZFk_>
printf("c=0x%lx\n",a.c); oD,f5Ci-
printf("d.a=0x%x\n",a.d.a); 6T 2jVNg
printf("d.b=0x%x\n",a.d.b); htbN7B(
printf("e=0x%llx\n",a.e); 8ID
fYJ
return 0;
>So)KB
} %-@`|
结果: ;czMsHu0X
24 \(_FGa4j
c=0x0 />fy@nPl|
d.a=0x504 bu"R2~sb
d.b=0x3020100 P>%\pCJ])
e=0x706050403020100 VHXvm*
~o`I[-g)
Xui${UYN
网友 redleaves (ID最吊的网友)的答案和分析: \ief [
@L|X('i
如果代码: 0A[p3xE\
#pragma pack(8) D/hQ{T
struct S1{ "H>L!v
char a; HBYqqEO
long b; X ^>o/U
}; uf,4GPo,
struct S2 { K^AX=B
char c; '2=u<a B
struct S1 d; ~I6Er6$C^
long long e; GP ;c$pC
}; ?}sh@;]*h
#pragma pack() ?iG}Qj@5
sizeof(S2)结果为24. k{n*[)m
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. Xg.'<.!g0
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. }gL9G
B+|E|8"
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; $DW3H1iW
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. sChMIbq!Av
a b 0B)l"$W[)/
S1的内存布局:11**,1111, *!UY;InanX
c S1.a S1.b d 9}kN9u
S2的内存布局:1***,11**,1111,****11111111 ,s0 E]](
13Ga #
这里有三点很重要: OxX{[|!`
1.每个成员分别按自己的方式对齐,并能最小化长度 i7 `dY{p7
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 )'\Jp
7*3
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 a8aEZ724
hu\HK81m
TCp!4-~,
网友xue23(xue23) 的答案和分析: &$ F0
NAhV8
有程序查一下各个变量的内存地址得知: $*K5
各个变量在内存中的位置为 zfL$z,zgf
c***aa** rq9{m(
bbbb**** I#@iA!
dddddddd t$r^'ZN
测试代码为: ^4]#Ri=U
s2 ss; 8rXq-V_u
cout << "ss.c = " << &ss << endl ; l?(nkg["nY
cout << "ss.d.a = " <<&ss.d.a << endl; tx&>Eo
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; uOc>~ITPS
print out 各个变量的内存地址不就可以看出来了吗。 ,Ihuo5>/z
+GI[
Kq
所以答案是24,2. PC/fb-J
];6c/#2x
但是我的想像中应该是这样的分布情况: g}IdU;X$NT
c******* HKq 2X4J$
aa**bbbb VgZ<T,SuW
dddddddd VP\HPSp
hxx,E>k
不知为什么会c和a放在一起,组成8位长度。