一刷202-剑指offer-001整数除法（e）（29. 两数相除（m））

题目：
给定两个整数 a 和 b ，求它们的除法的商 a/b ，要求不得使用乘号 '*'、除号 '/' 以及求余符号 '%' 。
注意：
整数除法的结果应当截去（truncate）其小数部分，
例如：truncate(8.345) = 8 以及 truncate(-2.7335) = -2
假设我们的环境只能存储 32 位有符号整数，其数值范围是 [−2^31, 2^31−1]。
本题中，如果除法结果溢出，则返回 231 − 1
-------------------
题目：
给定两个整数，被除数 dividend 和除数 divisor。将两数相除，要求不使用乘法、除法和 mod 运算符。
返回被除数 dividend 除以除数 divisor 得到的商。
整数除法的结果应当截去（truncate）其小数部分，
例如：truncate(8.345) = 8 以及 truncate(-2.7335) = -2
--------------------
示例：
输入：a = 15, b = 2
输出：7
解释：15/2 = truncate(7.5) = 7
示例 2：

输入：a = 7, b = -3
输出：-2
解释：7/-3 = truncate(-2.33333..) = -2
示例 3：

输入：a = 0, b = 1
输出：0
示例 4：

输入：a = 1, b = 1
输出：1
 
提示:
-231 <= a, b <= 231 - 1
b != 0
示例 1:
输入: dividend = 10, divisor = 3
输出: 3
解释: 10/3 = truncate(3.33333..) = truncate(3) = 3
示例 2:

输入: dividend = 7, divisor = -3
输出: -2
解释: 7/-3 = truncate(-2.33333..) = -2
 
提示：
被除数和除数均为 32 位有符号整数。
除数不为 0。
假设我们的环境只能存储 32 位有符号整数，其数值范围是 [−231,  231 − 1]。
本题中，如果除法结果溢出，则返回 231 − 1。

时间复杂度：O(1)
空间复杂度：O(1)
class Solution {
    public int divide(int a, int b) {
    	//避免 a = -2147483648 b == -1 商为 2147473648
        if (a == Integer.MIN_VALUE && b == -1) {
            return Integer.MAX_VALUE; //2^31 - 1 ： 2147483647
        }
        int sign = (a > 0) ^ (b > 0) ? -1 : 1;//把a, b 的符号提出来在这里做异或判断
        a = Math.abs(a);
        b = Math.abs(b);
        int res = 0;//结果集
        for (int i = 31; i >= 0; i--) {//利用位移运算符 从2^31开始
       		 //右移 不会越界， 无符号右移目的：将-2147483648 看成 2147483648
            if ((a >>> i) - b >= 0) {
                a -= (b << i);       //这里是 (a >>> i) - b >= 0 而不是 （a >>> i）>= b                     
                res += (1 << i);     //是为了避免 b = -2147483648 
            }                        //若b =  - 2147483648,则（a >>> i）>= b 永远为true
        }                            //但是  (a >>> i) - b >= 0 为false
        return sign == 1 ? res : -res; //这里不能使用* 改成三目运算符
    }
}

LC