Intel和微软同时出现的C语言面试题 +=\S "e[F
#pragma pack(8) G`6U t
3AWB Y.
struct s1{ <Y~V!9(~{Q
short a; YV!!bI
long b; ?xN8HG4
}; `+"QhQ4w
KO{}+~,.6
struct s2{ 8Yb/ c*
char c; ~\ie/}zYj
s1 d; ^,U&v;
long long e; %}'sFum`
}; F4bF&% R
<=A&y5o
#pragma pack() 3vrQY9H>
eRVu/TY
问 pKr3(5~
1.sizeof(s2) = ? jVfC 4M7 ,
2.s2的s1中的a后面空了几个字节接着是b? YI%S)$
.~b6wi&n
ZJR{c 5TE
yMo@ka=v
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: b#82G`6r
N|[a<ut<
网友rwxybh(行云)的答案: t{?_]2vl
内存布局是 n>#h(
1*** 11** Rw$ @%o%
1111 **** [K"v)B'
1111 1111 ^QYI`u` 4
U$Ew,v<
所以答案就是24和3 >D-$M_
/f0_mi,bD
下面是一个测试的程序,试一试就知道了,我用的是VC2005 YRC`2)_'
NA0hQGN}
#pragma pack(8) 3P#1fI(c
z,2m7C
struct s1{ $1Xg[>1g5
short a; // 2 BYtes b[*di{?-
long b; // 4 Bytes Nk=M
}; d^lA52X6P
struct s2{ 9^c_^-8n<}
char c; // 1 Byte ZO}V}3
s1 d; // 8 Bytes V!ajD!00
long long e; // 8 Bytes (MxLw:AV
}; fl)Oto7
// 1*** 11** \>YXPMIk
// 1111 **** j$8~M
// 1111 1111 Gi{1u}-0
// 4pc=MR
*YtITyDS3>
// 00 01 02 03 04 05 06 07 t%FS 5
// 00 01 02 03 04 05 06 07 [X~HUk??
// 00 01 02 03 04 05 06 07 vW]BOzK
// ipU"|{NK
#pragma pack() D_, 2z
#m8Oy|Y9`
int main(int argc, char* argv[]) q=[0`--cd
{ #p_ ~L4iW
s2 a; iqOd]H]v
char *p = (char *)&a; rH-_L&
for(int i=0;i<24;++i) F,lQj7
p = (char)(i%8); lzwr]J%|?
printf("%d\n",sizeof(a)); [2&Fnmjk}X
printf("c=0x%lx\n",a.c); ]+@b=J2b
printf("d.a=0x%x\n",a.d.a); + x4o# N
printf("d.b=0x%x\n",a.d.b); %/sf#8^m
printf("e=0x%llx\n",a.e); 7L]fCw
p[
return 0; bgEUG
} PDGh\Y[AK,
结果: [9>1e
24 d[O.UzQ
c=0x0 =Wl
CE_
d.a=0x504 0} {QQB
d.b=0x3020100 H:~LL0Md%
e=0x706050403020100 qbT].,?!U
$(_i>&d<
c\RDa|B,
网友 redleaves (ID最吊的网友)的答案和分析: 1miTE4;?
_N*4 3O`
如果代码: o9Agx{'oV
#pragma pack(8) */Y@:Sjf
struct S1{ Ad`;O+/;
char a; 3UH=wmG0w
long b; 'X[3y^q
}; \wnQ[UNjP
struct S2 { A4SM@ry
char c; O #0:6QX
struct S1 d; !5{t1 oJ
long long e; z{tyB
}; Sc*p7o: A
#pragma pack() 4Ly!:GH3T
sizeof(S2)结果为24. 'zpj_QM
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 5HJ6[.HO
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. f+F /`P%
`Th!bk
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 98V9AOgk
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ~rKo5#D
a b |yqx
]
S1的内存布局:11**,1111, fx=aT
c S1.a S1.b d i[FBll-
S2的内存布局:1***,11**,1111,****11111111 G>H&M#7K
.@xwl}o$OL
这里有三点很重要: Zcf?4{Kd?
1.每个成员分别按自己的方式对齐,并能最小化长度 XmXHs4
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 y]@_DL#J=
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 $TR[SMj
tq1h1
BWQ
(>Z"
网友xue23(xue23) 的答案和分析: *t*yozN
1?mQ
fW@G
有程序查一下各个变量的内存地址得知: !".@Wg$
各个变量在内存中的位置为 C' ny 2>uA
c***aa** `Y$LXF~,Om
bbbb**** o/9 V1"
dddddddd W\X51DrEx
测试代码为: 9C`Fd S
s2 ss; ]@Zj-n8
cout << "ss.c = " << &ss << endl ; B"8^5#t4s
cout << "ss.d.a = " <<&ss.d.a << endl; %>pglI
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; FK+jfr [
print out 各个变量的内存地址不就可以看出来了吗。 "Tfb d^AU
>.zk-`>-
所以答案是24,2. *6=[Hmygi
cMtkdIO
但是我的想像中应该是这样的分布情况: W;,Jte<'Nm
c******* KcY 2lTvx
aa**bbbb K);:+s-
dddddddd "X}!j>-
[}+
MZ
不知为什么会c和a放在一起,组成8位长度。