溢出判断

假设我们系统只能存储32位有符号数， 即[-2^31, 2^31 - 1]

造成溢出有2种运算：

+ ： a + b 溢出   即 a + b > INT_MAX      即 a > INT_MAX - b  成立则溢出。

*  :   a *  b 溢出   即 a *  b > INT_MAX      即 a > INT_MAX / b  成立则溢出。