Intel和微软同时出现的C语言面试题 uk%C:4T
#pragma pack(8) dqwCyYC
p6~\U5rXm
struct s1{ Pd-0u> k
short a; P5 GM s
long b; ioxs x>e<
}; vg@kPuO iO
RC( fhqV
struct s2{ W*A-CkrO
char c; DyeV
uB
s1 d; }^r=(
long long e; xb/L AlJ
}; / J 3
s}Y_og_c
#pragma pack() F-i`GMWC
pzcV[E1
问 L
;5R*)t
1.sizeof(s2) = ? q{D_p[q
2.s2的s1中的a后面空了几个字节接着是b? b0W~*s [4
`I*W}5
/)I:C z/f
S[!s J-rG
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： & h)G>Sqc
/H 3u^
网友rwxybh(行云)的答案： Vs@[="
内存布局是 AITV+=sN
1*** 11** W
vh3Y,|3
1111 **** 1=LI))nV
1111 1111 TAfLC)
E ]eVoC
所以答案就是24和3 3I0=^ >A
,G2]3
3Z
下面是一个测试的程序，试一试就知道了，我用的是VC2005 4w p5ghe
vLQ!kB^\W
#pragma pack(8) &8VB{ S>r
b[+G+V
struct s1{ ^7Sk`V
short a; // 2 BYtes [I/f(GK
long b; // 4 Bytes @C[]o.r
}; Y 1 e>P
struct s2{ !uaV6K
char c; // 1 Byte 6ww4ZH?j
s1 d; // 8 Bytes k.Tu# 7
long long e; // 8 Bytes P%#WeQ+
}; Yphru" \$
// 1*** 11** OVr,
{[r
// 1111 **** TR2X' `:O
// 1111 1111 CX](^yU_
// CKJ9YKu{W
L,!3
// 00 01 02 03 04 05 06 07 Jpi\n-
d!
// 00 01 02 03 04 05 06 07 "[ f"h
// 00 01 02 03 04 05 06 07 V}?d
,.m`{
// )$18 a
#pragma pack() Y@)iPK@z
_`6fGu& W
int main(int argc, char* argv[]) C.SG m
{ 8?ig/HSt2
s2 a; C@!C='b,
char *p = (char *)&a; Z";~]]$!Y
for(int i=0;i<24;++i) K9JW&5Q
p = (char)(i%8); x!6&)T?!n
printf("%d\n",sizeof(a)); K$>C*?R
printf("c=0x%lx\n",a.c); H.\gLIr
printf("d.a=0x%x\n",a.d.a); 3yNILj
printf("d.b=0x%x\n",a.d.b); #$!(8>YJ
printf("e=0x%llx\n",a.e); k pc3l[.A
return 0; "`pI! nj
} Vc } #Ok
结果： wc #+ Yh6
24 S *3N6*-l"
c=0x0 dz^l6<a"n
d.a=0x504 ~G0\57;h
d.b=0x3020100 eWjLP{W
e=0x706050403020100 +T}:GBwD7
r;3{%S._
@^g/`{j>J
网友 redleaves (ID最吊的网友)的答案和分析： Jw%0t'0Zi
|7@[+
如果代码: <b 0;Nf
#pragma pack(8) ]{- >/.oB
struct S1{ I Nca
char a; ;6o p|O
long b; &\ (p<TF
}; W/*2I3a
struct S2 { ~jK'n4
char c; u,<#z0R|;$
struct S1 d; w eMC 9T)B
long long e; u nE h
}; i:ar{ q
#pragma pack() , sEu[m
sizeof(S2)结果为24. b$/TfpNdo
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. b Z!*s
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. Q;p?.GI?-
+5n,/YjS`
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; xO8-v mf2
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. :1 Jg;G
a b #{973~uj
S1的内存布局：11**,1111, 0IHc yb
c S1.a S1.b d FBit /0
S2的内存布局：1***,11**,1111,****11111111 SrMg=a
BMlnzi
这里有三点很重要: 0@w8, x
1.每个成员分别按自己的方式对齐,并能最小化长度 :r0?[#r?N,
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 m.ib#Y)y
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 y%.^|
G
dZnAdlJ
m/#)B6 @A
网友xue23(xue23) 的答案和分析： A%H" a+
IipG?v0z~
有程序查一下各个变量的内存地址得知： #]nH$K q
各个变量在内存中的位置为 nS xFz!
c***aa** >kK;IF9h
bbbb**** \!HG kmd
dddddddd x5q5<-#
测试代码为： L"Y_:l3"7
s2 ss; 56i9V9{2
cout << "ss.c = " << &ss << endl ; ?yKW^,q+
cout << "ss.d.a = " <<&ss.d.a << endl; .ztO._J7f
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; }S{#DgZ@X
print out 各个变量的内存地址不就可以看出来了吗。 m`(5B
fp^!?u
所以答案是24,2. ve|:z
_jmkA meu
但是我的想像中应该是这样的分布情况： ?m3,e&pB5
c******* xA|72!zk0P
aa**bbbb jkd'2
dddddddd ^8S'=Bk
v=4,k G
不知为什么会c和a放在一起，组成8位长度。
