Intel和微软同时出现的C语言面试题 -O\i^?lD;
#pragma pack(8) w -o#=R_
F<b'{qf"
struct s1{ ':;k<(<-
short a; s.bo;lk
long b; ?110} [jw
}; YyxU/UnhG
y(QFf*J
struct s2{ 2%fIe
char c; :Q"|%#P
s1 d; 2H4vK]]Nl
long long e; y&
yf&p
}; RVV`
i:aW
.QZ.
#pragma pack()
"&k(lQ4
#PD6LO
问 <9ucpV
1.sizeof(s2) = ? y8s!sO
2.s2的s1中的a后面空了几个字节接着是b? _xv3UzD
exhU!p8
=w+8q1!o
ISNL='%
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: wxvi)|)
VSY p
网友rwxybh(行云)的答案: I)'bf/6?
内存布局是 ujxr/8mjV
1*** 11** -&Xv,:'?
1111 **** IyHbl_P ^
1111 1111 *p
$0(bz
b*?u+tWP_
所以答案就是24和3 ?p@J7{a
`5@F'tKQ
下面是一个测试的程序,试一试就知道了,我用的是VC2005 uRko[W(
1`7zYW&L
#pragma pack(8) iWD|F-
Z,#H\1v3lB
struct s1{ 0i_:J
short a; // 2 BYtes klJ21j0Bb2
long b; // 4 Bytes ;B=aK"\
}; ia'z9
struct s2{ jj[6 oNKE1
char c; // 1 Byte fYUV[Gm
s1 d; // 8 Bytes =p'+kS+
long long e; // 8 Bytes '?9zL*
}; _aPAn|.
// 1*** 11** =lJ
?yuc
// 1111 **** "wOfs$w%s
// 1111 1111 4`#Q
// )k,n}
DSz[,AaR]
// 00 01 02 03 04 05 06 07 7tcadXk0
// 00 01 02 03 04 05 06 07 -Ty~lZ)TDT
// 00 01 02 03 04 05 06 07 !}TsFa
// kh0cJE\_^
#pragma pack() aL;!BlU8v
mcez3gH
int main(int argc, char* argv[]) JaY"Wfc
{ 12n:)yQy
s2 a; &Pr\n&9A
char *p = (char *)&a; uAPVR
for(int i=0;i<24;++i) :82h GU
p = (char)(i%8); #; ?3kuq(
printf("%d\n",sizeof(a)); xrkl)7;
printf("c=0x%lx\n",a.c); S\TXx79PhC
printf("d.a=0x%x\n",a.d.a); *vaYI3{qN
printf("d.b=0x%x\n",a.d.b); ps 3)d
printf("e=0x%llx\n",a.e); 3
39q%j$
return 0; ?A3L8^tR
} !B3TLeh
结果: 0y9 b0G
24 H\S)a FY[
c=0x0 lDYgtUKG
d.a=0x504 [7v|bd
d.b=0x3020100 5^ Qa8yA>7
e=0x706050403020100 lv
8EfN
_HUbE /
C[^V\?3ly:
网友 redleaves (ID最吊的网友)的答案和分析: /IpCo
2 kDsIEA
如果代码: `}PYltW
#pragma pack(8) 7s(tAbPdB
struct S1{ 92DM1~
*
char a; ss)x
fG
long b; dDPQDIx
}; ^AP8T8v
struct S2 { aZA``#p+
char c; ]1!" q40)]
struct S1 d; sW[-qPK<
long long e; jfuHZ^ YA
}; >7>I1
#pragma pack() AYbO~_a\N
sizeof(S2)结果为24. y"JR kJ
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. <>3)S`C`p
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. IO+]^nY`
sasurR|;
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 6z 9
'|;,4
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. TQ4@|S:OF
a b {6'Xz
S1的内存布局:11**,1111, I'uwJy_I\
c S1.a S1.b d Z4] n<~o
S2的内存布局:1***,11**,1111,****11111111 }g}Eh>U
5}#wp4U
这里有三点很重要: ,S-h~x
1.每个成员分别按自己的方式对齐,并能最小化长度 w"^h<]b
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 (&:gD4.
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 dVQ[@u1,
X06Lr!-%
I_J&>}V'
网友xue23(xue23) 的答案和分析: ]Ox5F@
BR2Gb~#T
有程序查一下各个变量的内存地址得知: eTuqK23
各个变量在内存中的位置为 zK<af
c***aa** r`O
Yq
bbbb**** 75^6?#GS
dddddddd W:d
p(,L
测试代码为: x}] 56f
s2 ss; BN_h3|)
cout << "ss.c = " << &ss << endl ; |9I)YD
cout << "ss.d.a = " <<&ss.d.a << endl; ix3LB!k<
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; Zl9@E;|=
print out 各个变量的内存地址不就可以看出来了吗。 0xB2
qyH-Z@
所以答案是24,2. isZ5s\
"D(Lp*3hj&
但是我的想像中应该是这样的分布情况: `R[Hxi
c******* }E
'r?N
aa**bbbb _Iy\,<
dddddddd 8%[pno
|0I
@Wu-&Lb
不知为什么会c和a放在一起,组成8位长度。