Intel和微软同时出现的C语言面试题 SxC$EQgL
#pragma pack(8) N7%Jy?-+
3j0/&ON
struct s1{ JGf6*D"O
short a; 8nQlmWpJ
long b; a9"x_IVU
}; 2Y&z}4'j
_x z_D12
struct s2{ P
/wc9Yt
char c; IoJkM-^H&)
s1 d; AZorz Q]s
long long e; ?AyG!F
}; R+gh 2
6e
zUXqTcj
#pragma pack() P$.Azrl
$2Ox;+
问 wsP3hE' ]
1.sizeof(s2) = ? BkA>':bUr
2.s2的s1中的a后面空了几个字节接着是b? Uk-^n~y
jN 5Hku[?
tHXt*tzq
*f.eyg#
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: ;%]Q%7
A2uSH@4
网友rwxybh(行云)的答案: ;:cU /{W
内存布局是 i5|A\Wv"
1*** 11** J^pL_
1111 **** >AV-i$4eQ@
1111 1111 xv 's52x
s}`ydwSg8
所以答案就是24和3 w@nN3U+
;_of'
下面是一个测试的程序,试一试就知道了,我用的是VC2005 waQNX7Xdn
HvK<>9
#pragma pack(8) ;yY>SaQ
3A4?9>g)KU
struct s1{ #; E,>0
short a; // 2 BYtes "2
ma]Ps
long b; // 4 Bytes ~!,'z
}; `9s5 *;Z
struct s2{ x<P$$G/
char c; // 1 Byte ai`fP{WlX
s1 d; // 8 Bytes K`j#'`/KC
long long e; // 8 Bytes Vg\EAs>f
};
qeBfE
// 1*** 11** @?3u|m |Z
// 1111 **** (#eB%
// 1111 1111 so8isDC'9
// \UGs_5OT
~ra2Xyl
// 00 01 02 03 04 05 06 07 +~ :1H.
// 00 01 02 03 04 05 06 07 b,~4O~z
// 00 01 02 03 04 05 06 07 ToCB*GlL
// +0.$w
#pragma pack() =JOupw
R5r )01
int main(int argc, char* argv[]) /+"BU-aQk
{ 8K]fw{-$L
s2 a; ><TuL7+
char *p = (char *)&a; Od^y&$|_%`
for(int i=0;i<24;++i) SBAq,F'
p = (char)(i%8); PD$ay^Y
printf("%d\n",sizeof(a)); V~&P<=8;Wl
printf("c=0x%lx\n",a.c); >VE,/?71@
printf("d.a=0x%x\n",a.d.a); L<J';#BD
printf("d.b=0x%x\n",a.d.b); ]H[RY&GY
printf("e=0x%llx\n",a.e); Zu_m$Mx
return 0; Dvo.yn|kB
} P_z3TK
结果: zW!3>(L/
24 V Z}^1e
c=0x0 +Ys<V
d.a=0x504 d\3L.5]X
d.b=0x3020100 }7IS:"tu
e=0x706050403020100 {|^9y]VFu
m%+W{N4Wb
9-Ikd>9
网友 redleaves (ID最吊的网友)的答案和分析: YnNB#x8|
u<]-%ha$
如果代码: WT;=K0W6&
#pragma pack(8) 9<.FwV>
struct S1{ B$ +YK%I
char a; H(lq=M0~
long b; s!9.o_k
};
zKx?cEpE
struct S2 { ' 6Ybf
char c; fS>W-
struct S1 d; '8 1M%KO
long long e; .YYiUA-i9n
}; *
Od_Cl
#pragma pack() ivb&J4?y
sizeof(S2)结果为24. fv5'Bl
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. N~;=*)_VH
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. (Vf&,b@U_
H\Y.l,^
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; I')URk[
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{| 1E85fl
a b QjWv?tm
S1的内存布局:11**,1111, 'aBX>M
c S1.a S1.b d u&I?LZ-=,
S2的内存布局:1***,11**,1111,****11111111 ua/A &XQx
ecA:y!N
这里有三点很重要: g:dw%h
1.每个成员分别按自己的方式对齐,并能最小化长度 "w*VyD
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 z\pT nteO
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 U? [a@Hj{
}W#Gf.$6C
kUUN2
网友xue23(xue23) 的答案和分析: YjdCCju
I+kGEHO}
有程序查一下各个变量的内存地址得知: |qH -^b.F
各个变量在内存中的位置为 _"&b%!
c***aa** -N<s =
bbbb**** T6=c9f?7
dddddddd _VMW-trG
测试代码为: R3TdQ6j
s2 ss; |g;hXr#~
cout << "ss.c = " << &ss << endl ; DxdiXf[j
cout << "ss.d.a = " <<&ss.d.a << endl; Dkayk
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; EA7 8&
print out 各个变量的内存地址不就可以看出来了吗。 7"yA~e,l
skh6L!6*<
所以答案是24,2. b/:9^&z
?[hIv6c
但是我的想像中应该是这样的分布情况: +;c)GNQ)6:
c******* a}|B[b
aa**bbbb .}&bE1
dddddddd 'H`aQt+
hD/bgquT
不知为什么会c和a放在一起,组成8位长度。