Intel和微软同时出现的C语言面试题 [_ H9l)
#pragma pack(8) ICV67(Ui
ZC0F:=/K
struct s1{ x$M[/ ID0
short a; [0IeEjL
long b; =ohd L_6
}; T]E$H, p
Wxp^*._q3I
struct s2{ VMtR4! :q
char c; t/q\Ne\\,
s1 d; ]A'e+RD4k
long long e; nre8 F
}; ~8|$KD4I
][qZOIk@
#pragma pack() &|9?B!,`
h!)(R<
问 %7V?7BE
1.sizeof(s2) = ? jP }N^
2.s2的s1中的a后面空了几个字节接着是b? a2 YdkdjT
>GZF \ER
Z/ThY bk
EzthRe9
如果您知道答案请在讨论中写出，以下是部份网友的答案，供参考： 6NZ f!7, B
&G'R{s&"
网友rwxybh(行云)的答案： =@ON>SmPs
内存布局是 ^{Mx?]z
1*** 11** @];Xbbw+c
1111 **** Y
@K9Hl
1111 1111 s'5
j vlG
rg\|-_.es'
所以答案就是24和3 } *0%wP
(D~mmffY1
下面是一个测试的程序，试一试就知道了，我用的是VC2005 rfCoi>{<
NG b`f-:jw
#pragma pack(8) 5Pv>`E2^
b\;QR?16R
struct s1{ d5u,x.R
short a; // 2 BYtes 12k)E k9
long b; // 4 Bytes -pLb%f0?
}; 9K%E+_7b
struct s2{ 4V[+6EV
char c; // 1 Byte sb8SG_ c.
s1 d; // 8 Bytes Z i| 'lHr
long long e; // 8 Bytes H)(Jjk-O
}; %Cm4a49FNi
// 1*** 11** L- =^GNh
// 1111 **** LTJ|EXYA
// 1111 1111 l?#([(WM
// _s=[z$EN&
0 J ANj
// 00 01 02 03 04 05 06 07 V:l; 2rW
// 00 01 02 03 04 05 06 07 0eb`9y M
// 00 01 02 03 04 05 06 07 > 0~y "~M
// tb_}w@:kU
#pragma pack() 6 %:'2;xM
Ou,B3kuQ+
int main(int argc, char* argv[]) &Cdd
{ 67f#Z&r2k
s2 a; Ho\z ^w+T`
char *p = (char *)&a; O0~[]3Y[=
for(int i=0;i<24;++i) =I*"vwc?
p = (char)(i%8); _<5>
E
printf("%d\n",sizeof(a)); ^ mG-O
printf("c=0x%lx\n",a.c); 2#|Q =rWB
printf("d.a=0x%x\n",a.d.a); LR`/p et
printf("d.b=0x%x\n",a.d.b);
beO*|
printf("e=0x%llx\n",a.e); I-+D+DhRx
return 0; WxIP ~
} !q$IB?8
结果： ~Ilgc CF
24 ;i ,yT
?so
c=0x0 WI~';dK2]
d.a=0x504 w`i3B@w
d.b=0x3020100 |E!xt6B
e=0x706050403020100 a:@Eg;aN*O
a*vi&$@`Z1
+fKLCzj
网友 redleaves (ID最吊的网友)的答案和分析： ( \SxG\`
<4Ujk8Zj
如果代码: |ukEnjI`u
#pragma pack(8) )8P<ZtEU
struct S1{ Ee 4oTU5Mb
char a; od-N7lp#
long b; JkpA
\<
}; ];(w8l
struct S2 { 03{e[#6
char c; 6h;$^3x$
struct S1 d; O^`Y> >a
long long e; zJtYy4jI)
}; $'kIo*cZ
#pragma pack() 6B|IbQ^
sizeof(S2)结果为24. :@k SDy+*Q
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. x/5%a{~j2
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. xNl_Q8Z?R^
UJlK w `4
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; C+2*m=r
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. et)A$'Q
a b C;STJrew
S1的内存布局：11**,1111, `) K1[&
c S1.a S1.b d LVO`+:
S2的内存布局：1***,11**,1111,****11111111 ~
dmyS?Or
o- GHAQ
这里有三点很重要: &e2") 4oh
1.每个成员分别按自己的方式对齐,并能最小化长度 1oodw!hW
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 Qv[@ioc
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 s{h J"lv:
Z
wIs EJz
6XB9 ]it 6
网友xue23(xue23) 的答案和分析： "EHwv2Hm>
oXb} 6Y C
有程序查一下各个变量的内存地址得知： [% Y Cupr#
各个变量在内存中的位置为 !a4pKN`qLY
c***aa** d94Lc-kq^
bbbb**** 72luTR Q
dddddddd WEWNFTI
测试代码为： }&EPH}V2n
s2 ss; CA:t](xqQ
cout << "ss.c = " << &ss << endl ; X[| -F3 o
cout << "ss.d.a = " <<&ss.d.a << endl; eX $u
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; 2z&HT SI
print out 各个变量的内存地址不就可以看出来了吗。 QnVYZUgJeV
\ vojF\
所以答案是24,2. E}4R[6YD
E+F!u5u
但是我的想像中应该是这样的分布情况： {n2jAR9nq
c******* |)yO] pB:
aa**bbbb f~8Xue,l"
dddddddd >`\~=ivrD
v(]\o;/O
不知为什么会c和a放在一起，组成8位长度。
