Intel和微软同时出现的C语言面试题 Lyf? V(S
#pragma pack(8) nJ'>#9~a'>
VurP1@e&
struct s1{ `&|l;zsS
short a; (/9.+V_
long b; aIn)']
}; 4y]: Gqz~
jza}-=&+e
struct s2{ }\`-G+i{W
char c; Z3X&<Y5
s1 d; s60:0 >
long long e; NE=#5?6%g7
}; r2E>sHw
6*(h9!_T1
#pragma pack() vUo.BA#;.b
Y1U"HqNl*
问 t9f4P^V`
1.sizeof(s2) = ? 0aTEJX$iZ
2.s2的s1中的a后面空了几个字节接着是b? ,<^tsCI
4t%:O4
3e
t]u(jX)
7tf81*e
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: T;4gcJPn"M
Sob $j
网友rwxybh(行云)的答案: = h<? /Krs
内存布局是 Y1Gg (z
1*** 11** Rktn/Vi
1111 **** <u x*r#a!d
1111 1111 {d?4;Kd
|ZST
Y}RXA
所以答案就是24和3 ?|Q5]rhs
fo!Lp*'0
下面是一个测试的程序,试一试就知道了,我用的是VC2005 7=QC+XSO
Pw^c2TQ
#pragma pack(8) V\rIN}7
f@F^W YQm
struct s1{ %_j?<h&
short a; // 2 BYtes -NflaV~
long b; // 4 Bytes >DL-Q\U
}; o$H Jg
struct s2{ |`94W j<
char c; // 1 Byte .Kh(F6
s
s1 d; // 8 Bytes Sf4h!ly
long long e; // 8 Bytes ) v[Knp'
}; {>UMw>T[
// 1*** 11** &,Zz
// 1111 **** -u3SsU)_%N
// 1111 1111 V'.eesN
// bWC~Hv
1EAVMJ
// 00 01 02 03 04 05 06 07 jy__Y=1}
// 00 01 02 03 04 05 06 07 @E"+qPp.3
// 00 01 02 03 04 05 06 07 FSYjp{z5
// @]ptY*
#pragma pack() cO=UswIkwO
=-Q
int main(int argc, char* argv[]) mtWx ?x
{ v_@#hf3
s2 a; 3 R:7bex
char *p = (char *)&a; Y;> p)'z
for(int i=0;i<24;++i) g]@R'2:1
p = (char)(i%8); Q,,fDBN
printf("%d\n",sizeof(a)); ko+M,kjwR
printf("c=0x%lx\n",a.c); ]/VIff
printf("d.a=0x%x\n",a.d.a); S]K6qY
printf("d.b=0x%x\n",a.d.b); Lm*LJ_+ B
printf("e=0x%llx\n",a.e); 53u.pc
return 0; kq1M<lk
} tEWj}rX
结果: N5w]2xz!
24 R/Dy05nloe
c=0x0 (g)lv)4P
d.a=0x504 G|PIH#
d.b=0x3020100 R0YC:rAt
e=0x706050403020100 Dho^^<`c+
/4-eoTxy
c@o/Cv
网友 redleaves (ID最吊的网友)的答案和分析: dV2b)p4J
EhP&L?EL
如果代码: Bn#HJ17/#
#pragma pack(8) |E_+*1l q.
struct S1{ r/q1&*T
char a; cV,03]x
long b; YZ%f7BUk
}; *l?%
o{
struct S2 { 4KSP81}/\
char c; I|3v&E1
struct S1 d; XUqE5[O%
long long e; s<r.+zqW
}; _ KkVI7a
#pragma pack() RJ@e5A6_
sizeof(S2)结果为24. |_xiG~
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. "w|k\1D
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. IrwF
B
seD+~Y\z
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; xX4^nem\G
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 'xrbg]b%
a b *}iT6OJ
S1的内存布局:11**,1111, Wn,g!rB^@
c S1.a S1.b d o2e h)rtB
S2的内存布局:1***,11**,1111,****11111111 CIik@O*
;,B@84'
这里有三点很重要: X"khuyT_
1.每个成员分别按自己的方式对齐,并能最小化长度 1d@^,7MF-
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 J>|:T
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 f?<M3P
$E~Lu$|
CL}I:/zRB
网友xue23(xue23) 的答案和分析: n$![b_)*
DwrCysIK
有程序查一下各个变量的内存地址得知: 'm!11Phe
各个变量在内存中的位置为 x]J-q5
c***aa** &\]f!'jV
bbbb**** \=G
Xe.}4d
dddddddd ~z1KD)^
测试代码为: wsGq>F~
s2 ss; NMY!-Kv 5
cout << "ss.c = " << &ss << endl ; ]zMBZs
cout << "ss.d.a = " <<&ss.d.a << endl; }?q nwx.
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; mlw BATi
print out 各个变量的内存地址不就可以看出来了吗。 $XU$?_O
V_d%g<n4
所以答案是24,2. cCbr-Z&
cp?P@-
但是我的想像中应该是这样的分布情况: z?_}+
c******* 0_zSQn9c
aa**bbbb qF6%XKbh=
dddddddd =cKk3kJC
C<=p"pWw
不知为什么会c和a放在一起,组成8位长度。