Intel和微软同时出现的C语言面试题 " ;o,D
#pragma pack(8) qL$\[(
iA4VT,
struct s1{ .B!L+M< [
short a; 3!Mb<W.3
long b; - v=ndJ.
}; 1`1Jn*|TI
lrgvY>E0
struct s2{ 6|Crc$4l
char c; "Z"`X3,-z
s1 d; "2}n(8
long long e; AY]rQ:I
}; )LL.fPic
S,s") )A1
#pragma pack() (9)uZ-BF,
C@MJn)$4
问 D7v.Xq|
1.sizeof(s2) = ? wh3Wuh?x
2.s2的s1中的a后面空了几个字节接着是b? h m(
BO 3z$c1yU
^C8f(
TrVQ]9;jWk
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: 6f
J5Y
iQ
08$l=
网友rwxybh(行云)的答案: "-Uqv@
内存布局是 UQ2;Dg G%
1*** 11** L
~$&+g
1111 **** H"rIOoxf
1111 1111 ^p~ 3H
(!<G` ;}u
所以答案就是24和3 Z?'?+48xv4
Wp=:|J
下面是一个测试的程序,试一试就知道了,我用的是VC2005 0urM@/j+
Eqh&<]q
#pragma pack(8) +B
OuU#
<-|g>
struct s1{ j2:A@a6
short a; // 2 BYtes i^/D_L.
long b; // 4 Bytes 3]/Y=A
}; jhE3@c@pT
struct s2{ ,,(BW7(
char c; // 1 Byte SVT'fPm1M
s1 d; // 8 Bytes }/z\%Y
long long e; // 8 Bytes wk6tdY{&s
}; u=B,i#>s
// 1*** 11** _lG\_6oJ,
// 1111 **** .w~zW*M0
// 1111 1111 ,:3Di (
// v&u8Ks
=A^VzIj(
// 00 01 02 03 04 05 06 07 { FM:\/
// 00 01 02 03 04 05 06 07 8KS9!*.iZ
// 00 01 02 03 04 05 06 07 ]m""ga
// @33-UP9o
#pragma pack() iLkP@OYgQ
Ks^EGy+O:-
int main(int argc, char* argv[]) J_ `\}55n
{ B ? D|B
s2 a; t/:]\|]WB
char *p = (char *)&a; 51x)fZQ
for(int i=0;i<24;++i) Edav }z
p = (char)(i%8); !CuLXuM
printf("%d\n",sizeof(a)); "ZFK-jn/
printf("c=0x%lx\n",a.c); YS&Q4nv-
printf("d.a=0x%x\n",a.d.a); ^1+&)6s7V
printf("d.b=0x%x\n",a.d.b); \YsYOFc|
printf("e=0x%llx\n",a.e); 6Vc&g
return 0; 8Vqh1<
} KfLp cV
结果: WUqfY?5
24 J9/}ZD^
c=0x0 u:&Lf
d.a=0x504 l050n9#9p
d.b=0x3020100 $Z^HI
e=0x706050403020100 "4qv
yVOE
6}e"$Ee}9
m-!Uy$yM
网友 redleaves (ID最吊的网友)的答案和分析: @C6.~OiP
[?Q$b5j/M
如果代码: +0WI;M4i
#pragma pack(8) s:#\U!>0`
struct S1{ giz#(61j^
char a; OO+QH 2j
long b; )}jXC4
}; Az>gaJ/_
struct S2 { +eD+Z.{
char c; =`6_{<&
struct S1 d; #Y9~ Xp^.
long long e; u@-x3%W
}; 7q[a8rUdh
#pragma pack() '`Iuf\
sizeof(S2)结果为24. S-k:+ 4
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 2Fsv_t&*>
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. 4q\bnt
l>O~^41[
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; r+%}XS%;h
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. X,8]g.<
a b :;]iUjiC8
S1的内存布局:11**,1111, cfd7)(6
c S1.a S1.b d T#e ;$\
S2的内存布局:1***,11**,1111,****11111111 7B,axkr
&udlt//^%
这里有三点很重要: F"Y.'my8
1.每个成员分别按自己的方式对齐,并能最小化长度 `aW>h8$I)
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 ^5sO;vf
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 v5;V$EGD&
f?A1=lm~
|[}!E/7>b
网友xue23(xue23) 的答案和分析: yk|<P\
fSFb)+
有程序查一下各个变量的内存地址得知: g",htYoEnj
各个变量在内存中的位置为 [~<X|_LG
c***aa** U6@Hgi>
bbbb**** :v!e8kM\x
dddddddd 8vLaSZ="[
测试代码为: ]hL`HP
s2 ss; t$lO~~atr
cout << "ss.c = " << &ss << endl ; zg2}R4h
cout << "ss.d.a = " <<&ss.d.a << endl; ?@i_\<A2
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; ]FNqNZ
print out 各个变量的内存地址不就可以看出来了吗。 sox0:9Oqnf
$Dm2>:Dmt
所以答案是24,2. j!:^+F/
&6`h%;a/&
但是我的想像中应该是这样的分布情况: 58@YWvAk
c******* EBX+fzjQo
aa**bbbb =k\V~8XZ
dddddddd j:;[Y `2
:"9P {xe^
不知为什么会c和a放在一起,组成8位长度。