力扣7：关于不使用long如何判断int越界问题

        

 

这道题进行整数反转，只能个体思路比较简单，代码如下：

int类型的范围：-2,147,483,648~2,147,483,647

不过关于如何在不使用long类型的前提下判断是否越界。证明过程如下：

        前提：反转整数的整体思路是，维护一个rev作为反转后的整数，不断取出x的最后一位加到rev的最后一位上。所以判断是否越界就可以在rev上进行判断。

        对于rev，我们要保证它在加入digit后保持在INT_MAX和INT_MIN之间。

        即                            INT_MIN<rev*10+digit<INT_MAX

        1. 先就等式的右半边rev*10+digit<INT_MAX做变换：

        在这里我们INT_MAX做一下变换，将其变为floor(INT_MAX/10)*10+7。因为在正数中2^32-1的的末尾数字为7。                           

        此时这个式子变为：rev*10+digit<floor(INT_MAX/10)*10+7。 将乘10的部分放到左边，我们可以看到(rev-floor(INT_MAX/10))*10<7-digit。

        此时存在三种情况：

         rev-floor(INT_MAX/10)>0:此时该等式肯定无法成立

         rev-floor(INT_MAX/10)=0：此时当digit<7时该式子可以成立。但是我们可以看到的是，INT_MAX的第一位是2，也就意味着，当要越界时，digit的值肯定小于2 .所以这种情况该等式恒成立。

关于说为什么是要越界时，因为x的最高位是最后取出的，而如果说存在越界情况的话，说明整数x的位数肯定是10位的。当越界时取出的digit肯定是最高位，即1或者2

        rev-floor(INT_MAX/10)<0：此时恒成立。

        所以，当rev-floor(INT_MAX/10)<=0时，可以判断次数不会越界。

        2. 先就等式的右半边rev*10+digit>INT_MIN做变换,此时的论证过程同理：

        在这里我们INT_MIN做一下变换，将其变为floor(INT_MIN/10)*10-8。因为在负数中-2^32-1的的末尾数字为8。                           

        此时这个式子变为：rev*10+digit>floor(INT_MIN/10)*10-8。 将乘10的部分放到左边，我们可以看到(rev-floor(INT_MIN/10))*10>-digit-8。

        此时存在三种情况：

         rev-floor(INT_MIN/10)>0:  此时该等式恒成立。

         rev-floor(INT_MIN/10)=0：此时该等式恒成立

        rev-floor(INT_MIN/10)<0： 此时该等式恒不成立。

        所以，当rev-floor(INT_Min/10)>=0时，可以判断次数不会越界。   

   综上所示，当rev-floor(INT_Min/10)>=0或rev-floor(INT_MAX/10)<=0时，该数不会越界。