Intel和微软同时出现的C语言面试题 @/ nGc9h
#pragma pack(8) eX lJ=S}
e ky1}
struct s1{ $TS97'$
short a; [Y?Y@x"MZ
long b; QSn18V>{
}; x]`@%8Sm
9:GP~oI j
struct s2{ wr=KAsH<
char c; hF5T9^8
s1 d; {~j/sto-:
long long e; *
h S 6F
}; +A^|aQ
r b\t0tg
#pragma pack() 2_6ON
h:U#F )
问 aG]^8`~>'
1.sizeof(s2) = ? }%jpqip
2.s2的s1中的a后面空了几个字节接着是b? 1X`,7B@pz
=kzp$ i
aJtpaW@
Jw&Fox7p
如果您知道答案请在讨论中写出,以下是部份网友的答案,供参考: Ziub%C[oV
(fr=N5
网友rwxybh(行云)的答案: ij~-
内存布局是
UBj&T^j
1*** 11** h^qZi@L
1111 **** F
u^j- Io
1111 1111 b62B|0i
Ctn?O~u
所以答案就是24和3 &l!T2PX!
olA+B
下面是一个测试的程序,试一试就知道了,我用的是VC2005 C^;8M'8z0
L;y BZLM
#pragma pack(8) Ewq@>$_!
rly%+B `/
struct s1{ HRjbGc|[
short a; // 2 BYtes 3&5b!Y
long b; // 4 Bytes HB$?}V
}; 12hD*,A5j
struct s2{ XGbpH<
char c; // 1 Byte CY{!BV'
s1 d; // 8 Bytes 8O(L;&h
long long e; // 8 Bytes *h=>*t?I2
}; q86}'dFw{
// 1*** 11** vD:J!|hs(
// 1111 **** :ir3u
// 1111 1111 n f<I
// )8eb(!}7
q#Q %p+
// 00 01 02 03 04 05 06 07 K/*"U*9Kv
// 00 01 02 03 04 05 06 07 GvgTbCxnN
// 00 01 02 03 04 05 06 07 ,bIJW]h0
// 3A[<LnKR^E
#pragma pack() '
Q(kx*;
surNJ,)
int main(int argc, char* argv[]) 9wGsHf8]
{ ;H`@x Lv*
s2 a; /DyeMCY-
char *p = (char *)&a; %6rSLBw3
for(int i=0;i<24;++i) V9qA'k
p = (char)(i%8); :) -`
printf("%d\n",sizeof(a)); QG~6mvD
printf("c=0x%lx\n",a.c); {:VK}w
printf("d.a=0x%x\n",a.d.a); JC->
eY"O2
printf("d.b=0x%x\n",a.d.b); :).NA
]
printf("e=0x%llx\n",a.e); ,Wu$@jD/]
return 0; )"hd"
} -y|']I^ &
结果: %8%|6^,
24 %#~wFW|]x
c=0x0 CDXN%~0h
d.a=0x504 $F9w0kz:,*
d.b=0x3020100 i=]R1yP
e=0x706050403020100 .-mIU.Nwi
DO~[VK%|
j[FB*L1!D
网友 redleaves (ID最吊的网友)的答案和分析: b]Kb ~y|
9L3P'!Z
如果代码: ~o|sm a5.
#pragma pack(8) o@_i&4[MW
struct S1{ ]B3+&g
char a; 5@
td0
long b; Scm45"wB+
}; tc)Md]S
struct S2 { 8!3 q:8y8
char c; OHj>ufwVq
struct S1 d; ZI qXkD
long long e; +r//8&
}; <Opw"yY&q]
#pragma pack() (|o@
sizeof(S2)结果为24. rw3tU0j
成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐. pc@mQI
也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节. y7CO%SA
4F0w+wJD
S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof(S1)应该为8; 7UGc2J
S2中,c和S1中的a一样,按1字节对齐,而d 是个结构,它是8个字节,它按什么对齐呢?对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8(成员e按8字节对齐)整除.这样,一共使用了24个字节. 77sG;8HE
a b vO&X<5?Qc
S1的内存布局:11**,1111, kONn7Itbu
c S1.a S1.b d OPE+:TvW^
S2的内存布局:1***,11**,1111,****11111111 #I.~+M
}vx,i99W?
这里有三点很重要: $joGda
1.每个成员分别按自己的方式对齐,并能最小化长度 &qSf
~7/
2.复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度 YQFz6#Ew
3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐 R@5eHP^
DNgh#!\X
QRKP;aYt
网友xue23(xue23) 的答案和分析: E<u(Yw6=
}fkdv6mz
有程序查一下各个变量的内存地址得知: ,Nhv#U<$
各个变量在内存中的位置为 ^c(r4#}$"
c***aa** Pi |Z\j)
bbbb**** 1y6<gptx
dddddddd ht L1aQ.
测试代码为: )4s7,R
s2 ss; 9I
[:#,zdf
cout << "ss.c = " << &ss << endl ; 50Gu~No6
cout << "ss.d.a = " <<&ss.d.a << endl; !\d~9H%`B
cout << "ss.d.b = " <<&(ss.d.b) < cout << "ss.d = " <<&ss.e << endl; ^>!&]@
print out 各个变量的内存地址不就可以看出来了吗。 @M-Q|
K0C"s'q
所以答案是24,2. islHtX
VE
\o2l;1~
但是我的想像中应该是这样的分布情况: V#.pi zb
c******* MZf?48"f
aa**bbbb 4gev^/^^
dddddddd &=M4Z/Ao
$uFvZ?w&
不知为什么会c和a放在一起,组成8位长度。