Intel和微软同时出现的C语言面试题 tqXr6+!Q
#pragma pack(8) ^9fY%98
[H5BIM@{
struct s1{ $~5ax8u&!#
short a; Dlqvz|X/
long b; "cD MFu
}; 5e}adHjM
q)PLc{NO
struct s2{ Bx9v2x.
char c; d.Ep#4
s1 d; GLWEoV9<
long long e; $@^*lUw
}; v1}9i3Or#
~6Pv5DKq
#pragma pack() 8$`$24Wx
~KP@wD~
问 ve f9*u`
1.sizeof(s2) = ? {u)>W@Lr
2.s2的s1中的a后面空了几个字节接着是b? SS*3Qx:[
Ci(c`1av
( we)0AxF'
;fe~PPT
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: 0"J0JcFX
BDfJ
网友rwxybh(行云)的答案: Ym|%ka
内存布局是 E)F#Z=)
1*** 11** \zLKSJ]
1111 **** [PX%p;"D
1111 1111 nAaY5s0D
xVN(It7g
所以答案就是24和3 buKSZ
]e6$ ={
下面是一个测试的程序,试一试就知道了,我用的是VC2005 Q4ZKgcC
@id!F<+%oD
#pragma pack(8) H;{IOBo
IN7Cpg~9%
struct s1{ P"f4`q
short a; // 2 BYtes #Oi{7~
long b; // 4 Bytes w8}jmpnI
}; )m_q2xV
struct s2{ |'qvq/#^
char c; // 1 Byte /(8"9Sfm
s1 d; // 8 Bytes :Lu 9w0>f
long long e; // 8 Bytes #5%ipWPHb
}; O;+
sAt
// 1*** 11** L(o#)I>j
// 1111 **** =*{Ii]D
// 1111 1111 EslHml#
// d.yATP
of8
>xvE|
// 00 01 02 03 04 05 06 07 ]w_JbFmT
// 00 01 02 03 04 05 06 07 QD^q\9U[
// 00 01 02 03 04 05 06 07 (;9j#x
// hip't@.uE
#pragma pack() %l[]n;*$
sA2esA@C<o
int main(int argc, char* argv[]) W:>XXUU
{ lk.Mc6)
s2 a; bT15jNa
char *p = (char *)&a; u0F{.fe
for(int i=0;i<24;++i) MO%+rf0~w
p = (char)(i%8); 9#E)H?`g
printf("%d\n",sizeof(a)); |[!7^tU*
printf("c=0x%lx\n",a.c); V3(8?Fz.
printf("d.a=0x%x\n",a.d.a); Ug )eyu
printf("d.b=0x%x\n",a.d.b); q.VZ P
printf("e=0x%llx\n",a.e); gH
yJ~
return 0; [ji')PCAi;
} kMZo7 y
结果: I%l2_hs0V
24 x>tsI}C
c=0x0 @%jY
d.a=0x504 c 5 `74g
d.b=0x3020100 U".5x~UC
e=0x706050403020100 W`uq,r0Xsy
;FJFr*PM
[>KnMi=o)
网友 redleaves (ID最吊的网友)的答案和分析: p
z\8Bp}yo
Q^*4FH!W
如果代码: Irui{%T
#pragma pack(8) %bS1$
v\n
struct S1{ p<+Y;,+
char a; !P3y+;S
long b; sQ.t3a3m
}; 57KrDxE}
struct S2 { yz"hU
char c; 5mX^{V&^
struct S1 d; ZCuo YE$g
long long e; TE:|w
Xe
}; kB.CeG]tk
#pragma pack() 2!R+5^Iy
sizeof(S2)结果为24. PD~vq^@Q
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. s|I$c;>
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. CEAmb[h
vNju|=Lo
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 9_O6Sl
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. |w{C!Q8l
a b CB#B!;I8v
S1的内存布局:11**,1111, ]k8f1F
c S1.a S1.b d f@2F!
S2的内存布局:1***,11**,1111,****11111111 (/FG#D.
]=PkgOJD
这里有三点很重要: GI@;76Qf
1.每个成员分别按自己的方式对齐,并能最小化长度 C3'?E<F
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 izzX$O[=:
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 Tgl >
PS8^=
AH-BZ8
网友xue23(xue23) 的答案和分析: \OXQ%J2v
](FFvqA
有程序查一下各个变量的内存地址得知: @,9YF}
各个变量在内存中的位置为 Z/T(4
c***aa** tSe[*V4{'
bbbb****
XRHngW_A
dddddddd uPxJwWXO
测试代码为: `{m,&[n
s2 ss; %j/pln&
cout << "ss.c = " << &ss << endl ; KcUR
/o5K
cout << "ss.d.a = " <<&ss.d.a << endl; X]o"4#CQIX
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; a?xZsR
print out 各个变量的内存地址不就可以看出来了吗。 P EMBh?)g
dL_9/f4
所以答案是24,2. \_YDSmjy
wbvOf X
但是我的想像中应该是这样的分布情况: ksTK'7*
c******* 4)8e0L*[B?
aa**bbbb HYL['B?Wid
dddddddd 8/T,{J\
SSq4KFO1
不知为什么会c和a放在一起,组成8位长度。