Intel和微软同时出现的C语言面试题 9a 9<I
#pragma pack(8) XL c&7
EgM.wQHR]
struct s1{ FiMP_ y*S
short a; "2;$?*hO#
long b; X&nkc/erx
}; 5|f[evQj<S
O|m-Uz"+
struct s2{ 3.U5Each-
char c; zB/$*Hd
s1 d; !;.i#c_u
long long e; } R!-*Wk
}; o[q
Kf
#qWa[kB
#pragma pack() /s.sW l
ftq&<8
问 y;<^[
1.sizeof(s2) = ? Iz,a
Hrq
2.s2的s1中的a后面空了几个字节接着是b? $]|fjB#D
!31v@v:)
RKFj6u
7\@[e, ^9
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: v/=O:SM}
jCqs^`-
网友rwxybh(行云)的答案: _;3xG0+
内存布局是 "]>JtK
1*** 11** 9Xo'U;J
1111 **** g#ubxC7t<
1111 1111 *2N$l>ql:k
KywDp 37^
所以答案就是24和3 Ug*:o d
Os'
7h
下面是一个测试的程序,试一试就知道了,我用的是VC2005 Rd|};-
GV#"2{t
j
#pragma pack(8) EpSVHD:*
S~0 mY}
m
struct s1{ Ta`=c0
short a; // 2 BYtes YbB8D-
long b; // 4 Bytes J5h;~l!y
}; ]n1@!qa48
struct s2{ .9{Sr[P
char c; // 1 Byte ag^EH"%zw
s1 d; // 8 Bytes r7o63]
long long e; // 8 Bytes G/>upnA{w
}; Zc(uK{3W-
// 1*** 11** wG6>.`:
// 1111 **** _Z z"`
// 1111 1111 Z12-Vps
// w^EAk(77
\72(d
// 00 01 02 03 04 05 06 07 fvK):eCo
// 00 01 02 03 04 05 06 07 bDVz+*bU}
// 00 01 02 03 04 05 06 07 (Em^qN
// 0G ^73Z
#pragma pack() |S[Gg
E9TWLB5A)(
int main(int argc, char* argv[]) P,lKa.
{ *t.L` G
s2 a; <x@brXA
char *p = (char *)&a; fBBNP)
for(int i=0;i<24;++i) 7.-Q9xv
p = (char)(i%8); ,0O9!^
printf("%d\n",sizeof(a)); 'AU(WHf
printf("c=0x%lx\n",a.c); Bpt%\LK\~O
printf("d.a=0x%x\n",a.d.a); Pd9qY
8CP
printf("d.b=0x%x\n",a.d.b); {j O:9O@
printf("e=0x%llx\n",a.e); :S'P
lH
return 0; f(!:_!m*
} CIAHsbn.A
结果: T#%r\f,l0
24 Y ]&D;w
c=0x0 swV/Mi>
d.a=0x504 :"5'l>la
d.b=0x3020100 |LA@guN
e=0x706050403020100 D_ er(
B|U*2|e
k"X<gA
网友 redleaves (ID最吊的网友)的答案和分析: $\?BAkx
ew
-5VL
如果代码: Y1? wf.
#pragma pack(8) 8$9<z
struct S1{ ?CIMez(h
char a; vpu20?E>5z
long b; _1_CYrUc
}; U;f~ Q6iu
struct S2 { F,}wQN
char c; \nT, NV11
struct S1 d; >KXSb@
long long e; MebLY $&8
}; F_0vh;Jo
#pragma pack() &6
.r=,BO
sizeof(S2)结果为24. uz-O%R-
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. j xB
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. :H($|$\h
7(c7-
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; V9\g?w
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. Z9TmX
A@
a b 9NX f~-V-
S1的内存布局:11**,1111, 2k}~"!e1
c S1.a S1.b d aoj6/
S2的内存布局:1***,11**,1111,****11111111 VBV y3fnj
~5LlIpf36|
这里有三点很重要: 46`(u"RP
1.每个成员分别按自己的方式对齐,并能最小化长度 ;LEO+,6
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 Y&M}3H>E
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 fui;F"+1
T=Q"|S]V
Mg3>/!
网友xue23(xue23) 的答案和分析: 2;X{ZLo
eT8(O36%
有程序查一下各个变量的内存地址得知: &("HH"!
各个变量在内存中的位置为 D >ax<t1K
c***aa** USBU?WDt
bbbb**** t* eZe`|
dddddddd rC
)pCC
测试代码为: 2MS-e}mi
s2 ss; }!-BZIOlO
cout << "ss.c = " << &ss << endl ; V*]cF=W[A
cout << "ss.d.a = " <<&ss.d.a << endl; nGb%mlb
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; h# R;'9*V
print out 各个变量的内存地址不就可以看出来了吗。 j$v2_q
^APPWQUl
所以答案是24,2. \$; Q3t3
@hC ,J
但是我的想像中应该是这样的分布情况: M.B0)
c******* '?7?"v
aa**bbbb f Cg"tckE
dddddddd 8K(3{\J[V
[!Uzw2
不知为什么会c和a放在一起,组成8位长度。