Intel和微软同时出现的C语言面试题 (4A'$O2
#pragma pack(8) X|eZpIA45
zB`woI28
struct s1{ s:"Sbml
short a; xSK#ovH2
long b; W [K.|8ho
}; d,JDfG)
@&WHX#
struct s2{ Jut&J]{h
char c; F!0iM)1o
s1 d; ` K{k0_{
long long e; }shxEsq
}; /kkUEo+
%KT}Map
#pragma pack() c:9n8skE7
1H/I-
问 'EAskA]*
1.sizeof(s2) = ? ^9q#,6
2.s2的s1中的a后面空了几个字节接着是b? g;8 wP5i
_J W|3q
9iZio3m
B<m0YD?>~>
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: 0zq'Nf?#3
#m{*]mY@
网友rwxybh(行云)的答案: <TRhn z
内存布局是 ty0P9.Q
1*** 11** ;t\h"K<,|
1111 **** wAprksZL#
1111 1111 &gY) x{
L8PX SJ
所以答案就是24和3 tMiIlf!>p
Q,xL8i
M,
下面是一个测试的程序,试一试就知道了,我用的是VC2005 crP2jF!
d"#Zp
#pragma pack(8) j"69uj` R
~,HFd`
struct s1{ qEST[S V
short a; // 2 BYtes K -rR)-rI
long b; // 4 Bytes ls]N&!/hq
}; U-u?oU-.'
struct s2{ )P:^A9&_n=
char c; // 1 Byte H,X|-B
s1 d; // 8 Bytes 0Lxz?R x]<
long long e; // 8 Bytes 8v& \F
}; 1I9v`eT4
// 1*** 11** ^}d]O(
// 1111 **** nG!<wlY14P
// 1111 1111 <s'de$[
// %7)=k}4
UUJQc~=
// 00 01 02 03 04 05 06 07 EE!}$qOR
// 00 01 02 03 04 05 06 07 m,E$KHt (
// 00 01 02 03 04 05 06 07 'RK"/ZhqE
// fo@^=-4A-
#pragma pack() |HAJDhM,l
y!77gx?-
int main(int argc, char* argv[]) Iv6 q(c
{ ~-BF7f6C
s2 a; p?:5U[KM
char *p = (char *)&a; \j>7x
for(int i=0;i<24;++i) =#b@7Yw:
p = (char)(i%8); lS.Adl^k
printf("%d\n",sizeof(a)); \beO5]KS<
printf("c=0x%lx\n",a.c); pSw/QO9
printf("d.a=0x%x\n",a.d.a); )#}>,,S
printf("d.b=0x%x\n",a.d.b); Dsg>~J'
printf("e=0x%llx\n",a.e); 3yZmW$E.
return 0; d,"LZ>hNY*
} M<fhQJ
结果: `a& kD|Yh
24 FM@iIlY"
c=0x0 ATNOb
d.a=0x504 QOF@DvQ
d.b=0x3020100 :o'XE|N
e=0x706050403020100 bV_nYpo
pE4a ~:
'-;[8:y.
网友 redleaves (ID最吊的网友)的答案和分析: Z',!LK!
Ma[EgG
如果代码: &7aWVKon
#pragma pack(8) e`D}[G#
struct S1{ g>@JGzMLP
char a; 1sQIfX#2f
long b; $<^t][{
}; Dm>"c;2
struct S2 { zH8E,)
char c; fd\RS1[
struct S1 d; %z><)7
long long e; iQwQ5m!d &
}; yGZsNd {a&
#pragma pack() OU[<\d
sizeof(S2)结果为24. *U?O4E9
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. wHc
my
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. HGDrH
l90mM'[
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 200yN+ ec
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ~U9K<_U
a b 'ZfgCu)St
S1的内存布局:11**,1111, qLN^9PdEE
c S1.a S1.b d 2@&r!Q|1vR
S2的内存布局:1***,11**,1111,****11111111 |\5^ub,m
0lfK}
a
这里有三点很重要: "F<CGSo
1.每个成员分别按自己的方式对齐,并能最小化长度
BX,)G HE
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 !'7fOP-J]
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 #%0V`BS7n
~C.*Vc?|
l4Xz r:]
网友xue23(xue23) 的答案和分析: rl*O-S/
nM
)C^$3<t
有程序查一下各个变量的内存地址得知: O !L`0
=%c
各个变量在内存中的位置为 VM"cpC_8
c***aa** *eVq(R9?T
bbbb**** 'X`Z1L/
dddddddd )ZJvx%@i
测试代码为: &SY!qTxF
s2 ss; p\6cpf
cout << "ss.c = " << &ss << endl ; a V3:{oL
cout << "ss.d.a = " <<&ss.d.a << endl; vJkc/7
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; [4Z 31v>
print out 各个变量的内存地址不就可以看出来了吗。 XpQ Ol
U2oCSo5:3N
所以答案是24,2. Ykbg5Z
u2V-V#jS
但是我的想像中应该是这样的分布情况: }I"C4'(a
c******* I5$P9UE+^9
aa**bbbb OZ,kz2SF#
dddddddd /HC:H,"i
[m
t.2 .
不知为什么会c和a放在一起,组成8位长度。