java - Double#doubleToLongBits(double) 值排序

Question

如果有两个 double 值(a 和 b)，其中

1. 两者都不是负数
2. 两者都不是 NaN 也不是任何 (POSITIVE|NEGATIVE)_INFINITY，
3. a>=b

总是这样吗

1. Double.doubleToLongBits(a) >= Double.doubleToLongBits(b)

？

IEEE 754 的内容是否存在任何可能的错误？

我打算将两个正(非零)整数的速率值存储为长整型值，而不是 double 值。

@Entity
public class ExchangeRate {

    @PrePersist
    protected void prePersist() {
        targetAmountPerSourceAmount = Double.doubleToLongBits(
            (double) targetAmount / (double) sourceAmount);
    }

    @Basic
    private long targetAmountPerSourceAmount;

    @Min(1)
    @Max(Short.MAX_VALUE)
    private short targetAmount;

    @Min(1)
    @Max(Short.MAX_VALUE)
    private short sourceAmount;
}

Answer 1

好吧，零会给你带来问题，因为 +0.0 == -0.0 但它们有不同的表示形式。

    double a = -0.0;
    double b = +0.0;
    System.out.println("a == b? " + (a == b)); // true
    long aLong = Double.doubleToLongBits(a);
    long bLong = Double.doubleToLongBits(b);
    System.out.println("a' >= b'? " + (aLong >= bLong)); // false