Intel和微软同时出现的C语言面试题 `&/~%>
#pragma pack(8) zcCGREe=
oeA}b-Ct0
struct s1{ Jf3xK"in
short a; <c_'(
long b;
SUaXm#9
}; A[8vD</}_
c0.? d]
struct s2{ !McRtxq?~
char c; `Qxdb1>mjY
s1 d; Z_WJgH2c
long long e; XM:Y(#?l
}; q6AL}9]9
t +h}hL
#pragma pack() <d]
t{M62W
P0O=veCf
问 9^2l<4^Z
1.sizeof(s2) = ? ]MaD7q>+R
2.s2的s1中的a后面空了几个字节接着是b? /=+Bc=<lZ
~0T,_N
$(N+E,XB
,cwjieM
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: +WfO2V.
<-s5
;xwtS
网友rwxybh(行云)的答案: %O02xr=
内存布局是 8i Xt8XY3
1*** 11** $e/[!3CASP
1111 **** ODyKS;
1111 1111 t<H@c9{;*
DEN (pA\
所以答案就是24和3 ^hyp}WN
jrLV \(p
下面是一个测试的程序,试一试就知道了,我用的是VC2005 ^#p+#_*V
t(r}jU=qw
#pragma pack(8) k35E,?T
4Tn97G7
struct s1{ tXW7G@
short a; // 2 BYtes !v?WyGbUg
long b; // 4 Bytes |0s)aV|K
}; Xb\de_8!
struct s2{ [l:}#5\]4
char c; // 1 Byte AEO7I
f@
s1 d; // 8 Bytes $G D@e0
long long e; // 8 Bytes du_TiI
}; &A)u!l Ue
// 1*** 11** )Bpvi4O
// 1111 ****
?8TIPz J
// 1111 1111 BU=;rz!;
//
ZO\x|E!b
*sYvV,
// 00 01 02 03 04 05 06 07 ;T\'|[bY
// 00 01 02 03 04 05 06 07 Cy2)M(RW
// 00 01 02 03 04 05 06 07 .e1Yd8
// k^e;V`(
#pragma pack() [;, Xp/
gkMyo`
int main(int argc, char* argv[]) XyrQJ}WR|
{ @zq]vX-A_
s2 a; 2Nvb Q 3c5
char *p = (char *)&a; W*.6'u)9
for(int i=0;i<24;++i) rlP?Uh
p = (char)(i%8); ty-erdsP
printf("%d\n",sizeof(a)); Fz1K*xx'
printf("c=0x%lx\n",a.c); :7 OhplI
printf("d.a=0x%x\n",a.d.a); Rt3/dw(p
printf("d.b=0x%x\n",a.d.b); #J|DW C!#d
printf("e=0x%llx\n",a.e); u3])_oj=
return 0; ~=i<O&nai
} jPA^SxM
结果: "fZWAGDBO\
24 `R@b`3*%v
c=0x0 aZB$%#'vR
d.a=0x504 WwAvR5jq
d.b=0x3020100 ^rssZQKY[
e=0x706050403020100 ,!Q^"aOT:
\>lDM
]mdO3P
网友 redleaves (ID最吊的网友)的答案和分析: ^J?y
mo$>0
[a!*m<
如果代码: z!>ml3
#pragma pack(8) 2YhtD A
struct S1{ :WHbwu,L$
char a;
`ZZq Sc4
long b; 5sI9GC
}; #{x4s?
struct S2 { fYUbr"Oe
char c; I`4k5KB;
struct S1 d; -H9WwFk
long long e; u7}C):@H
}; ]m@p? A$
#pragma pack() LR Dj!{k{
sizeof(S2)结果为24. '
i<}/l
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. qJq!0F
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. <EM'|IR?
"
'TEBkj|u
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; rUWC=?Q
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ^<w3i?KPW
a b {1m.d;(1
S1的内存布局:11**,1111, Vk?US&1q}
c S1.a S1.b d P-)`FB
S2的内存布局:1***,11**,1111,****11111111 }4XXNYH
_(0GAz%9
这里有三点很重要: vuO~^N]G
1.每个成员分别按自己的方式对齐,并能最小化长度 WeE1 \
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 141XnAb)I
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 st-I7K\v
87q~
nk
<0!)}O
网友xue23(xue23) 的答案和分析: _ m<@ou7
_ Y8jl,J
有程序查一下各个变量的内存地址得知: J*m~fZ^
各个变量在内存中的位置为 8c5%~}kG
c***aa** U~s-'-C/
bbbb**** +?bjP6w_g
dddddddd z,IUCNgM
测试代码为: H:!pFj
s2 ss; 4$MV]ldUI
cout << "ss.c = " << &ss << endl ; ,@r 0-gL
cout << "ss.d.a = " <<&ss.d.a << endl; 'q, L*
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; !B:wzb_
print out 各个变量的内存地址不就可以看出来了吗。 +MvO+\/
K}TSwY
所以答案是24,2. xF])NZy|
qJYEsI2M
但是我的想像中应该是这样的分布情况: `z~L0h
c******* 8;Eg>_cL:
aa**bbbb `PI?RU[g*
dddddddd f}uW(:f
Lu9`(+
不知为什么会c和a放在一起,组成8位长度。