但是需要排除两种不能a+b，a xor b不能被组成的情况 一个就是计算出来的(a xorb)<0，另一个就是因为a&b和a xor b肯定是取反的。 第二种情况怎么看出来的啊？