Bir BigDecimal'ın tam olarak float veya double'a dönüşüp dönüşmediğini nasıl anlayabilirim?

Sınıfın BigDecimalkayıpsız dönüşümü garanti etmek için bazı yararlı yöntemleri vardır:

• byteValueExact()
• shortValueExact()
• intValueExact()
• longValueExact()

Ancak yöntemler floatValueExact()ve doubleValueExact()mevcut değildir.

Ben yöntemleri için OpenJDK kaynak kodunu okumak floatValue()ve doubleValue(). Her ikisi de sırasıyla pozitif veya negatif sonsuzluğa geri dönebilecek Float.parseFloat()ve Double.parseDouble()sırasıyla geri dönmektedir. Örneğin, 10.000 9'luk bir dizeyi ayrıştırmak pozitif sonsuzluk döndürür. Anladığım kadarıyla BigDecimaldahili bir sonsuzluk kavramı yok. Ayrıca, 100 9'luk bir dizeyi sonsuz olarak değil, kesinlik kaybeden doubleverir 1.0E100.

Makul bir uygulama nedir floatValueExact()ve doubleValueExact()?

Ben düşündüm doublebirleştirerek çözümü BigDecimal.doubleValue(), BigDecial.toString(), Double.parseDouble(String)ve Double.toString(double), ama pis bir görünüyor. Burada sormak istiyorum çünkü daha basit bir çözüm olabilir (zorunlu!).

Açık olmak gerekirse, yüksek performanslı bir çözüme ihtiyacım yok.

Gönderen okuma dokümanlar , bütün onunla yapar numTypeValueExact varyantlar bir kısmını kısmının varlığını denetlemek için veya değer sayısal tür için çok büyük ve eğer istisna atar.

Gelince floatValue()ve doubleValue()benzer taşma denetimi yerine döndürür, ancak bunun yerine bir istisna atma yapılıyor Double.POSITIVE_INFINITYveya Double.NEGATIVE_INFINITYçiftler ve Float.POSITIVE_INFINITYya Float.NEGATIVE_INFINITYyüzen için.

Bu nedenle en makul (ve en basit) uygulaması exactşamandıra ve çift yöntemleri, sadece dönüşüm getiri olmadığını kontrol etmelidir POSITIVE_INFINITYya NEGATIVE_INFINITY.

Dahası , bunu unutma BigDecimalkullanarak gelen hassas eksikliği işlemek için tasarlanmış floatveya doublebu nedenle gibi büyük irrasyonellerde için @JB Nizet yorumladı , yukarıdaki ekleyebileceğiniz başka bir kontrol dönüştürmek olacağını doubleveya floatgeri BigDecimalhala almak olmadığını görmek için aynı değer. Bu, dönüşümün doğru olduğunu kanıtlamalıdır.

İşte böyle bir yöntem neye benzeyecektir floatValueExact():

public static float floatValueExact(BigDecimal decimal) {
    float result = decimal.floatValue();
    if (!Float.isInfinite(result)) {
        if (new BigDecimal(String.valueOf(result)).compareTo(decimal) == 0) {
            return result;
        }
    }
    throw new ArithmeticException(String.format("%s: Cannot be represented as float", decimal));
}

Yukarıdakilerin compareToyerine kullanımı equals, çeklere karşı çok katı hale gelmemek için kasıtlıdır. equalsyalnızca iki BigDecimalnesne aynı değere ve ölçeğe (ondalık kesir kısmının boyutu) sahip olduğunda doğru olarak değerlendirilir , oysa compareTobu fark önemli olmadığında bu farkı göz ardı eder. Örneğin 2.0vs 2.00.