最简单的办法就是看源码。

先来看一下parseInt的注释：

注释中说，是通过查看第0个字符是否为'-'来判定负数，而不是看最高位是否为1。如此一来好像解释的通了。再看一下真正的转换过程（这里我调了一下源码的排版，不然惨不忍睹...）：

确实如注释中所说，此时，一个32位且最高位为1的二进制数，会被错误的判定为正数。而在下面有这样一行代码：

可以看到，一个32位且最高位为1的二进制数，会被累加32次，所以其累加和是超过Integer正数的范围的。实际上不用等到第二个红框位置，在if(reult<multmin)时，就已经抛出异常了。multmin我觉得为了防止result*radix后溢出而设置的。代码的运行结果也印证了这个推测：

另外，result每次是加上负的digit，这是因为Integer的表示范围是-2的32次方到2的32次方-1.正数的值要小，那么在计算一个负数时，如果遵循先正向累加再求负的过程，是有可能溢出的。最终的结果输出可以很明显的看到是result是负数：