Intel和微软同时出现的C语言面试题 5cfA;(H
#pragma pack(8) L-h$Z0]_F
&Cro2|KZhG
struct s1{ zg}YGu|J
short a; 6Wf^0ok
long b; zV.pol
}; Tz-X o
<,8l *1C
struct s2{ 2qj{n+
char c; V[hK2rVH.
s1 d; VcgBLkIF
long long e; m *X7T
}; %w"nDu2Gcv
Fi;VDK(V9
#pragma pack() g`,AaWlF
;Ss$2V'a
问 y{=NP
1.sizeof(s2) = ? -q>^ALf|@>
2.s2的s1中的a后面空了几个字节接着是b? /g.]RY+u|x
nkY@_N
!,&yyx.
X>l*v\F9
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: G*n2Ii
j$@tK0P
网友rwxybh(行云)的答案: %5B%KCCN
内存布局是 j4.&l3
1*** 11** Zz"}Cz:bX
1111 **** H7&xLYQ2
1111 1111 =xl~][
zICI_*~
所以答案就是24和3 tJD]
(F
*i%quMv
下面是一个测试的程序,试一试就知道了,我用的是VC2005 ]n
v( aM?d
tS?lB05TOR
#pragma pack(8) ! -tz4vjw
T0e<Slo~C
struct s1{ ST',4Oph5
short a; // 2 BYtes Fwfo2
long b; // 4 Bytes *y7 $xa4
}; Z[L5 ;
struct s2{ H5xzD9K;/C
char c; // 1 Byte i@$*Csj\9*
s1 d; // 8 Bytes _"N\b%CkO
long long e; // 8 Bytes ?9KGnOVu
}; *e4TSqC|
// 1*** 11** t&RruwN_;
// 1111 **** O!F]^'!
// 1111 1111 B;t=B_oK
// E_:QSy5G
.{so
// 00 01 02 03 04 05 06 07 }C#3O{5
// 00 01 02 03 04 05 06 07 oyeG$mpg
// 00 01 02 03 04 05 06 07 8tc*.H{^+
// %'ZN`XftG
#pragma pack() y\PxR708
;A#~`P
int main(int argc, char* argv[]) `/:cfP\
{ [xaisXvI4
s2 a; 2@i;_3sv
char *p = (char *)&a; cyF4iG'M,y
for(int i=0;i<24;++i) 3Sh+u>w
p = (char)(i%8); _<Dt
z
printf("%d\n",sizeof(a)); (JZ".En#X
printf("c=0x%lx\n",a.c); Zhi})d3l
printf("d.a=0x%x\n",a.d.a); U}AX0*S
printf("d.b=0x%x\n",a.d.b); #gv4
printf("e=0x%llx\n",a.e); +;gsRhWk
return 0; ?pwE0N^
} @.$MzPQQI
结果: );JJ2Jlkd
24 TSto9$}*
c=0x0 .[j%sGdKl
d.a=0x504 ;VzMU ;j
d.b=0x3020100 +Ui_ O
e=0x706050403020100 8vD3=yK%^
|4>:M\h
n9oR)&:o
网友 redleaves (ID最吊的网友)的答案和分析: b|?;h21rG
F!g;A"?V
如果代码: w~@[r4W
#pragma pack(8) ycpE=fso'
struct S1{ l4T:d^Eb
char a; |E^|X!+9
long b; WZ~> BM
}; fI:H8
struct S2 { ($d4:Ww
char c; Ps>&"k$T
struct S1 d; }~I|t!GL
long long e; |*\C{b
}; '}{?AUDx
#pragma pack() 0HibY[_PbD
sizeof(S2)结果为24. BQNp$]5s
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. u{C)qb5Pu
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. uHvaZMu
bZ5n,KQA5
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 3%
vis\~^
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. XB/'u39
a b 2P}bG>M
S1的内存布局:11**,1111, u''BP.Y S
c S1.a S1.b d ==9ZFdf
S2的内存布局:1***,11**,1111,****11111111 !,bPe5?Ql
&]NZvqdj.]
这里有三点很重要: |63Y
>U"
1.每个成员分别按自己的方式对齐,并能最小化长度 Bc
^4 T1
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 f=_g8+}h
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 {LB`)Kuu
buYDl
uiMIz?+
网友xue23(xue23) 的答案和分析: =5s$qb?#
Q[_Ni15
有程序查一下各个变量的内存地址得知: J/kH%_ >Ir
各个变量在内存中的位置为 dR[o|r
c***aa** ?r3e*qJGn
bbbb**** "c
Pz|~
dddddddd 14l; *
测试代码为: yT:!%\F9
s2 ss; Pj!%ym3A
cout << "ss.c = " << &ss << endl ; RVF F6N^
cout << "ss.d.a = " <<&ss.d.a << endl; R^tcr)(
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; fVUKvZ}P*
print out 各个变量的内存地址不就可以看出来了吗。 ?5~!i9pY
s]x2DH+_
所以答案是24,2. 9d\N[[Vu]R
L82NP)St
但是我的想像中应该是这样的分布情况: x#
8IZ
c******* [.3sE
aa**bbbb
8 +(c 1
dddddddd - L`7+
k3yxx]Rk/
不知为什么会c和a放在一起,组成8位长度。