Intel和微软同时出现的C语言面试题 Z@aL"@2]a
#pragma pack(8) cI4qgV
^>R| R1&
struct s1{ Drq{)#7
short a; %RD7=Z-z
long b; BQfAen]
}; Jv{"R!e"P
0f#a_
struct s2{ <T2~xn
char c; R7;rBEt8
s1 d; ,;ruH^
long long e; uRq#pYn@
}; Er+3S@sfq,
s?\9i6
#pragma pack() fOjt` ~ToI
$q@RHcj
问 )eGu4iEPM
1.sizeof(s2) = ? )b2E/G@X&
2.s2的s1中的a后面空了几个字节接着是b? yW=hnV{
`R=_t]ie
9oau_Q#
)1yUV*6
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: D!E 9@*Lf
]B.,7
网友rwxybh(行云)的答案: G`JwAy r'
内存布局是 yLa5tv/
1*** 11** g#<?OFl
1111 **** =
]HJa
1111 1111 ZzaW@6LJF
-0J<R;cVs
所以答案就是24和3 j]F3[gpc
E?5B>Jer#
下面是一个测试的程序,试一试就知道了,我用的是VC2005 Q_|S^hxQ
uM!r|X)8
#pragma pack(8) Va[dZeoy
<Phr`/
struct s1{ aKU8"
5
short a; // 2 BYtes cM'[;u
long b; // 4 Bytes RknSWuFKt
}; Gqz)='
struct s2{ J<:D~@qq
char c; // 1 Byte AeQ&V d|
s1 d; // 8 Bytes ,xM*hN3A
long long e; // 8 Bytes ](6vG$\
}; @KRn3$U
// 1*** 11** Fu$Gl$qV?%
// 1111 **** ]` Gz_e
// 1111 1111 `[u>NEb
// aZCZ/
5N</Z6f'o
// 00 01 02 03 04 05 06 07 n)7$xYuH
// 00 01 02 03 04 05 06 07 btz3f9
// 00 01 02 03 04 05 06 07 +O:pZz
// V`&*%xgGR
#pragma pack() l{SPV8[i
^WYG?/{4
int main(int argc, char* argv[]) EjCzou
{ ]]QCJf@p
s2 a; {_N(S]Z
char *p = (char *)&a; {.8)gVBmA
for(int i=0;i<24;++i) - OGy-"
p = (char)(i%8); WD`{kqc
printf("%d\n",sizeof(a)); GM5 6xZ!2T
printf("c=0x%lx\n",a.c); ~=gH7V
printf("d.a=0x%x\n",a.d.a); [B;Ek\ 5W
printf("d.b=0x%x\n",a.d.b); M#<fh:>
printf("e=0x%llx\n",a.e); "YU~QOGx@
return 0; X1QZEl
} k#G7`dJl
结果: (dnc7KrM
24 ED_5V@
c=0x0 wbKBwI5w
d.a=0x504 !x /Z"
d.b=0x3020100 Pb&+(j
e=0x706050403020100 @MH]s [{o\
Z 2jMBe
N28?JQha
网友 redleaves (ID最吊的网友)的答案和分析: D_kzR
XQ y|t"Vq>
如果代码: on&=%tCAL
#pragma pack(8) *wyLX9{:
struct S1{ 6? ly.h$
char a; #EK8Qe_
long b; Mp}NUQHE
}; Fd.d(
struct S2 { PS;*N8
char c; dV*rnpN
struct S1 d; $ aBSr1
long long e; m8A1^ R
}; C8zeqS^N
#pragma pack() m|gd9m$,?
sizeof(S2)结果为24. JJ06f~Iw[
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. dp W%LXM_
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. UC$+&&rO
q)y8Bv|
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; mV]g5>Q\
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. n
9M6wS
a b \`5u@Nzx
S1的内存布局:11**,1111, ,B>b9,~3a
c S1.a S1.b d $F$R4?_
S2的内存布局:1***,11**,1111,****11111111 ee[NZz
}r<^]Q*&p
这里有三点很重要: [,X,2
1.每个成员分别按自己的方式对齐,并能最小化长度 `;GGuJb \
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 dR{
V,H7N
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 6MQ:C'8T&=
LZ: \V)5+
ZO$T/GE6%
网友xue23(xue23) 的答案和分析: 7OHw/-j\
nOzTHg8
有程序查一下各个变量的内存地址得知: [)c|oh%
各个变量在内存中的位置为 84cH|j`w
c***aa** 4u7>NQUDu
bbbb**** RL8wSK
dddddddd ?saVk7Z[|5
测试代码为: Bq`kVfx
s2 ss; <cjTn:w
cout << "ss.c = " << &ss << endl ; aBLb i
cout << "ss.d.a = " <<&ss.d.a << endl; L#bQ`t
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; JPKZU<:+V
print out 各个变量的内存地址不就可以看出来了吗。 M&-/&>n!
"A3xX&9-q
所以答案是24,2. bUL9*{>G
' "
yl>"
但是我的想像中应该是这样的分布情况: be@uHikp;v
c******* 3o^M%
aa**bbbb ^Z+D7Q
dddddddd >1zzDd_
p$ v +L
不知为什么会c和a放在一起,组成8位长度。