Intel和微软同时出现的C语言面试题 9p 4 "r^
#pragma pack(8) ]fnnZ
SxyONp.$\
struct s1{ w|mb4AyL{?
short a; ,:Vm6u!
long b; :RSz4
}; EA.D}X C
N3t0-6$_
struct s2{ o }Tz"bN
char c; E6Rz@"^XV
s1 d; sfr(/mp(
long long e; n/QF2&X7)
}; RWgDD;&_[a
*xf ._~E
#pragma pack() @ZN^1?][
3$vRW.c\q
问 Md)zEj`\
1.sizeof(s2) = ? !KKT[28v
2.s2的s1中的a后面空了几个字节接着是b? k^$+n _
J68j=`Y
I"AYWo?
Ub0/r$]DK
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： D7]# Xk2
_$<Gyz*
网友rwxybh(行云)的答案： U%7i=Z{^Ks
内存布局是 5`~mmAUk;`
1*** 11** %xwIt~Y
1111 **** B) $c|dUV
1111 1111 WWwUwUi
a/~aFmu6b
所以答案就是24和3 = k}SD96
3`O?1 6O
下面是一个测试的程序，试一试就知道了，我用的是VC2005 }}QT HR
G{aT2c
#pragma pack(8) Q|}a R:4
|CgnCUv+
struct s1{ {^{p ,9
short a; // 2 BYtes T0Yiayt
long b; // 4 Bytes U(& oj e
}; y#Ht{)C
struct s2{ K\[!SXg@
char c; // 1 Byte y AF+bCXo
s1 d; // 8 Bytes ~5ZvOX6L2
long long e; // 8 Bytes =1h9rlFj"D
}; jO 9ip
// 1*** 11** h9 $ Fx
// 1111 **** "SN4*
// 1111 1111 e]ig!G]
// GZ!| }$ 8
0,*% vG?Q
// 00 01 02 03 04 05 06 07 qP!eJ6[Nh"
// 00 01 02 03 04 05 06 07 8 9{HJ9}
// 00 01 02 03 04 05 06 07 =U
OLT>!
// ezhDcI_ T
#pragma pack() [MX;,%;;
^ /wf Xm
int main(int argc, char* argv[]) [#" =yzR<3
{ 3 <|`0pt}
s2 a; /|{,sWf2
char *p = (char *)&a; d
"BW/%m|g
for(int i=0;i<24;++i) @Un/c:n
p = (char)(i%8); _ |<d5TI
printf("%d\n",sizeof(a)); J
)BI:]m
printf("c=0x%lx\n",a.c); -@^Zq}
printf("d.a=0x%x\n",a.d.a); ( VyNvB
printf("d.b=0x%x\n",a.d.b); v8>v.}y
printf("e=0x%llx\n",a.e); U5Erm6U:
return 0; Ot&:mT!2
} YF#H Sf7
结果： 8$ xPex~2
24 DG(7|`(aY
c=0x0 +y[@ T6_
d.a=0x504 q<e&0u4
d.b=0x3020100 Vi! Q
e=0x706050403020100 k'`m97B
@e~]t}fH
5OM?3 M
网友 redleaves (ID最吊的网友)的答案和分析： G @!z$
MgnM,95
如果代码: I4H`YOD%
#pragma pack(8) sK$wN4k
struct S1{ CR4rDh8z a
char a; M "=n>;*X
long b; VvByHcLv
}; si1*Wt<3Bc
struct S2 { _\ 5~>g_
char c; 71FeDpe
struct S1 d; ~>G]_H]?
long long e; `U!y&Q$,
}; (%ew604X
#pragma pack() Ue5O9;y]u
sizeof(S2)结果为24. U IJx*
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. x9>\(-uU
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. ,lY aA5&I
Q+|{Bs)6i1
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; k>4qkigjc
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. &0N<ofYX
a b ~+D*:7Y_
S1的内存布局：11**,1111, E
?2O(
c S1.a S1.b d {mYP<N BT
S2的内存布局：1***,11**,1111,****11111111 oqk VYl E
*#>F.#9
这里有三点很重要: c"YXxA J
1.每个成员分别按自己的方式对齐,并能最小化长度 I"L;L?\S
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 s}M= oe
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 cl [!`Z
#~:P}<h
Z{-Lc68
网友xue23(xue23) 的答案和分析： xtV[p4U
,cTgR78'
有程序查一下各个变量的内存地址得知： "yb WD Wu
各个变量在内存中的位置为 z,;;=V6j
c***aa** *a}(6Cx
bbbb**** = Je>`{J
dddddddd `T*U]/zQ
测试代码为： hi{%pi&!T
s2 ss; l1_X(Z._V
cout << "ss.c = " << &ss << endl ; T~4mQuYi
cout << "ss.d.a = " <<&ss.d.a << endl; "vF
MSY
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 3EFD%9 n
print out 各个变量的内存地址不就可以看出来了吗。 m/&i9A
4\X||5.c
所以答案是24,2. v vu<:16
S[M4ukYK
但是我的想像中应该是这样的分布情况： A(6xg)_XQ
c******* eOO+>%Z
aa**bbbb H(u+#PIIw
dddddddd d<p 2/ aA
@B1{r|-<^
不知为什么会c和a放在一起，组成8位长度。
