Intel和微软同时出现的C语言面试题 ?<${?L>
#pragma pack(8) D# UuIZ
5]>*0#C
S
struct s1{ a;t}'GQGk
short a; ._^}M<o L
long b; 0W(mx-[H/
};
][wb4$2
]R_R` X?
struct s2{ n9xP8<w8
char c; ])wdd> '
s1 d; @>HTbs6W
long long e; i+h*<){X
}; iI{L>
<a]i" s
#pragma pack() TY)QE
i}VF$XN
问 6LBdTnzUd
1.sizeof(s2) = ?
j d](m:eG
2.s2的s1中的a后面空了几个字节接着是b? \ = v.$u"c
/QY F|%7!
iqvLu{
K f/[E dn
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： ~.aR=m\#
W}f)VC;D
网友rwxybh(行云)的答案： nd]SI;<
内存布局是 (da`aRVDp
1*** 11** o5bp~.m<
1111 **** 1ZI1+TDH
1111 1111 M@R"-$Z
S3\NB3@qC&
所以答案就是24和3 eCYPd-d
5E\.YqdV
下面是一个测试的程序，试一试就知道了，我用的是VC2005 "iA0 hA
3]l)uoNt/
#pragma pack(8) d.FU) )lmD
`G qe]ZE#"
struct s1{ %"0, o$
short a; // 2 BYtes xj3 qOx$
long b; // 4 Bytes Wd:pqhLh
}; umIGI
struct s2{ %rylmio W>
char c; // 1 Byte ]xQv\u
s1 d; // 8 Bytes ;cXw;$&D
long long e; // 8 Bytes 3PE.7-HF
}; h m ,{C
// 1*** 11** (-gomn
// 1111 **** h^SWb9 1"G
// 1111 1111 f' ?/P~[
// A`n>9|R
n9'3~qVZ
// 00 01 02 03 04 05 06 07 a_RY Yj
// 00 01 02 03 04 05 06 07 |}z)>E
// 00 01 02 03 04 05 06 07 )A\
ZS<@Z7
// 8:$h&aBI
#pragma pack() t(u2%R4<d
Co1d 44Q
int main(int argc, char* argv[]) e$J>z {
{ C^L+R 7
s2 a; r[S(VPo[()
char *p = (char *)&a; J#I RbO)
for(int i=0;i<24;++i) +/ZIs|B4,z
p = (char)(i%8); M 7TLQqaF
printf("%d\n",sizeof(a)); `,qft[1
printf("c=0x%lx\n",a.c); qYC&0`:H
printf("d.a=0x%x\n",a.d.a); \baY+,Dr+
printf("d.b=0x%x\n",a.d.b); vqSpF6F
q
printf("e=0x%llx\n",a.e); F \ B/q
return 0; % T({;/
} Sc7 Ftb%
结果： 4j={ 9e<
24
)0VL$A
c=0x0 'z ?Hv
d.a=0x504 x4WCAqi/2
d.b=0x3020100 z`zz8hK.
e=0x706050403020100 geme_
e FG/!b<17
n 9B5D:.G
网友 redleaves (ID最吊的网友)的答案和分析： fpR|+ `k
#*o0n>O
如果代码: QTy=VLk43
#pragma pack(8) <T}^:2G|
struct S1{ |J-X3` ^\H
char a; .9bi%=hP
long b; V& *IZt&
}; ,8e'<y
struct S2 { `HX:U3/
char c; dua F?\vv
struct S1 d; rfqwxr45h
long long e; {<42PJtPY
}; d4| )=
#pragma pack() g-eJan&]N
sizeof(S2)结果为24. 5W&L6.J}+
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 2][9Wp
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. ]SQ+r*a
fx;rMGa
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; ) x6 & Y
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. t7f(%/] H0
a b > Vm}u`x
S1的内存布局：11**,1111, S%iK);
c S1.a S1.b d `?z('FV
S2的内存布局：1***,11**,1111,****11111111 N3%#JdzZ$
B!wN%> U
这里有三点很重要: 8,U~ p<Gz
1.每个成员分别按自己的方式对齐,并能最小化长度 S2$66xr#
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 {KG}m'lx
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 +F)EGB%LXs
0~U#DTx0
2Re8rcQQU
网友xue23(xue23) 的答案和分析： ^B<-.(F
4fi4F1 f
有程序查一下各个变量的内存地址得知： mkSu
$c
各个变量在内存中的位置为 NNt n
c***aa** 90vWqL!
bbbb**** ZFtx&vr P
dddddddd 4|?(LHBD)
测试代码为： 1aAOT6h
s2 ss; y\??cjWb]
cout << "ss.c = " << &ss << endl ; |/Vq{gxp+
cout << "ss.d.a = " <<&ss.d.a << endl; eKiDc=@
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; U1YqyG8
print out 各个变量的内存地址不就可以看出来了吗。 .RroO_H
7h\is
所以答案是24,2. <f>77vh0
Y2L{oQ.C2
但是我的想像中应该是这样的分布情况： Ue}1(2.v
c******* Cff6EE
aa**bbbb *y4DK6OFe
dddddddd xm{?h,U,
u`XRgtI{g?
不知为什么会c和a放在一起，组成8位长度。
