【CSAPP】整数运算

无符号加法

考虑两个非负整数x和y，满足$0\le x,y<2^w$，每个数都能表示为一个w位的无符号数。如果要计算x+y，其结果的可能取值范围是$0\le x+y\le 2^{w+1}-2$，表示该值可能需要w+1位。如果x+y的结果又要和别的数做加法，那可能需要更多的位表示运算结果。这种字长膨胀意味着，要想完整地表示运算的结果，我们不能对整型长度做任何限制。

但实际情况是，在C语言中，整型变量占固定大小的字节和位，当整数运算结果超出了整型变量的表示范围时，计算机运算的结果是截断后的值，与预期值有偏差。

我们定义操作${+}_w^u$是w位的无符号加法。
原理：无符号数加法。
对满足$0\le x,y<2^w$的$x$和$y$，有：
$$\begin{array}{r}x{+}_w^{u}y=\{\begin{array}{ll}x+y,& 0\le x+y\le 2^w-1\\ x+y-2^w,& 2^w\le x+y\le 2^{w+1}-2\end{array}\end{array}$$

说一个算术运算溢出，是指完整的整数结果不能被有限的整型长度所表示，产生了高有效位的丢失。

执行C程序时，系统不会因运算发生溢出而自己报错，因此程序员必须关注该情况。

原理：检测无符号加法中的溢出。
对满足$0\le x,y\le 2^w-1$的x和y，存在$s\dot{=}x{+}_w^{u}y$，当且仅当$s<x$，$s<y$时，运算发生了溢出。

1. 证明：当$s<x$，$s<y$时，运算发生了溢出。
   因为$x\ge 0$，因此$x+y\ge y$，因此$s\ge y$，所以当$s<y$时，发生运算错误（即溢出）。
   因为$y\ge 0$，因此$x+y\ge x$，因此$s\ge x$，所以当$s<x$时，发生运算错误（即溢出）。
2. 证明：当运算发生溢出时，$s<x$，$s<y$。
   运算发生溢出时，$s=x+y-2^w$，因为$y<2^w$，因此$y-2^w<0$，因此$s<x$。
   运算发生溢出时，$s=y+x-2^w$，因为$x<2^w$，因此$x-2^w<0$，因此$s<y$。

对任何一个数$x$而言，存在$-x$使得$-x+x=0$，则称$-x$是$x$的加法逆元，$x$也是$-x$的加法逆元。加法逆元即取反。
原理：无符号数取反。
对满足$0\le x\le 2^w-1$的x，其w位的无符号加法逆元${-}_w^u$可表示为：
− w u x = { x , x = 0 2