Intel和微软同时出现的C语言面试题 g6%]uCFB
#pragma pack(8) ~BuzI9~7P
#4mRMsW5"
struct s1{ 3h:~NL
short a; jzV"( p!
long b; 73rme,
}; r{v3XD/
Fge%6hu
struct s2{ -$<oY88
char c; )nO ^Ay
s1 d; }R<t=):
long long e; t9U6\ru
}; V?S}%-a
Jm<NDE~rw
#pragma pack() qm!cv;}c1
aI&~aezmN
问 `hO%(9V9
1.sizeof(s2) = ? 56z>/`=
2.s2的s1中的a后面空了几个字节接着是b? ?@4Mt2Z\
A#cFO)"
i'li;xUhZ
cxs@ph&Wk
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: $B-/>Rz
%TQ4ZFD3
网友rwxybh(行云)的答案: S'34](9n6
内存布局是 uX_#NP/2
1*** 11** cEu_p2(7!B
1111 **** B1_9l3RM
1111 1111 Gt#r$.]W?o
y\^zxG*]'
所以答案就是24和3 bK%F_v3'
[<f2h-V$
下面是一个测试的程序,试一试就知道了,我用的是VC2005 N 62;@Z\7
]|g2V
a~-
#pragma pack(8) ~ |Vqv{
qI9j=4s.
struct s1{ KsOSPQDGE
short a; // 2 BYtes Zzjx;SF
long b; // 4 Bytes ;)FvTm'"\.
}; dPu27 "
struct s2{ _MC',p&
char c; // 1 Byte 5%\K
s1 d; // 8 Bytes K>+ v" x
long long e; // 8 Bytes uuEvH<1
}; *d C| X
// 1*** 11** P?V+<c{
// 1111 **** =F_uK7W
// 1111 1111 @`KbzN_h/
// =hTJp/L
#B~;j5
// 00 01 02 03 04 05 06 07 5%2~/
"
// 00 01 02 03 04 05 06 07 'S6zk wC]
// 00 01 02 03 04 05 06 07 EM@|^47$
// n R, QG8
#pragma pack() THq}>QI
>P
j#?j*Y
int main(int argc, char* argv[]) |_p7vl"
{ T3oFgzoO
s2 a; :epBd3f
char *p = (char *)&a; A x8 >
for(int i=0;i<24;++i) YaS!YrpI
p = (char)(i%8); Q.$8>)
printf("%d\n",sizeof(a)); R?)Yh.vi=t
printf("c=0x%lx\n",a.c); OE(y$+L3_I
printf("d.a=0x%x\n",a.d.a); D Z*c.|W
printf("d.b=0x%x\n",a.d.b); Vwp>:'Pu
printf("e=0x%llx\n",a.e); 9e`};DE
return 0; ,]0BmlD
} d3rjj4N"z
结果: aU;X&g+_)
24 _UTN4z2aTG
c=0x0 E|9`J00
d.a=0x504 =)+^ y}xb
d.b=0x3020100 (.N n|lY<i
e=0x706050403020100 12#yHsk
O:GP uVb\
n>u_>2Ikkj
网友 redleaves (ID最吊的网友)的答案和分析: 9<rs3 84
]vf_4QW=
如果代码: O<p=&=TD7
#pragma pack(8) bJMsB|r
struct S1{ 9`92
>
char a; VE]TT><
long b; #L!`n)J"
}; ef*Z;HI0
struct S2 { Y`22DFO
char c; /F.<Gz;w
struct S1 d; &,{>b[
long long e; l\L71|3" g
}; -_9*BvS]R
#pragma pack() 3L==p`
sizeof(S2)结果为24. UUz{Qm%
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ;V~x[J|x
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. olQP>sa
W>!:K^8]
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; dn'|~zf.
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. Sm {Sq
a b VTL_I^p
S1的内存布局:11**,1111, [H\0
'
c S1.a S1.b d r[ k
S2的内存布局:1***,11**,1111,****11111111 <[ dt2)%L>
" TCJT390
这里有三点很重要: h(kPf]0
1.每个成员分别按自己的方式对齐,并能最小化长度 _}47U7s8
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 jl}9R]Y_2
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 J1(SL~e],
~c v|,
Y!]a*==
网友xue23(xue23) 的答案和分析: }8 ;,2E*z
H5d@TB,`
有程序查一下各个变量的内存地址得知: pFd{Tdh
各个变量在内存中的位置为 91R7Rrne
c***aa** vxf09v{-
bbbb**** uDG>m7(}/h
dddddddd Fp?M@
测试代码为: KJ/Gv#Kj
s2 ss; 5+{oQs_
cout << "ss.c = " << &ss << endl ; KU"+i8"
cout << "ss.d.a = " <<&ss.d.a << endl; n\Lsm
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; T] H'l
print out 各个变量的内存地址不就可以看出来了吗。 yT<"?S>D
n'vdA !R
所以答案是24,2. ? .B t.
m==DBh
但是我的想像中应该是这样的分布情况: z+oy#p6+F.
c******* 7~"eT9WV
aa**bbbb i,~(_|-r
dddddddd rg[#(
+Goh`!$Rj9
不知为什么会c和a放在一起,组成8位长度。