Intel和微软同时出现的C语言面试题 *cnx p-)ub
#pragma pack(8) v9 K{oB
#}U*gVYe
struct s1{ ^lYa9k
short a; yk7 l{F
long b; Bk9 ? =
}; X P'7+/A
56Gc[<nR
struct s2{ X9xXL%Q
char c; mFu0$N6]H
s1 d; iQnIk| 8
long long e; M4m90C;dq
}; %.3] F2_Q
jQLiqi`
#pragma pack() %. +#e
=fZMute
问 (aa}0r5
1.sizeof(s2) = ? AyUiX2=w1
2.s2的s1中的a后面空了几个字节接着是b? g0
NS y3t
!1s ^TB>N
_B hm\|t
5,n{-V
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： m:A1wL4c6
hB:}0@l6p=
网友rwxybh(行云)的答案： 9V5d=^
内存布局是 K)d]3V!
1*** 11** U`h> [9
1111 **** b08s610fk
1111 1111 2|C(|fD4
"/MA.zEl0,
所以答案就是24和3 j/<z[ q r
PWw2;3`-6w
下面是一个测试的程序，试一试就知道了，我用的是VC2005 /5Zt4&r
E0Neo _7
#pragma pack(8) !Hp H
WFBVAD
struct s1{ ]@D#<[5\
short a; // 2 BYtes %Z#s9QC
long b; // 4 Bytes 39+6ZTqx
}; g.re`m|Aj
struct s2{ w2/3\3 p
char c; // 1 Byte ^&mJDRe
s1 d; // 8 Bytes 0Zq jq0O#
long long e; // 8 Bytes #^FDFl
}; ILQB%0!
// 1*** 11** ozr82
// 1111 ****
T.{sO`
// 1111 1111 u^ !c:RfE?
// ZC\&n4~7
[c=T)]E1
// 00 01 02 03 04 05 06 07 rIg5Wcd
// 00 01 02 03 04 05 06 07 @h&crI[c
// 00 01 02 03 04 05 06 07 Xob,jo}a
// KNw{\Pz~w
#pragma pack() Q5:8$
C}+
:J{| /"==
int main(int argc, char* argv[]) SpB\k C"K
{ '8|y^\
s2 a; s/"?P/R
char *p = (char *)&a; X>`5YdT~+
for(int i=0;i<24;++i) ">pt, QV
p = (char)(i%8); '"/Yk=EmlU
printf("%d\n",sizeof(a)); 4tb y N
printf("c=0x%lx\n",a.c); q0l=S+0
printf("d.a=0x%x\n",a.d.a); AM ZWPU
printf("d.b=0x%x\n",a.d.b); 'l| e}eti>
printf("e=0x%llx\n",a.e); dmkd.aP4
return 0; &S8Pnb)d
} l1h;ng6
结果： s^ n}m#T
24 k]<E1 c/
c=0x0 ?t J yQT
d.a=0x504 2W_p)8t> b
d.b=0x3020100 } 9qbF+b
e=0x706050403020100 RrPo89o
+TQMA >@g<
!k= ~5)x
网友 redleaves (ID最吊的网友)的答案和分析： #`>46T
{B_pjs
如果代码: f uQb h
#pragma pack(8) _ `RCY^t
struct S1{ 4R~f
char a; HZH zjrx
long b; n4YedjHSN
}; GT)63|
struct S2 { wLDWD,"K
char c; bJz}\[z
struct S1 d; keBf^NY
long long e; A* =r~T5B
}; r[TTG0|
#pragma pack() 7%E]E,f/#
sizeof(S2)结果为24. YR{%p Zp
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ?y@ RE
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. .=nx5y z
![{>$Q?5
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; EP|OKXRltA
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. %L\buwjy$
a b *r &q;ER
S1的内存布局：11**,1111, },d`<^~
c S1.a S1.b d XU 3v#Du
S2的内存布局：1***,11**,1111,****11111111 .5;X d?
l|O)B #
这里有三点很重要: \;h+:[<e1
1.每个成员分别按自己的方式对齐,并能最小化长度 Jx:t(oUR+
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 0M'[|ci d|
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 hSO(s
0
tZ>yR
\GR M,c
网友xue23(xue23) 的答案和分析： t#Q" ;e
.!kO2/:6
有程序查一下各个变量的内存地址得知： f~RS [h`:
各个变量在内存中的位置为 y~w -z4
c***aa** qOusO6
bbbb**** h|MTE~
dddddddd >z` ^Q [
测试代码为： RO([R=.`/
s2 ss; oj6b33z
cout << "ss.c = " << &ss << endl ;
! IZbMn6
cout << "ss.d.a = " <<&ss.d.a << endl; >~g(acH%`x
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; ?3{R'Buv]
print out 各个变量的内存地址不就可以看出来了吗。 l O)0p2
:< )"G&
所以答案是24,2. q ]-CTx$
j#C1+Us
但是我的想像中应该是这样的分布情况： hr+,-j
c******* Vu%XoI)<KY
aa**bbbb vBM uV pzO
dddddddd Xy74D/ocui
P~>E
不知为什么会c和a放在一起，组成8位长度。
