Intel和微软同时出现的C语言面试题 p38s&\-kEN
#pragma pack(8) 9LQy0Gx
|q o3
E
struct s1{ hQSJt[8My
short a; -eSI"To L<
long b; 6O5E4=
}; p*P0<01Z
7;}TNK\+v
struct s2{ ku^2K
char c; C~iFFh6:
s1 d; kGq<Zmy|
long long e; VAxk?P0j6
}; _}Gs9sHr0K
g2
V $
#pragma pack() :Z
]E:f0P
HV3wU EI3
问 %4To@#c
1.sizeof(s2) = ? 0@f7`D
2.s2的s1中的a后面空了几个字节接着是b? If9!S}
wa
B7ys`eiB5C
hYCyc-W
GLl@
6S>v
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: ZG)C#I1;O
-JF|770i
网友rwxybh(行云)的答案: \No22Je6d
内存布局是 A[d'*n[
1*** 11** ]
)x z
1111 **** q33!X!br
1111 1111 6a`_i
uP ?gGo
所以答案就是24和3 [/t/694
qpc2;3*7
下面是一个测试的程序,试一试就知道了,我用的是VC2005 S4~;bsSx
tX*L_
#pragma pack(8) CtDS lJ
Q^V`%+
struct s1{ dR/UXzrc
short a; // 2 BYtes w_J`29uc
long b; // 4 Bytes >BQF<
}; ;lWy?53=@
struct s2{ [dL?N
char c; // 1 Byte 1[`l`Truz
s1 d; // 8 Bytes nBiA=+'v
long long e; // 8 Bytes eEe8T=mD
}; ]i]sgg[
// 1*** 11** [76m gj!K
// 1111 **** f{Y|FjPp=E
// 1111 1111 m9>nvrQ
// *t |j+*c}
2|w.A!
// 00 01 02 03 04 05 06 07 u&I~%s
// 00 01 02 03 04 05 06 07 7!N5uR
// 00 01 02 03 04 05 06 07 CM's6qhQnn
// g9"_ BG
#pragma pack() 1y8:tri>N
7#|NQ=yd
int main(int argc, char* argv[]) Sdt2D
{ &FvNz
s2 a; lB\j>.c
char *p = (char *)&a; Y.*lO
for(int i=0;i<24;++i) Q}Vho.N@=
p = (char)(i%8); |-aj$u%~
printf("%d\n",sizeof(a)); 1aMBCh<}JN
printf("c=0x%lx\n",a.c); |QgXSe7
printf("d.a=0x%x\n",a.d.a); TuCOoz@d
printf("d.b=0x%x\n",a.d.b); R;V(D3
printf("e=0x%llx\n",a.e); w)8@Tu:Q
return 0; ~O
6~',KD
} FZ2-e
结果: 7<:w-
24 (1}Ndo^;w
c=0x0 `y6l^ep
d.a=0x504 m<f{7]fi5
d.b=0x3020100 d<b,LD^
e=0x706050403020100 E:E&Wv?r
yRi/YR#
# nYGKZ
网友 redleaves (ID最吊的网友)的答案和分析: /eMZTh*1P
qiF~I0_0
如果代码: -MEz`7c~
#pragma pack(8) Gf]s?J^a
struct S1{ Pd;ClMa%
char a; EIEq[`h
long b; &lS0"`J=
}; tx1jBh:e=
struct S2 { X5/{Mx`8Oz
char c; coFg69\^
struct S1 d; S&uL9)Glb
long long e; I~qiF%?d
}; DVcu*UVw
#pragma pack() n)7icSc
sizeof(S2)结果为24. v_@_J!s
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. 6uXYZ.A
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. :d2u? +F
KE&}*Nf[
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; qtH&]Suu,
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. pz
IMj_
a b 9f6TFdUi"y
S1的内存布局:11**,1111,
J3.Q8f
c S1.a S1.b d *_wef/==
S2的内存布局:1***,11**,1111,****11111111 Q%xY/xH]
?(<AT]h V:
这里有三点很重要: pOYtN1uN|
1.每个成员分别按自己的方式对齐,并能最小化长度 udZ: OU<
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 hw'2q9J|
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐
E$>e<
T
"qm> z@K
mfN@tMp
网友xue23(xue23) 的答案和分析: rWs5s!l,
rpT<cCem1
有程序查一下各个变量的内存地址得知: N]<gHGj}
各个变量在内存中的位置为 XfrnM^oty
c***aa** '> Q$5R1
bbbb**** U
^9oc&
dddddddd S+y2eP G
测试代码为: l.W:6",w
s2 ss; F`Y<(]+
cout << "ss.c = " << &ss << endl ; KUyJ"q<W
cout << "ss.d.a = " <<&ss.d.a << endl; 5#o,]tP
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; (*x"6)`
print out 各个变量的内存地址不就可以看出来了吗。 k0IU~y%
] zY
所以答案是24,2. WO9/rF_
bC{8yV=)
但是我的想像中应该是这样的分布情况: M<srJ8|'
c******* w1_Ux<RF
aa**bbbb K)@}Ok"#\4
dddddddd WLl9>v^1
pzr-}>xrZ
不知为什么会c和a放在一起,组成8位长度。