Intel和微软同时出现的C语言面试题 tCR#TW+IY-
#pragma pack(8) 4wkmgS
_,<@II
struct s1{ [Ot<8)Jm
short a; &s(mbpV
long b; c(kYCVc
}; 8 7z]qE
j0b>n#e7
struct s2{ kt#t-N;}x
char c; wX4gyr
s1 d; +h)1NX;o1
long long e; /u&7!>,
}; 0;L.h|R T(
6J]8BHJn+
#pragma pack() :anR/
$qR<_6j
问 Z?<&@YQS
1.sizeof(s2) = ? uhm3}mWv
2.s2的s1中的a后面空了几个字节接着是b? JLbmh1'
YfstE3BV
-l~+cI \2
P8X59^cJ
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: 7<*,O&![|
JA$RY
网友rwxybh(行云)的答案: S-[S?&c`
内存布局是 RhWW61!"
1*** 11** g5;Ig
1111 **** zEKVyZd*{
1111 1111 m++=FsiX=
`J$7X
所以答案就是24和3 M1q_gHA
KJ 7-Vl>
下面是一个测试的程序,试一试就知道了,我用的是VC2005 `)tIXMn
o3X0c6uU
#pragma pack(8) NdmwQJ7e"
)*L=$0R
struct s1{ O'{g{
short a; // 2 BYtes c
'rn8Jo}
long b; // 4 Bytes z[qi~&7:v
}; <2e[; $
struct s2{ eUKl(
char c; // 1 Byte 3>6rO4,
s1 d; // 8 Bytes Ie[DTy
long long e; // 8 Bytes [7\x(W-:@>
}; 2BO&OX|X
// 1*** 11** vawS5b;
// 1111 **** _/J`v`}G
// 1111 1111 =PjxMC._
// h-]c
Ae;mU[MK/
// 00 01 02 03 04 05 06 07 vO)]~AiB
// 00 01 02 03 04 05 06 07 iHT=ROL
// 00 01 02 03 04 05 06 07 q $=[v
// C{>dE:*K^
#pragma pack() LvCX(yjZ*
v"l8[::
int main(int argc, char* argv[]) &
h\!#X0
{ IQWoK"B
s2 a; !E6QED"
char *p = (char *)&a; H@te!EE
for(int i=0;i<24;++i) '?$R YU,
p = (char)(i%8); k+zskfo
printf("%d\n",sizeof(a)); T930tX6"h
printf("c=0x%lx\n",a.c); %us#p|Ya
printf("d.a=0x%x\n",a.d.a); A`* l+M^z
printf("d.b=0x%x\n",a.d.b); 2%/+r
printf("e=0x%llx\n",a.e); 6MpV,2:>
return 0; q8}he~a
} nwVW'M]r
结果: 4>Y*owa4
24 A: O"N
c=0x0 zJ_y"bt
d.a=0x504 oS~;>]W
d.b=0x3020100 +OZ\rs
e=0x706050403020100 Ek60[a
q<K/q"0-l
4+Jf!ovS=
网友 redleaves (ID最吊的网友)的答案和分析: 1/v#Z#3[
,hWuAu6.L
如果代码: rYM@e
#pragma pack(8) }S;A%gYm
struct S1{ w3&L 6|,
char a; K,,'{j2#f
long b; qFI19`?8E
}; ?z0W1a
struct S2 { yG^pND>_df
char c; V}ls|B$Y
struct S1 d; t)mc~M9w
long long e; }nptmc
}; pjma<^|F
#pragma pack() [@2$W?0i
sizeof(S2)结果为24. TUARYJ6=
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. m%b#B>J,n
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. $WO{!R
fVJWW):
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; - LB} =
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. rN,T}M=2
a b L^=G(op*
S1的内存布局:11**,1111, <`u_O!h
c S1.a S1.b d Hp*N%
S2的内存布局:1***,11**,1111,****11111111 -@XOe&q
AwZz}J+
这里有三点很重要: RIDl4c
[
1.每个成员分别按自己的方式对齐,并能最小化长度 Z FX6iAxd
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 e>P>DmlW
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 *-S?bv,T'
TkVqv v
:%h|i&B
网友xue23(xue23) 的答案和分析: e@1A_q@.
j_h0hm]
有程序查一下各个变量的内存地址得知: MpTOC&NG%s
各个变量在内存中的位置为 s{*bFA Z1F
c***aa** Z)f?X
bbbb**** czsnPmNEI
dddddddd r5y*SoD!
测试代码为: DPkH:X
s2 ss; ,b:~Vpb1I
cout << "ss.c = " << &ss << endl ; ">5$;{;2r
cout << "ss.d.a = " <<&ss.d.a << endl; i1K$~
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; f`iDF+h<6
print out 各个变量的内存地址不就可以看出来了吗。 !JBj%| !
q8H nPXV
所以答案是24,2. d5`D[,]d
X|aD>CT
但是我的想像中应该是这样的分布情况: ght3#
c******* y8Rq2jI;(e
aa**bbbb SXC
7LJm<g
dddddddd &Mz]y?k'
AY;[v.Ff4
不知为什么会c和a放在一起,组成8位长度。