CSAPP第二章作业节选

2.61：

A：!(~x);

B：!(x)

C：!~((x & 0xff000000)>>24)

D：!(x & 0xff)

2.71：

A：并没有扩展符号位，只是得到了一个unsigned的结果

B：int temp=(word<<((3-bytenum)<<3)) ;

return temp>>24;

2.87：

A值：① 208 ② -7/1024③ 13/(2^17) ④ -4096 ⑤ 768

B位：① 011101010 ② 100001100 ③ 000000001（最小正数） ④ 111110000 ⑤ 011110000（向+∞舍入）

B值：① 208 ② -7/256③ 17/1024 ④ -∞ ⑤ +∞

这个是我做完对了一下答案，发现有些和答案不一样，也不知道答案是如何得出来的，我感觉是答案存在一定的问题的

---

更新答案：

A值：① 208 ② -7/1024③ 5/(2^17) ④ -4096 ⑤ 768

B位：① 011101010 ② 100000111 ③ 000000001（最小正数） ④ 111101111 ⑤ 011110000（向+∞舍入）

B值：① 208 ② -7/1024③ 1/1024 ④ -248 ⑤ +∞

---

某个来源的标准答案：

2.88：

A：无法保证总是为1；对于int转float，如果int的最高位的1（不包括符号位的1）与最低位的1之间只有22个0或者1时，可以精确转换，否则就会涉及舍入问题，但是对于double而言，int转double是一定可以做到精确转换的；例如x=0101 1001 1000 1011 0111 1010 0011 0101

B：无法保证总为1；右边先进行x+y再转成double型，在两个int型相加的过程中可能会出现结果溢出的情况，而左边是已经先转为了double型再相加是不会出现溢出的；只要x+y的值大于0x7fffffff或者小于0x80000000时就会导致左右不相等

C：永远为真；对于加法而言，原本x，y，z均为32位以内的二进制数，相加之后所得到的位数不会超过53，而double类型所能精确表示的为最高位的1（不算符号位）与最低位的1之间有51位二进制数的二进制数；所以相加的结果不会超过double所能精确表示的范围；

D：无法保证总为1；两个32位二进制数相乘的结果最多可能到达64位，如果是三个相乘最多可能到达96位，而double所能精确表示的范围为正负2的53次方之间的整数；在计算过程中，左侧和右侧表达式所相乘的顺序不同，所以可能会在某两个数相乘时无法精确表示而导致两边相乘结果不同；例如x=0x1fffffff y=0x2fffffff z=0x3ffffff

E：无法保证总为1；题目中涉及了除法操作，这就有可能涉及到分母为0的情况；例如dx=0，dy=0x1。