Intel和微软同时出现的C语言面试题 .1^Kk3
#pragma pack(8) .#tA .%
?r)>SB3(e
struct s1{ dj] O
short a; ^Ar1V!PFk
long b; .i )K#82
}; 5IzCQqOPgX
T,/<'cl"
struct s2{ ;^E\zs
char c; l_04b];
s1 d; 9_svtO ]P
long long e; @S~n^v,)
}; F&7Z(
vnbY^ASdw
#pragma pack() t6e6v=.Pg
&'/PEOu&}G
问 rcLF:gd]E
1.sizeof(s2) = ? ~3Qa-s;g
2.s2的s1中的a后面空了几个字节接着是b? leSBR,C
/'VuMMJ2
1bw$$QXC_
=kq<J-:#R
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: beYGP
,=@WE>ip
网友rwxybh(行云)的答案: d8
v9[4
内存布局是 V$$9Rh
1*** 11** 1=>b\"P#E
1111 **** k'F*uS
1111 1111 \(^]R,~*!b
VJ&-Z |
所以答案就是24和3 2C"i2/NH'
SMB&sl
下面是一个测试的程序,试一试就知道了,我用的是VC2005 x) %"i)
*<{hLf
#pragma pack(8) fK(:vwh
j)Q}5M
struct s1{ 6 AY~>p
short a; // 2 BYtes })mD{c/
long b; // 4 Bytes eln$,zK/b
}; [<^ '}-SJ
struct s2{ J7EWaXGbz
char c; // 1 Byte O]="ggq&
s1 d; // 8 Bytes x>K,{{B)X
long long e; // 8 Bytes QDK }e:4q
}; h3\(660>$
// 1*** 11** p@DVy2,EY
// 1111 **** y^X]q[-?
// 1111 1111 5Em.sz;:8
// \G/ZA) t
u
XZ ;K.
// 00 01 02 03 04 05 06 07 8 f~M6
// 00 01 02 03 04 05 06 07 ':\bn:;
// 00 01 02 03 04 05 06 07 h6`VU`pPI
// \Yv44*I`
#pragma pack() mH<|.7~0
Yu[MNX;G
int main(int argc, char* argv[]) *ZRk)
{ K`|V1L.m
s2 a; \\oa[nvL~
char *p = (char *)&a; nhm#_3!6A
for(int i=0;i<24;++i) fpzEh}:H\
p = (char)(i%8); (YPG4:[
printf("%d\n",sizeof(a)); ,&O&h2=
printf("c=0x%lx\n",a.c); 51AA,"2[_
printf("d.a=0x%x\n",a.d.a); KeyHxU=?
printf("d.b=0x%x\n",a.d.b); w17{2']
printf("e=0x%llx\n",a.e); "yU<X\ni
return 0; X2np.9hie
} /bC@^Y&}
结果: VqOTrB1w/
24 .v=n-k7
c=0x0 ZWB3R
d.a=0x504 oq>jCOVh
d.b=0x3020100 eq2LV=d{m
e=0x706050403020100 -=u9>S)!c
#H8QX5b)
^#w9!I{4.
网友 redleaves (ID最吊的网友)的答案和分析: JV2[jo}0N
`X=[ m>
如果代码: s9u7zqCF
#pragma pack(8) >k}Kf1I
struct S1{ }g 2l
ni
char a; tM:$H6m/(
long b; S =sL:FC
}; dleLX%P
struct S2 { v,3}YDu
char c; %3K'[2F
struct S1 d; ?IO3w{fmH
long long e; QNcl
}; !0X"^VB
#pragma pack() K_X(j$2Xc
sizeof(S2)结果为24. eNFA.*p<
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 85FzIX-F%
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. ^(qR({cX
nu16L$]
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; P^BSl7cT
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 3[kl` *`
a b ZGd7e.u=
S1的内存布局:11**,1111, ; ?,'jI*1
c S1.a S1.b d rO,n~|YJ
S2的内存布局:1***,11**,1111,****11111111 7B)@ aUj$
d5W=?
这里有三点很重要: b%j4W)Z
1.每个成员分别按自己的方式对齐,并能最小化长度 uy=<n5`oNG
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 Z= pvoTY
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 PB{5C*Y7^k
$yFR{_]
> 3l3
网友xue23(xue23) 的答案和分析: K}LF ${bS
w/fiNY5FZ
有程序查一下各个变量的内存地址得知: LA,G>#?H
各个变量在内存中的位置为 Q#4OgNt
c***aa** eoiC.$~\
bbbb**** /cD]m
dddddddd bde6
;=oM
测试代码为: Y$ZDJNz
s2 ss; m?1AgsBR
cout << "ss.c = " << &ss << endl ; c
8|&Q
cout << "ss.d.a = " <<&ss.d.a << endl; 0gKSjTqo
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; ~Z97L
print out 各个变量的内存地址不就可以看出来了吗。 R"71)ob4
vrsOA@ee3H
所以答案是24,2. OF(tCK
KZ/2W9r_,
但是我的想像中应该是这样的分布情况: M;0\fUh;
c******* ':T"nORC
aa**bbbb C9`x"$
dddddddd s:sk`~2<gd
).r04)/
不知为什么会c和a放在一起,组成8位长度。