它在循环中计算的数值的负绝对值,就是 -|value| ,而不是 |value| 。也就是说,如果输入是 `"3"` ,那个求出的 result 是 -3 。最后通过 `negative ? result : -result;` 把正数的符号反过来。limit 是一个很小的负数。因为整形能表示的负数比正数多,有一个负数的绝对值在整数中是不能表示的。但是 -|value| 总是可以表示的。 于是,由于 mulmin = limit / radix,如果 result < multin ,那么 `result * radix` (如果忽略溢出的话) < limit 。就是说 `result * radix` 会溢出。 于是,溢出判断原理上应该是 result - digit < limit 。但是实际程序中,如果溢出,那么 result - digit 就溢出了,这个判断得不到期望的结果。那么就换了另一个等价的计算过程中不会溢出的判断:result < limit + digit 。