csapp2e 家庭作业 2.81

A 当y=Tmin时,-y也等于Tmin。此时x无论取什么值，这个等式都为0

B 总成立，原理在P63 倒数第二段 

C 当x=0，y=-1时，此式不成立

D 这个等价于 （x-y）==-（y-x) 是永远成立的

E 总成立，这就解释了，为什么用右移代替除以2的幂时总是向下取整。

 

附：用四个特殊值的所有组合验证这些式子的代码

#include <stdio.h>
int main()
{
        int special[]={0,-1,0x80000000,0x7fffffff};
        int x,y;
        unsigned ux,uy;
        int i,j;
        for(i=0;i<4;i++)
                for(j=0;j<4;j++)
                {
                x = special[i];
                y = special[j];
                ux = (unsigned)x;
                uy = (unsigned)y;

                int a=(x>y)==(-x<-y);
                if(!a)
                        printf("a %d %d\n",i,j);
                int b&#