vt.给出
BigDecimal a = ...;
BigDecimal b = ...;
下面的公式适用于a
和b
中的all possible values吗?
if (a.compareTo(b) == 0)
assert a.stripTrailingZeros().equals(b.stripTrailingZeros())
if (a.compareTo(b) != 0)
assert !(a.stripTrailingZeros().equals(b.stripTrailingZeros()))
if (a.stripTrailingZeros().equals(b.stripTrailingZeros()))
assert(a.compareTo(b) == 0)
if (!(a.stripTrailingZeros().equals(b.stripTrailingZeros())))
assert(a.compareTo(b) != 0)
或者,在某种边缘情况下,上述断言并非都是真的?