java long 溢出_java-减去2个long时的溢出检测

我一直在学习Apache的通用数学库Link

在下面的代码片段行A,B,C对我来说没有意义.有人可以阐明这一点吗？

public static long subAndCheck(long a, long b) throws MathArithmeticException {

long ret;

if (b == Long.MIN_VALUE) { ----------A

if (a < 0) { --------------------B

ret = a - b; ----------------C

} else {

throw new MathArithmeticException(LocalizedFormats.OVERFLOW_IN_ADDITION, a, -b);

}

} else {

// use additive inverse

ret = addAndCheck(a, -b, LocalizedFormats.OVERFLOW_IN_ADDITION);

}

return ret;

}

private static long addAndCheck(long a, long b, Localizable pattern) throws MathArithmeticException {

final long result = a + b;

if (!((a ^ b) < 0 || (a ^ result) >= 0)) {

throw new MathArithmeticException(pattern, a, b);

}

return result;

}