Intel和微软同时出现的C语言面试题 [@>Kd`!'
#pragma pack(8) 3n6_yK+D
ZH&%D*a&
struct s1{ #kma)_X
short a; !7 *X{D v
long b; !>t|vgW
}; ,Sz*]X
lza'l
struct s2{ A"S})
char c; Kr]F+erJe
s1 d; 7b'XQ/rs
long long e; b.ow0WYe
}; $ n
7dIE
o?hya.;h4
#pragma pack() npbNUKdz
<VgnrqF6:
问 ApS/,cV
1.sizeof(s2) = ? cB?HMLbG>
2.s2的s1中的a后面空了几个字节接着是b? Y
Xn)?
*K m%Vl
G}f.fRY
-Ux/ Ug@
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: )v
['p
r 97 VX>
网友rwxybh(行云)的答案: '+'
内存布局是 roL~r`f`
1*** 11** Ybd){Je"z
1111 **** 6,s@>8n
1111 1111
]km8M^P
T#er5WOH
所以答案就是24和3 yfuvU2nVH
oa;[[2c
下面是一个测试的程序,试一试就知道了,我用的是VC2005 oOQnV(I
wIi(p5*
#pragma pack(8) JJ7-$h'0q
"&L<u0KHG
struct s1{ NaAq^F U
short a; // 2 BYtes B>9D@fmzs
long b; // 4 Bytes i-tX5Md|
}; q]'VVlP)
struct s2{ ` LU&]NS3
char c; // 1 Byte .F%RW8=Q
s1 d; // 8 Bytes tJ'U<s
long long e; // 8 Bytes (8H
"'
}; ?i9LqHL
// 1*** 11** |%b' L.$4
// 1111 **** ]9b*!n<z
// 1111 1111 2BRY2EF
// gzl_
"j
Z\LW<**b
// 00 01 02 03 04 05 06 07 ydoCoD
w
// 00 01 02 03 04 05 06 07 Av+R~&h
// 00 01 02 03 04 05 06 07 1/j}VC
// ,X9Y/S
l
#pragma pack() 1gCp/m2r7
^\Jg
{9a
int main(int argc, char* argv[]) lD 9'^J
{ `[Z?&'CRQ
s2 a; ]]9eUw=
char *p = (char *)&a; !k%Vw18
for(int i=0;i<24;++i) 8 I,(\<Xv
p = (char)(i%8); P +oCcYp
printf("%d\n",sizeof(a)); [.|tD
printf("c=0x%lx\n",a.c); W99Fb+$I
printf("d.a=0x%x\n",a.d.a); -u)06C*39
printf("d.b=0x%x\n",a.d.b); =C5[75z#+
printf("e=0x%llx\n",a.e); I,t 0X)
return 0; 8Ck:c45v
} ^VoQGP/cl
结果: DF9Br
D0{
24 +O9l@X$l=
c=0x0 Z`<
+8e
d.a=0x504 =d(
6
)
d.b=0x3020100 *>Om3[D
e=0x706050403020100 xR;Xx;
D`,@EW].
yh lZdF
网友 redleaves (ID最吊的网友)的答案和分析: qH"0?<$9
24|:VxO
如果代码: */?L_\7
#pragma pack(8) OJ]{FI
struct S1{ Yo(8mtYU
char a; m,]Tl;f
long b; o<T>G{XYB
}; $F\&?B1.
struct S2 { .hZ =8y9
char c; 0D0 #*J
struct S1 d; zKgW9j<(
long long e; ~5]AXi'e~
}; d|DIqT~{W
#pragma pack() b\H(Lq17
sizeof(S2)结果为24. QT^(
oog=
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. AB+Zc
]
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. :sM|~gT
rA{h/T"
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; <%) :'0q&
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. ]P] lG-
a b r|0C G^:C
S1的内存布局:11**,1111, (|O;Ci
c S1.a S1.b d 6o6!Ol
S2的内存布局:1***,11**,1111,****11111111 Gs*ea'T)
~x>IN1Vci
这里有三点很重要: ,3N8
1.每个成员分别按自己的方式对齐,并能最小化长度 #v~zf@<KLB
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 `qs'={YtU
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 9YB~1M
BAqu@F\):
1\zI#"b ^
网友xue23(xue23) 的答案和分析: Rra(/j<rQ
T|9Yo=UK%
有程序查一下各个变量的内存地址得知: 5Ko"-
各个变量在内存中的位置为 }qbz &%R
c***aa** ho^1T3
bbbb**** a ,W5T8
dddddddd SHz& o[u
测试代码为: 15 nc
s2 ss; 5dYIL`
cout << "ss.c = " << &ss << endl ; r@s, cCK9?
cout << "ss.d.a = " <<&ss.d.a << endl; oJXZ}>>iT
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; yu}4L'e
print out 各个变量的内存地址不就可以看出来了吗。 sM~CP zMa
AZ!G-73
所以答案是24,2. (
B50~it
r!Mr\
但是我的想像中应该是这样的分布情况: EXb{/4
c******* h3O5DP6~
aa**bbbb j:{<
dddddddd %!YsSk,
?&/9b)c S
不知为什么会c和a放在一起,组成8位长度。