Intel和微软同时出现的C语言面试题 Yzd2G,kZ=
#pragma pack(8) M]B3vPA/v
3G&0Ciet
struct s1{ ~@YQ,\Y
short a; p1
4d,}4W
long b; cno;>[$
}; t {=i=K3
M@~o6 ^
struct s2{ qsvpW%?aE
char c; 4OEKx|:5n
s1 d; =43d%N
long long e; HZuiVW8
}; fM{1Os
A^cU$V%?W
#pragma pack() B<+pg
fD(7FN8
问 u0'i!@795
1.sizeof(s2) = ? #Jv43L H
2.s2的s1中的a后面空了几个字节接着是b?
{WKOJG+.
`#=fA
2R] XH
0
QxA0I+i
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: v\'rXy
oc((Yo+B
网友rwxybh(行云)的答案: [%t3[p<)O
内存布局是 9H[/T j-;
1*** 11** ~BtKd* ~*
1111 **** Tr$i=
M
1111 1111 _lNC<7+#h
XW^8A77H
所以答案就是24和3 t5n2eOy~T
RZe#|k+
8
下面是一个测试的程序,试一试就知道了,我用的是VC2005 []rT? -
s1Okoxh/!V
#pragma pack(8) h*G#<M
1GUqT 9)
struct s1{ )X~#n
short a; // 2 BYtes e"PMvQ
long b; // 4 Bytes |&Au6 3
}; &q"'_4
struct s2{ .E#<fz
char c; // 1 Byte \U Ax(;
s1 d; // 8 Bytes ;C+cE#
long long e; // 8 Bytes 9E^~#j@Zr
}; :cEd [Jm9
// 1*** 11** a6k(9ZF
// 1111 **** %8a=mQl1^
// 1111 1111 =zz+<!!
// K q/~T7Ru
>/8ru*Oc
// 00 01 02 03 04 05 06 07 x3gwG)Sf
// 00 01 02 03 04 05 06 07 8g.AT@ ,Q
// 00 01 02 03 04 05 06 07 <sO?ev[
// xnT3^ #-h
#pragma pack() 6aRGG+H
k?o^5@b/
int main(int argc, char* argv[]) (rAiDRQ[
{ ~."!l'a
s2 a; T=^jCH &
char *p = (char *)&a; nG!&u1*
for(int i=0;i<24;++i) lt{lHat1
p = (char)(i%8); LjSLg[ i
printf("%d\n",sizeof(a)); mVa?aWpez
printf("c=0x%lx\n",a.c); ,Y$F7&
printf("d.a=0x%x\n",a.d.a); Xg,0 /P~
printf("d.b=0x%x\n",a.d.b); |
A3U@>6
printf("e=0x%llx\n",a.e); ?]s%(R,B5
return 0; &$<(D0
} U)u\1AV5
结果: Po'-z<}wS
24 ,2RC |h^O,
c=0x0 *^X#Eb
d.a=0x504 qUifw @
d.b=0x3020100 /&*m1EN#o
e=0x706050403020100 s.VUdR"
wEBtre7
Y0 @'za^y
网友 redleaves (ID最吊的网友)的答案和分析: : :F!
yT[Lzv#
如果代码: {9h`$e=
#pragma pack(8) "}0)YRz%
struct S1{ dNOX&$/=
char a; <P|`7wfxE
long b; mGt\7&`
}; Sg/:n,68
struct S2 { nu#aa#ex>
char c; 0|.7Kz^
struct S1 d; =@Q#dDnFu%
long long e; >(IITt
}; di8W2cwz
#pragma pack()
]#Y|
sizeof(S2)结果为24. 0$n8b/%.
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. ^^n+
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. =#OHxM
T[i7C3QS
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; M,.b`1-w
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. (:_%kmu
a b M3DxapG
S1的内存布局:11**,1111, ?l6>6a7
c S1.a S1.b d C>.]Bvg
S2的内存布局:1***,11**,1111,****11111111 Py|H?
, 6=
i0,%}{`
这里有三点很重要: Ul'~opf
1.每个成员分别按自己的方式对齐,并能最小化长度 c+@d'yR
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 o,*folL
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 *Te4U5F
S
23S.]r
* \=2KIF'
网友xue23(xue23) 的答案和分析: yf
`.%
>/7KL2*
有程序查一下各个变量的内存地址得知: "\VW.S
各个变量在内存中的位置为 YH/S2 D
c***aa** qWRNHUd
bbbb**** qR [}EX&3
dddddddd -D!#W%y8
测试代码为: IUh5r(d 68
s2 ss; 1$='`@8I
cout << "ss.c = " << &ss << endl ; qT4I Y$h
cout << "ss.d.a = " <<&ss.d.a << endl; @D.R0uM
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; Bg+<*z-?e
print out 各个变量的内存地址不就可以看出来了吗。 u~/M
{ED(O-W
所以答案是24,2. 8\qCj.>S
MZUF! B
但是我的想像中应该是这样的分布情况: 1R5\GKF6o
c******* es.\e.HK
aa**bbbb `-72>F ;T
dddddddd %\(y8QV
9#Aipu\
不知为什么会c和a放在一起,组成8位长度。