Intel和微软同时出现的C语言面试题 'j+J?Y^
#pragma pack(8) !Z6GID})p
:!f1|h
struct s1{ OW12m{
short a; b}[W[J}`
long b; vK?{Z^J][
}; .{1MM8 Q
PiRbdl
struct s2{ f`jRLo*L
char c; v5 yOh5
s1 d; R3$K[Lv,
long long e; huau(s0um
}; ^r<bi%@C$
rtz%(4aS
#pragma pack() X192Lar
F_$ K+6
问 v?7.)2XcX
1.sizeof(s2) = ? (Js'(tBhiU
2.s2的s1中的a后面空了几个字节接着是b? r$*p
%HJ_0qg
VlVd"jW
WJ+<&6W8
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: R9->.eE
j/R
网友rwxybh(行云)的答案: .TURS
内存布局是 ;TK:D=p4
1*** 11** av1*i3
1111 **** /EOtK|E
1111 1111 {qm(Z+wcmb
Cp_YIcnEJ
所以答案就是24和3 @GYM4T
:LL>C)(f
下面是一个测试的程序,试一试就知道了,我用的是VC2005 TWC^M{e
^zv28Wq>
#pragma pack(8) TCSm#?[B
m(Cn'@i`"0
struct s1{ $ #C$V>
short a; // 2 BYtes Z50]g
long b; // 4 Bytes EV@xUq!x.
}; SLc6]?
struct s2{ 'W~O?
char c; // 1 Byte }XiS:
s1 d; // 8 Bytes j`\} xDg
long long e; // 8 Bytes D'>yu"
}; mB$r>G/'
// 1*** 11** ;&|ja]r
// 1111 **** ".qh]RVjV
// 1111 1111 :_tsS)Q2m
// .( vS/
5M~\'\;
// 00 01 02 03 04 05 06 07 '$M=H.
// 00 01 02 03 04 05 06 07 :Q\b$=,:
// 00 01 02 03 04 05 06 07 C,w$)x5kls
// ztG_::QtG]
#pragma pack() ?Ee HeN_
n2R{$^JxO
int main(int argc, char* argv[]) NwmO[pt+
{ gUCv#:
s2 a; Gt[!q\^?
char *p = (char *)&a; EeKEw
Sg
for(int i=0;i<24;++i) S2"p(
p = (char)(i%8); laqW
{sX^5
printf("%d\n",sizeof(a)); DY6wp@A
printf("c=0x%lx\n",a.c); cT8jG,+"}
printf("d.a=0x%x\n",a.d.a); =F
ZvtcCa
printf("d.b=0x%x\n",a.d.b); N`/6
By
printf("e=0x%llx\n",a.e); /r|^Dc Nx
return 0; 6tM CpSJ
} zQ}:_
结果: K ^1bR(a
24 _EOQ*K#=Ct
c=0x0 !h2ZrT9
_
d.a=0x504 #zXkg[J6d
d.b=0x3020100 vcAs!ls+
e=0x706050403020100 k@AOE0m
Bya!pzbpr
I`2hxLwh+
网友 redleaves (ID最吊的网友)的答案和分析: PKu+$
v[ru }/4
如果代码: rZZueYuXO
#pragma pack(8) J;+iW*E:
struct S1{ L
'342(
char a; &|H?J,>
long b; V2%FWo|
}; W\zg#5fmK
struct S2 { x9
<cT'
char c; ]]+wDhxH
struct S1 d; 9S.Uo[YY
long long e; pSASMc@
}; ?T70C9
#pragma pack() }7vX4{Yn
sizeof(S2)结果为24. @q2Yka
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. `Y/DttjL
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. )oa6;=go
APuG8
<R,
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; B[Uvj~g
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 0W9,uC2:N
a b ;|b
D@%@
S1的内存布局:11**,1111, 4_`+&
c S1.a S1.b d .-[UHO05^8
S2的内存布局:1***,11**,1111,****11111111 *:3flJt
`Bnp/9q5
这里有三点很重要: GLt#]I"LY
1.每个成员分别按自己的方式对齐,并能最小化长度 j"/i+r{"E
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 cI'&gT5
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 on+
c*#
BULX*eOt
^!1mChf
网友xue23(xue23) 的答案和分析: 9rtcI[&?0
$ W(m
有程序查一下各个变量的内存地址得知: gec<5Ewg
各个变量在内存中的位置为 #Z}\;a{vZ
c***aa** ju(&v*KA
bbbb**** p}!rPd*
dddddddd VLN=9
测试代码为: :sFP{rFx~
s2 ss; 7Rk eV
cout << "ss.c = " << &ss << endl ; |~W!Y\l-
cout << "ss.d.a = " <<&ss.d.a << endl; YrjF1hJ
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; -d6|D?}S
print out 各个变量的内存地址不就可以看出来了吗。 H
|Z9]+h)7
L\5j"]
}`
所以答案是24,2. Ezm ~SY
.ev'd&l.
但是我的想像中应该是这样的分布情况: B+wSLi(
c******* Io{)@H"f
aa**bbbb .3A66 O~zT
dddddddd W j/.rG&tE
$k V^[
不知为什么会c和a放在一起,组成8位长度。