Intel和微软同时出现的C语言面试题 YLc 2:9
#pragma pack(8) $,+'|_0yM
Wj N0KA
struct s1{ JDO5eEwj
short a; v] *(Wd~|
long b; FS.z lk\D=
}; _;*|"e@^
=}@m$g
struct s2{ }hT1@ I
char c; z!09vDB^
s1 d; '8g/^Y@
long long e; k:(i sKIA
}; && C]i~
}NQx2k0
#pragma pack() l@}BWSx&ms
!6:q#B*
问 F">>,Oc)U"
1.sizeof(s2) = ? <,S0C\la=
2.s2的s1中的a后面空了几个字节接着是b? !*8x>,/>
RZykwD(
g=?KpI-pn0
USVM' ~p I
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： :P$I;YY=A
5H_%inWM
网友rwxybh(行云)的答案： 'TPRGX~&
内存布局是 ?L|Jc_E
1*** 11** +cAN4
1111 **** T7W*S-IW
1111 1111 \Fh k>
h v xvwV1
所以答案就是24和3 z~d\d!u1
)r
O`K
下面是一个测试的程序，试一试就知道了，我用的是VC2005 5 BKmp-m
y%T5"p$,
#pragma pack(8) {b@rQCre7
am I$0
struct s1{ &lYKi3}x
short a; // 2 BYtes ],r?]>
long b; // 4 Bytes "i$uV3d
}; }vOUf# ^k
struct s2{ _q([k_4h
char c; // 1 Byte ) Qve[O
s1 d; // 8 Bytes <@C Bc:j0
long long e; // 8 Bytes 9E{Bn#
}; eK"B .q7
// 1*** 11** 5G 8`zy
// 1111 **** Z-m,~Hh
// 1111 1111 SM:SxhrGt
// [ woR 9azC
0y4z`rzTn
// 00 01 02 03 04 05 06 07 }z&P^p)R
// 00 01 02 03 04 05 06 07 Y[8w0ve- g
// 00 01 02 03 04 05 06 07 J.x>*3< l
// D 5X;hd
#pragma pack() 5* 1wQlL
1r}fnT<
int main(int argc, char* argv[]) =+gp~RR,
{ NF= FbvNe
s2 a; /p')
u3
char *p = (char *)&a; @]f"X>
for(int i=0;i<24;++i) .
FT*K[+ih
p = (char)(i%8); n<:/ X tE
printf("%d\n",sizeof(a)); #)%N+Odnr
printf("c=0x%lx\n",a.c); zOq~?>Ms6
printf("d.a=0x%x\n",a.d.a); )@Yp;=l
printf("d.b=0x%x\n",a.d.b); >vg!<%]W]
printf("e=0x%llx\n",a.e); 9/w'4bd
return 0; YgaJ*%\
} Co8 b0-Z
结果： 5| 2B@6-
24 zY8"\ZB
c=0x0 ~ MY7Ic%
d.a=0x504 aDa}@-F&a
d.b=0x3020100 &sL5 Pt_
e=0x706050403020100 z]>aWH}$
x&R&\}@G m
!D%*s ,t\'
网友 redleaves (ID最吊的网友)的答案和分析： 2]NP7Ee8 Z
K@VXFV
如果代码: -5\aL"?4
#pragma pack(8) xiU-}H'o
struct S1{ a<Pi J?
char a; @u/< ^j3Q
long b; 1G|Q~% cv
}; XzQ=8r>l
struct S2 { @. kv",[{[
char c; 8aGZ% UI
struct S1 d; MAR
kTxzi
long long e; l1c& a[M)
}; , $3
#pragma pack() u*Oz1~
sizeof(S2)结果为24. c%)uG _
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. '2]u{rr~+
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. i`r,B`V`08
f7X#cs)a
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; &tZ?%sr
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 9G_=)8sOV
a b `. %;|"xR
S1的内存布局：11**,1111, d8M"vd
c S1.a S1.b d GT%V,OJ
S2的内存布局：1***,11**,1111,****11111111 {R8Q`2R
iCN@G&rVw
这里有三点很重要: 6u7 (}K
1.每个成员分别按自己的方式对齐,并能最小化长度 /+RNPQO O
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 u7j-uVG
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 s~/]nz]"J
aJMh>
W _b $E
=
网友xue23(xue23) 的答案和分析： ( uOW5,e7
O)Nt"k7
b
有程序查一下各个变量的内存地址得知： fokT)nf~^8
各个变量在内存中的位置为 |k&.1NkZ
c***aa** -7ct+3"J
bbbb**** /_, ~dt
dddddddd j %TYyL-
测试代码为： ^yK94U;<Gy
s2 ss; .El oBP
cout << "ss.c = " << &ss << endl ; 5?;'26iC
cout << "ss.d.a = " <<&ss.d.a << endl; +nuv?QB/
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; NJUYeim;
print out 各个变量的内存地址不就可以看出来了吗。 -f9M*7O<gf
K?[pCF2C
所以答案是24,2. [tMf KO
+ y.IDn^
但是我的想像中应该是这样的分布情况： =AL95"cH~
c******* * {4cc
aa**bbbb <O5 ;w
dddddddd RMC|(Q<
xOT'4v&.
不知为什么会c和a放在一起，组成8位长度。
