Intel和微软同时出现的C语言面试题 }~3 %KHT
#pragma pack(8) Ss
c3 uo 0
kG70j{gf
struct s1{ [t}$W*hY
short a; [Csv/
long b; Fu6~8uDV{{
}; CxW -lU3G`
7d"gRM;
struct s2{ 3^J~ts{*
char c; kEpCF:@A
s1 d; ; ^Y]nsd
long long e; ^lCQHz
}; F ^)SQ%xx
)OgQ&, #
#pragma pack() D? < R5zp
c
DO< z
问 i%a jL
1.sizeof(s2) = ? ] f~mR_E
2.s2的s1中的a后面空了几个字节接着是b? qD?-&>dBWi
=Zc
Vywz;+
QwL'5ws{q
)i{B:w\ ^
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： =(U&?1 R4
>7^i>si
网友rwxybh(行云)的答案： [r"`r Bw
内存布局是 ~Q/G_^U:
1*** 11** BO 3%p
1111 **** KW5u.phv
1111 1111 Q'n]+%YN
!mtq?LV
所以答案就是24和3 Rr0@F`"R
PK7
kpC
下面是一个测试的程序，试一试就知道了，我用的是VC2005 %.3] F2_Q
;mYj`/Yj
#pragma pack(8) c _faW
-F+dmI,1$
struct s1{ dDoKmuY>5
short a; // 2 BYtes #Z.2g].
long b; // 4 Bytes lqe71](sK8
}; /"*eMe!=
struct s2{ _>"f&nb O
char c; // 1 Byte A]k-bX= s
s1 d; // 8 Bytes q q1@v0
long long e; // 8 Bytes Z}*{4V`R
}; Z 71.*
// 1*** 11** %x G3z7;
// 1111 **** 4fp]z9Y
// 1111 1111 GDUOUl&
// bRzw.(k0`r
KqH_?r`
// 00 01 02 03 04 05 06 07 a1n j}1M%
// 00 01 02 03 04 05 06 07 nC> 'kgRt
// 00 01 02 03 04 05 06 07 #lHA<jI
// L1i:hgq0]
#pragma pack() gE~ ]^B{
@|c fF T
W
int main(int argc, char* argv[]) %oY=.Ok ]
{ Xzp!X({
s2 a; vuCl(/P`
char *p = (char *)&a; Zg#VZg1
2
for(int i=0;i<24;++i) h72#AN
p = (char)(i%8); PF4"J^V
printf("%d\n",sizeof(a)); F:o<E 42
printf("c=0x%lx\n",a.c); Qs o"jYl<
printf("d.a=0x%x\n",a.d.a); LAT%k2%Wx
printf("d.b=0x%x\n",a.d.b); 3?rYt:Uf!
printf("e=0x%llx\n",a.e); 8w|-7$ v
return 0; c ii]-%J}c
} M
XX:i
结果： ~&?{hd.
24 (,5,}
c=0x0 UZ"jQJQ
d.a=0x504 n2#Yw}7^,o
d.b=0x3020100 e<;^P( g`E
e=0x706050403020100 68k
_,m|gr ,S
m)aNuQvy:Z
网友 redleaves (ID最吊的网友)的答案和分析： fEB>3hI
_Ka6! 9
如果代码: D<35FD,
#pragma pack(8) ue;o:>G
struct S1{ m.K@g1 G
char a; ap xY2o E&
long b; P}k p_l27
}; |dxcEjcY_
struct S2 { A&:i$`m,
char c; 7kZ-`V|\.
struct S1 d; 3Wl,T5}{
long long e; ]$VYzE2e
}; j.FW*iX1C
#pragma pack() ?t J yQT
sizeof(S2)结果为24. 2W_p)8t> b
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. :{ }]$+|)\
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. S|pMX87 R
\~ :Uj~
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; Vif0z*\e{
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ;GgW&*|
a b =QiVcw,G#
S1的内存布局：11**,1111, /s\_"p
c S1.a S1.b d +?!x;qS^
S2的内存布局：1***,11**,1111,****11111111 m<DiYxK
y
; $8C
这里有三点很重要: WjrUn s
1.每个成员分别按自己的方式对齐,并能最小化长度
69o,T`B
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 ~baVS-v
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 mimJ_=]DC
BV8- \R@
?1G7=R
网友xue23(xue23) 的答案和分析： 79?%g= #=
lhk[U!>#
有程序查一下各个变量的内存地址得知： .|pyloL.
各个变量在内存中的位置为 u6,NQ^4
c***aa** 2K Um(B.I
bbbb**** @DYxDap{
dddddddd EPZ^I )
测试代码为： P9\!JH!
s2 ss; .K n )sD1
cout << "ss.c = " << &ss << endl ; D]s8w
cout << "ss.d.a = " <<&ss.d.a << endl; !p4y@U{
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; p. .O;_ U
print out 各个变量的内存地址不就可以看出来了吗。 z DP
c)HHc0KD
所以答案是24,2. 9b/7~w .
)tRqt9Th*
但是我的想像中应该是这样的分布情况： l|O)B #
c******* |Mm9QF;iA
aa**bbbb H</Mh*Fl2G
dddddddd QX'EMyK$
0x-58i0
不知为什么会c和a放在一起，组成8位长度。
