Intel和微软同时出现的C语言面试题 eXOFA d]>u
#pragma pack(8) [e}]K:
;
zv nDo x
struct s1{ /y!Vs`PZ!
short a; }w-`J5Eq#
long b; >bZ#
}; qXhrK
/
8@A[`5
struct s2{ :9`1bZ?a
char c; f.f4<_v'h
s1 d; 5o3_x ~e
long long e; L|Ydd!m
}; &.z/dFmG
*C:+N>
#pragma pack() +[qkG.
O
L_.}z)S[\
问 u!-eP7;7
1.sizeof(s2) = ? b>7ts_b
2.s2的s1中的a后面空了几个字节接着是b? |M?HdxPa
@\h(s#sn
z<fEJN
2"MI8EK
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: 8;'n.SC{
UA9LI<Y
网友rwxybh(行云)的答案: K$]QzPXS
内存布局是 zh.c_>jS
1*** 11** lET)<V(Y
1111 **** P
X0#X=$
1111 1111 b5|p#&YK~
amSyGQ2
所以答案就是24和3 O.E0LCABC
:I$2[K
下面是一个测试的程序,试一试就知道了,我用的是VC2005 {S}@P~H=
Y o(B8}?0!
#pragma pack(8) i\Vpp8<B
NN:TT\!v
struct s1{ {DK:"ep
short a; // 2 BYtes >YfOR%mS4
long b; // 4 Bytes L)+ eM&W
}; U .Od
struct s2{ =_H39)|T
char c; // 1 Byte {
&'TA
s1 d; // 8 Bytes @j
(jOe
long long e; // 8 Bytes :kVV.a#g
}; LC7LO
// 1*** 11** sy?>e*-{
// 1111 **** !kcg#+s91
// 1111 1111 .'a |St
// mr1}e
VM~!
y|dXxd9
// 00 01 02 03 04 05 06 07 mqHt%RX
// 00 01 02 03 04 05 06 07 Z:v1?v
// 00 01 02 03 04 05 06 07 _UBI,Dg]
// '=H^m D+gl
#pragma pack() qck/b
vck$@3*
int main(int argc, char* argv[]) )
G{v>Z,
{ 3XnXQ/({
s2 a; UIl_&|
char *p = (char *)&a; TUaK:*x*
for(int i=0;i<24;++i) [:QMnJ
p = (char)(i%8); (*RybKoaA
printf("%d\n",sizeof(a)); l(5-Cr
printf("c=0x%lx\n",a.c); t0>{0 5
printf("d.a=0x%x\n",a.d.a); yd72y'zi
printf("d.b=0x%x\n",a.d.b); Wj:QC<5
v
printf("e=0x%llx\n",a.e); a
98
return 0; ' XF`&3i
} v'!Ntk
结果: 3+-(;>>\
24 Q]wM/7
c=0x0 wuzz%9;@B
d.a=0x504 XNUqZ-M:
d.b=0x3020100 RF J ;hh
e=0x706050403020100 FZ9<Q
^kr)U8
W/>?1+r.Z
网友 redleaves (ID最吊的网友)的答案和分析: j;v%4G
[hL1PWKs
如果代码: !I[n|r "
#pragma pack(8) 7fay:_
struct S1{ 32iI :u
char a; JF*g!sV%
long b; >, E$bm2
};
9+QrTO
struct S2 { 6p"c^
char c; hU
7fZl%yl
struct S1 d; ]M(mq`K
long long e; sZ"U=6R
}; [kOA+\v
#pragma pack() x+cF1N2.
sizeof(S2)结果为24. H/k W
:k
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. `z_7[$\~
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. &HK s >
!C#RW=h9
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; C._sgO
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. Fnpn_O XlH
a b X~he36-+<
S1的内存布局:11**,1111, XO#)i6}G
c S1.a S1.b d 9|?Lz
S2的内存布局:1***,11**,1111,****11111111 ~(j'a!#Vvk
xLI{=sL
这里有三点很重要: U
0RfovJ
1.每个成员分别按自己的方式对齐,并能最小化长度 HF: T]n,
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 LUNs|\&
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 Wi?%)hur
BozK!"R_<
<83gn
:$
网友xue23(xue23) 的答案和分析: qb4;l\SfT
c@-K
有程序查一下各个变量的内存地址得知: &H&P)Px*_
各个变量在内存中的位置为 !><
%\K
c***aa** <aaDW
bbbb**** /:`
i%E
dddddddd WKl'
测试代码为: kqW<e[
s2 ss; 6b70w @P!
cout << "ss.c = " << &ss << endl ; 5ek%d
cout << "ss.d.a = " <<&ss.d.a << endl; Sz|CreFK16
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; g&3#22z
print out 各个变量的内存地址不就可以看出来了吗。 uq4sbkP
SrtVoe[
所以答案是24,2. 7NB 9Vu|gD
$p3Wjf:bH
但是我的想像中应该是这样的分布情况: I'9s=~VfY,
c******* +M##mRD
aa**bbbb A dEbyL
dddddddd @JEmybu
'UVv(-
不知为什么会c和a放在一起,组成8位长度。