Intel和微软同时出现的C语言面试题 p8(Z{TSv
#pragma pack(8) $&X-ay o
Dg}$;PK
struct s1{ j@.^3:
short a; Mhu|S) hn
long b; &P&VJLA e
}; cvVv-L<[S`
w Y=k $
struct s2{ r !;wKO
char c; vLIaTr gz
s1 d; 9>r@wK' Pn
long long e; SNc $!
}; _6.Y3+7I
|_m N:(3
#pragma pack() J d28 /X5&
w5`EJp8MC
问 `Sal-|[Cv[
1.sizeof(s2) = ? "sYZ3
2.s2的s1中的a后面空了几个字节接着是b? 3QDz9KwCAw
?$.JgG%Z+g
w >w zV=R
?izl#?
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： p&2oe\j$,
p :zRgwcn
网友rwxybh(行云)的答案： (*Z:ByA
内存布局是 ?T)M z
q}
1*** 11** X16vvsjw5
1111 **** l#TE$d^ym
1111 1111 "t%Jj89a\
!3)WW)"!r
所以答案就是24和3 t!\B6!Fo
&3 * #h
下面是一个测试的程序，试一试就知道了，我用的是VC2005 r"!xI
<UwYI_OX
#pragma pack(8) 6 IRa$h>H
@pl h 'f}
struct s1{ M{g.x4M@W
short a; // 2 BYtes O>d
[;Q
long b; // 4 Bytes r3 dGXiu
}; o>HU4 O}
struct s2{ \V
T.bUs
char c; // 1 Byte h A1p#
s1 d; // 8 Bytes L&0aS:
long long e; // 8 Bytes YySo%\d
}; 1D1qOg"LE
// 1*** 11** *tfD^nctO
// 1111 **** _R}yZ=di
// 1111 1111 Lk.tEuj=82
// QzxEkTc;
OMAvJzK .
// 00 01 02 03 04 05 06 07 $r )NL
// 00 01 02 03 04 05 06 07 p8j*m~4 B
// 00 01 02 03 04 05 06 07 Muyi2F)j
// 7Q9| P?&:z
#pragma pack() 0 YAH[YF
dF><XZph
int main(int argc, char* argv[]) aKin tb}n
{ |nBs(>b
s2 a; U |Uc| 6
char *p = (char *)&a; \_x~lRqJJ
for(int i=0;i<24;++i) 54#P
p = (char)(i%8); FuC \qF
printf("%d\n",sizeof(a)); xdh%mG:?
printf("c=0x%lx\n",a.c); \ 027>~u
{
printf("d.a=0x%x\n",a.d.a); Py# TXzEcC
printf("d.b=0x%x\n",a.d.b); 9Dp0Pi?29
printf("e=0x%llx\n",a.e); ?JBA`,-
return 0; & gcZ4 gpH
} 4 %V9
结果： gv){&=9/
24 _'l" Dk
c=0x0 AdR p{^w
d.a=0x504 \1hQ7:f;\
d.b=0x3020100 g3
Oro}wt6
e=0x706050403020100 = {;7WB$
DFvGc`O4
"^)GnK +-
网友 redleaves (ID最吊的网友)的答案和分析： b[J0+l\!"
MT6" b
如果代码: -Jt36|O
#pragma pack(8) Z !3R
struct S1{ gwr?(:?
char a; <[K3Prf C
long b; @`ii3 & W4
}; Dus!Ki~8(t
struct S2 { 0lV;bVa%
char c; l,Fn_zO
struct S1 d; fL*+[v4
long long e; I%NeCd
}; S gssNv
#pragma pack() a#l ytp
sizeof(S2)结果为24. rBOH9L
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. Z5
7.+z<
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. YFDO p *
~n! & ~
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 11c\C Iu
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. >!Xj%RW
a b _-rC]iQJ55
S1的内存布局：11**,1111, 6s'n
r7'0
c S1.a S1.b d @$iZ9x6t
S2的内存布局：1***,11**,1111,****11111111 C DoD9Hq,
`z$P,^g`
这里有三点很重要: Uy FC\vQ
1.每个成员分别按自己的方式对齐,并能最小化长度 4sW' p H
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 7!wc'~;
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 P- +]4\
xGFbh4H=8p
;G[0%z+*
网友xue23(xue23) 的答案和分析： ;WAa4r>
,.h@tN<C
有程序查一下各个变量的内存地址得知： EwmNgmYq
各个变量在内存中的位置为 I9m9`4BK
c***aa** /8!n7a7
bbbb**** /;{L~f=et)
dddddddd ([^#.x)hz
测试代码为： I@\D
tQZ
s2 ss; w=3
j'y{f
cout << "ss.c = " << &ss << endl ; 9dm <(I}
cout << "ss.d.a = " <<&ss.d.a << endl; \&~YFj B
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; RAnF=1[v
print out 各个变量的内存地址不就可以看出来了吗。 pe<T" [X
]0BX5Z'
所以答案是24,2. R.DUfU"gp
S^ D7}
但是我的想像中应该是这样的分布情况： *? $ M=tH
c******* n`@dk_%yI
aa**bbbb X8ZO
} X
dddddddd ' sNiJ >
~ch%mI~
不知为什么会c和a放在一起，组成8位长度。
