Intel和微软同时出现的C语言面试题 63\
CE_p
#pragma pack(8) 3:WHC3}W
GL0P&$h
struct s1{ aOinD
short a; R$u1\r1I
long b; F7C+uGTs
}; cy6YajOk7
Jb> X$|N'%
struct s2{ Da[#X`Kp$
char c; VSUWX1k4%
s1 d; F#9^RA)9
long long e; ZGh6- /
}; ;>ml@@Z
#o~C0`8!B=
#pragma pack() %?V~7tHm>
_M8'~$Sg
问 EVqqOp1$v4
1.sizeof(s2) = ? eW<NDI&b
2.s2的s1中的a后面空了几个字节接着是b? )xU+M{p-os
6X'0 T}
k fY;
3jfAv@I ~
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: wU'+4N".
0[YksNNl1
网友rwxybh(行云)的答案: +pK 35u
内存布局是 EFtn!T
1*** 11** //r)dN^
1111 **** s."N7F
1111 1111 \kI{#
X<Xiva85
所以答案就是24和3 6j1C=O@S
0r$n
下面是一个测试的程序,试一试就知道了,我用的是VC2005 \uo{I~Qd
G,WLca[
#pragma pack(8) ]!"7k_
j7I?K
:op=
struct s1{ 8]#J_|A6Z
short a; // 2 BYtes H^o_B1
long b; // 4 Bytes @>ys,dy
}; k&[6Ld0~56
struct s2{ Rc9>^>w
char c; // 1 Byte 1)97AkN(O
s1 d; // 8 Bytes pfc"^Gi8
long long e; // 8 Bytes 4k{xo~+%,
}; Xep2)3k>
// 1*** 11** 2Gj)fMK38
// 1111 **** 4,YL15.
// 1111 1111 ^u90N>Dvq
// k]-Q3V
;c|_z 9+
// 00 01 02 03 04 05 06 07 l%0-W
// 00 01 02 03 04 05 06 07 c*<BU6y
// 00 01 02 03 04 05 06 07 uTO%O}D N
// M;AvOk|&
#pragma pack() T_wh)B4xW
)iC@n8f7o
int main(int argc, char* argv[]) m%;LJ~R
{ 7&jq =
s2 a; 3 TV4|&W;
char *p = (char *)&a; D\J.6W
for(int i=0;i<24;++i) x<w-j[{k_K
p = (char)(i%8); !H)!b#_
printf("%d\n",sizeof(a)); l*CCnqE
printf("c=0x%lx\n",a.c); Z{
9Io/
printf("d.a=0x%x\n",a.d.a); ($UUgjv F
printf("d.b=0x%x\n",a.d.b); >^,?0HP
printf("e=0x%llx\n",a.e); "Il)_Ui
return 0; LtUw
} q!><:"#[G
结果: 3H>\hZ
24 G<rAM+B*g
c=0x0 ;ioF'ov
d.a=0x504
Zf??/+[
d.b=0x3020100 fpO2bD%$8
e=0x706050403020100 BSr#;;\
c1R[Hck
PN J&{4wY
网友 redleaves (ID最吊的网友)的答案和分析: HHgv,bC!
}=gD,]2x8
如果代码: spQr1hx<
#pragma pack(8) h'vBWtMa
struct S1{ =l]
lwA-
char a; NTCFmdbs 6
long b; ZcHIk{|
}; t1yfSStp
struct S2 { >@a7Zzl0H
char c; 77+3CME{'
struct S1 d; @x[A^
long long e; z.h;}QRJ,@
}; \j.l1O
#pragma pack() I^n,v )
8
sizeof(S2)结果为24. JXt_
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. #
eFdu
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. f\RTO63|O
"?iyvzo
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; )@tHS-Jf
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. -~_|ZnuM9
a b y>T>
S1的内存布局:11**,1111, IQd~`
G
c S1.a S1.b d x.Ny@l%]
S2的内存布局:1***,11**,1111,****11111111 /&czaAR-
m'
|wlI[lq
这里有三点很重要: 5vS[{;<&
1.每个成员分别按自己的方式对齐,并能最小化长度 tU!Yg"4Q
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 fb[lL7
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 Z rgv*
@1bl<27
G%!i="/9
网友xue23(xue23) 的答案和分析: {}RU'<D
4Xwb`?}-
有程序查一下各个变量的内存地址得知: "HH<5M
各个变量在内存中的位置为 !`W0;0'Zg
c***aa** c|k(_#\B
bbbb**** Ff
=%eg]
dddddddd oxI?7dy5
测试代码为: 7GErh,
s2 ss; &U([Wd?E2
cout << "ss.c = " << &ss << endl ; BbL]0i
cout << "ss.d.a = " <<&ss.d.a << endl; =CdrhP_
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 6p&uifY}tR
print out 各个变量的内存地址不就可以看出来了吗。 >b:5&s\9
*c$UIg
所以答案是24,2. ,S`FxJcE
AG;KXL[V
但是我的想像中应该是这样的分布情况: Fs =)*6}&
c******* X68.*VHh0
aa**bbbb 23'{{@30
dddddddd FKhgUnw
@FF{lK?[
不知为什么会c和a放在一起,组成8位长度。