Intel和微软同时出现的C语言面试题 :qKY@-t7H
#pragma pack(8) ?BZ`mrH^
EC\:uK
struct s1{ gK_[3FiKt
short a; b6M)qt9R
long b; K]Cs2IpI
}; iK0J{'
>bP7}T
struct s2{ JWjp<{Q;1
char c; +uXnFf d^
s1 d; "JGig!9
long long e; B9Tztg
}; \B+SzW
oa|*-nw
#pragma pack() weadY,-H8
| Dpfh
问 p%tg->#L
1.sizeof(s2) = ? 8pt<)Rs}
2.s2的s1中的a后面空了几个字节接着是b? FQRcZpv;
MM$"6Jor
:@'0)7
qCT\rZU
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: _( /lBf{|
\5c -L_
网友rwxybh(行云)的答案: $ =a$z"
内存布局是 +W[#;)ea(
1*** 11** jJC((1|
1111 **** JT_B@TO\
1111 1111 $d[:4h~
lD=j/
所以答案就是24和3 A{"t0Ai='0
9 9BK/>R
下面是一个测试的程序,试一试就知道了,我用的是VC2005 @a3v[}c*
mV]g5>Q\
#pragma pack(8) n
9M6wS
\`5u@Nzx
struct s1{ ,B>b9,~3a
short a; // 2 BYtes $F$R4?_
long b; // 4 Bytes @n'ss!h
}; YQsc(6
struct s2{ \`# 0,pLr
char c; // 1 Byte HBGA
lZ
s1 d; // 8 Bytes %+J*oFwQu
long long e; // 8 Bytes ?2>v5p
}; .Sw'Bo!Ee
// 1*** 11** H5t`E^E
// 1111 **** @x
]^blq
// 1111 1111 >&z+ih
// ,1+_k ="Z
u6d~d\
// 00 01 02 03 04 05 06 07 4=cq 76
// 00 01 02 03 04 05 06 07 XmR5dLc8
// 00 01 02 03 04 05 06 07 .?]_yX
// /hR]aw
#pragma pack() Mc^7FWkw
kfECC&"
int main(int argc, char* argv[]) >?FCv7qN
{ |:BYOxAYZ8
s2 a; $o H,:x?}
char *p = (char *)&a; @b({QM|
for(int i=0;i<24;++i) z9w.=[Io
p = (char)(i%8); xK 'IsMo[
printf("%d\n",sizeof(a)); 2a-hf|b1
printf("c=0x%lx\n",a.c); 5aQg^f%\
printf("d.a=0x%x\n",a.d.a); yt,;^o^
printf("d.b=0x%x\n",a.d.b); fdHxrH>*
printf("e=0x%llx\n",a.e); feHAZ.8rp+
return 0; yBKlp08J
} d69VgLg
结果: KK|Jach
24 #0H[RU?
c=0x0 ;wB3H
d.a=0x504 T0jJp7O
d.b=0x3020100 ! .}{
f;Ls
e=0x706050403020100 pdq h'+5
mr.DP~O:9p
+2O_LPV$,
网友 redleaves (ID最吊的网友)的答案和分析: 4N:
;Mo&B
Xpwom'
如果代码: MqH~L?~}|
#pragma pack(8) z6(Q
3@iO
struct S1{ eQj/)@B:V
char a; F
tjm@:X
long b; r U5'hK
}; t,nB`g?
struct S2 { xc?<:h"
char c; rfpxE>_|G
struct S1 d; 4F!d V;"Z(
long long e; [N)M]u
}; (0f^Hh wF
#pragma pack() iq-o$6Pg
sizeof(S2)结果为24. ?>&Zm$5V
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. s6uAF(4,
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. Cn '=_1p
TaG-^bX8B
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; HskN(Ho
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. eRbO Hj1
a b 8?XZF[D
S1的内存布局:11**,1111, X.<R['U&\
c S1.a S1.b d l[ k$O$jo
S2的内存布局:1***,11**,1111,****11111111 :B~c>:
YZ@-0_Z
这里有三点很重要: \f#ao<vQm
1.每个成员分别按自己的方式对齐,并能最小化长度 Ymom 0g+f
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 YvX I
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 Zlo,#q
")
D!OW]
qC1@p?8$
网友xue23(xue23) 的答案和分析: EVsZ:Ra^k
t;3.;
有程序查一下各个变量的内存地址得知: [DwB7l)O(
各个变量在内存中的位置为 g (k|"g`*
c***aa** RUKSGj_NJ
bbbb**** ^EOjq
dddddddd -&}E:zoe
测试代码为: 0
HmRl
s2 ss; Q2Rj0E`
cout << "ss.c = " << &ss << endl ; ) /'s&
D
cout << "ss.d.a = " <<&ss.d.a << endl; K-3 _4As
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; HxaUVg0
print out 各个变量的内存地址不就可以看出来了吗。 z^.0eP8\j
M-Bw9`#Jw
所以答案是24,2. ~JpUO~i/
#C^m>o~R
但是我的想像中应该是这样的分布情况: |sz9l/,lG
c******* (i8t^
aa**bbbb .>n|#XK
dddddddd bE~lc}%
k7*q.2 0
不知为什么会c和a放在一起,组成8位长度。