Intel和微软同时出现的C语言面试题 'T7JXV5
#pragma pack(8) PB4E_0}h
E!Hq %L!/
struct s1{
>joGG T
short a; hSaS2RLF
long b; L@S"c
(
}; *jGB/ y
[{N
i94:d
struct s2{ x +|Fw d
char c;
wxsJB2
s1 d; %H>vMR-,~
long long e; YS?P A#
}; wc)[r~On(5
9~zh]deH
#pragma pack() < .$<d
*]z.BZI:
问 G#5Cyu<r!
1.sizeof(s2) = ? t2p/NIn
2.s2的s1中的a后面空了几个字节接着是b? v Q+}rHf`[
zJI/j
_ ~W
)&+_ T+\
!W^2?pqN
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： E{T\51V]%
Y@KZ:0<
网友rwxybh(行云)的答案： @<CJbFgJp
内存布局是 r {)d?Ho=
1*** 11** , 9|%
1111 **** KwPJ0
]('_
1111 1111 Qa t%<;P2
D\(,:_ge
所以答案就是24和3 2-llT
Q+mMp I
下面是一个测试的程序，试一试就知道了，我用的是VC2005 Sx;zvc
R|V <2
#pragma pack(8) ol!o8M%Q
dr~M yQ
struct s1{ n#z^uq|v
short a; // 2 BYtes \2_>$:UoV
long b; // 4 Bytes dadOjl)S)
}; PC \Xm,,
struct s2{ [w=x 0J&
char c; // 1 Byte W{ eu_
s1 d; // 8 Bytes t
vk^L3=<
long long e; // 8 Bytes
cD0
}; `6~*kCj5
// 1*** 11** pC8(>gV<h
// 1111 **** (ZShh y8g
// 1111 1111 v^@L?{" }8
// WcH^bAY 6
ujz
%0Mq;
// 00 01 02 03 04 05 06 07 {!N4 |
// 00 01 02 03 04 05 06 07 ^ {6Y7T]
// 00 01 02 03 04 05 06 07 d.2b7q09
// rFx2 S
#pragma pack() `}zv17wp
LWVO%@)w
int main(int argc, char* argv[]) /@3+zpaw X
{ iS=T/<|?
s2 a; tH_# q"@)
char *p = (char *)&a; N"r ;d+LTL
for(int i=0;i<24;++i) jQb=N%5s
p = (char)(i%8); 7y[ B[$P
printf("%d\n",sizeof(a)); .z[+ sy_
printf("c=0x%lx\n",a.c); e3S6+H),I
printf("d.a=0x%x\n",a.d.a); u Xhp+q\
printf("d.b=0x%x\n",a.d.b); uFok'3!g7%
printf("e=0x%llx\n",a.e); Bs# #3{ylu
return 0; Q@$ 1!9m
} nn=JM7e\9
结果： V >['~|
24 Ev^Xs6 }"
c=0x0 Rw/G =zV@2
d.a=0x504 s &.Z;X
d.b=0x3020100 U!e4_JBR'
e=0x706050403020100 &Mc mA
R(zsn;
Yt#($}p
网友 redleaves (ID最吊的网友)的答案和分析： N$y4>g
VqbiZOZ@
如果代码: M}nalr+#
#pragma pack(8) .s!:p pwl
struct S1{ Fj]S8wI
char a; +$UfP(XmH
long b; ;8T<L[ ^U
}; mD=?C
struct S2 { K[ \z'9 Q
char c; %]R#}amW
struct S1 d; ,h>w %
long long e; Z
ZiS$&NK8
}; }`MO}Pz
#pragma pack() ]Yj>~k:K
sizeof(S2)结果为24. Gg!))I+
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. R80R{Ze
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. y&CUT:M6
9. @(&
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; fC-^[Af )
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. p;5WLAF
a b RhJ<<T.2
S1的内存布局：11**,1111, D3K`b4Y V
c S1.a S1.b d 6
%=BYDF
S2的内存布局：1***,11**,1111,****11111111 Jxvwq uI
=3T?U_u@
这里有三点很重要:
1y @ -
1.每个成员分别按自己的方式对齐,并能最小化长度 H,I }R
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 :D,YR(])
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 -?]ltn9!
lvN{R{7 >
oby*.61?5l
网友xue23(xue23) 的答案和分析： ;+jp,( 7
{jVFlKP>
有程序查一下各个变量的内存地址得知： SH(k UL5
各个变量在内存中的位置为 a2 SQ:d
c***aa** 68)^i"DM<
bbbb**** l6 WcnJ
dddddddd MCCZh{uo
测试代码为： ku{aOV%
s2 ss; <- ?B#
cout << "ss.c = " << &ss << endl ; 9s!/y iP5
cout << "ss.d.a = " <<&ss.d.a << endl; 4sAshrUf
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; |-mazv A
print out 各个变量的内存地址不就可以看出来了吗。 jg stx3
\1Bgs^
所以答案是24,2. $W?XxgkB?
Y/^<t'o&
但是我的想像中应该是这样的分布情况： n>4S P_[E7
c******* S?{5DxilO
aa**bbbb ,YY#ed&l
dddddddd '-vy Q^
n~ql]Ln
不知为什么会c和a放在一起，组成8位长度。
