Intel和微软同时出现的C语言面试题 dWK;
h
#pragma pack(8) J9!}8uD
C`s
struct s1{ ;B4x>
short a; ldd|"[Ds
long b; ]ZV.@%+
}; v6Vie o=
0E*q-$P
struct s2{ a$0,T_wD
char c; zX{O"w
s1 d; SG:Fn8
long long e; KIyhvY~
}; b-Q*!Ut
x*]&Ca0+
#pragma pack() ]mDsd* 1
F E`4%X
问 v2OK/W,0
1.sizeof(s2) = ? (x;Uy
2.s2的s1中的a后面空了几个字节接着是b? :@mBSE/
-~ w5yd
_Xs(3V@'}
Q"o* \I
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: ,"MRA
|;~kHc$W
网友rwxybh(行云)的答案: 7ojU]l y
内存布局是 IUB#Vdx
1*** 11** ,8=`Y9#
1111 **** /W vF}y
1111 1111 ['<Q402:.
5<Ly^Na:
所以答案就是24和3 W9i}w&
L="ipM:Z
下面是一个测试的程序,试一试就知道了,我用的是VC2005 h(M_
K
^^q9+0@
#pragma pack(8) I-?PTr
0\qLuF[)
struct s1{ Z7\}x"hk
short a; // 2 BYtes fN)A`> iP
long b; // 4 Bytes ]H ze
}; Sz!mn
struct s2{ N*J!<vY"
char c; // 1 Byte ]]sy+$@~
s1 d; // 8 Bytes )4nf={iM
long long e; // 8 Bytes M)m(
}; mEL<d,XhI
// 1*** 11** Uq}F rK}
// 1111 **** #6fQ$x(F#j
// 1111 1111 41-u*$
// g 0Rny
xIOYwVC
// 00 01 02 03 04 05 06 07 %Aqt0e
// 00 01 02 03 04 05 06 07 b-)m'B}`
// 00 01 02 03 04 05 06 07 Q9Tt3h2ga
// = aO1uC|6C
#pragma pack() mP!=&u fcU
kGz0`8URu
int main(int argc, char* argv[]) Ox | ?
{ !hMD>B2Z
s2 a; eo#2n8I>=1
char *p = (char *)&a;
a ~
for(int i=0;i<24;++i) !?AgAsSmc
p = (char)(i%8); V-1H(wRu
printf("%d\n",sizeof(a)); 5|nT5oS
printf("c=0x%lx\n",a.c); n(}cK@
printf("d.a=0x%x\n",a.d.a); %-lilo
printf("d.b=0x%x\n",a.d.b); |:H
9#=
printf("e=0x%llx\n",a.e); D^_]x51>
return 0; B//2R)HS
} 0|Rt[qwKb@
结果: [8kufMY|
24 'P AIh*qA
c=0x0 !6`pq
d.a=0x504 n]%T>\gw
d.b=0x3020100 5`_UIYcI
e=0x706050403020100 "YC5viX
9$
VudE>;
TnuaP'xZ
网友 redleaves (ID最吊的网友)的答案和分析: g!QX#_~Il
b0(bL_,
如果代码: `>HM<Nn-0
#pragma pack(8) @IXvp3r
struct S1{ "dkDT7
char a; /JqNiqvh
long b; >'eY/>n{
}; j1Ns|oph1
struct S2 { (BT{\|,V_m
char c; o4.?m6d
struct S1 d; 7>-"r*W +z
long long e; 3rxB]-
}; Th'B5:`
#pragma pack() 6E^h#Ozl
9
sizeof(S2)结果为24. BN_I#8r
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. nB|m!fi<
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. KbXENz&C
4MFdhJoN
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; IPVD^a?
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. Kggc9^ 7
a b _c z$w5`
S1的内存布局:11**,1111, s)A=hB-V
c S1.a S1.b d -X]?ql*%`
S2的内存布局:1***,11**,1111,****11111111 F.Sc2n@7-
.or1*-B K
这里有三点很重要: c,yjsxETW
1.每个成员分别按自己的方式对齐,并能最小化长度 /bSAVSKR
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 iBXS
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 a_T3<
J<vVsz+7:
9K:ICXm
网友xue23(xue23) 的答案和分析: x/d(" Bb
l-gNJ=l+K
有程序查一下各个变量的内存地址得知: r%uka5@
各个变量在内存中的位置为 #5%\~f
c***aa** FJ+n-
\
bbbb**** G m~2s;/
dddddddd DtFzT>$^F
测试代码为: h,fC-+H5
s2 ss; (teK0s;t5k
cout << "ss.c = " << &ss << endl ; mS9ITe
M
cout << "ss.d.a = " <<&ss.d.a << endl; [uLpm*7
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; i)1013b
print out 各个变量的内存地址不就可以看出来了吗。 -V F*h.'
gebDNl\Y2
所以答案是24,2. EyDH-}Y
+a'["Gjq;
但是我的想像中应该是这样的分布情况: j /)A<j$
c******* oc>N| ww:
aa**bbbb FoW|BGA~
dddddddd xbNL <3"a
<*3#nA-O>i
不知为什么会c和a放在一起,组成8位长度。