Comment savoir si un BigDecimal peut exactement se convertir en float ou en double?

La classe BigDecimala quelques méthodes utiles pour garantir une conversion sans perte:

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

Cependant, les méthodes floatValueExact()et doubleValueExact()n'existent pas.

J'ai lu le code source d'OpenJDK pour les méthodes floatValue()et doubleValue(). Les deux semblent se replier sur Float.parseFloat()et Double.parseDouble(), respectivement, ce qui peut retourner l'infini positif ou négatif. Par exemple, l'analyse d'une chaîne de 10 000 9 renvoie un infini positif. Si je comprends bien, BigDecimaln'a pas un concept interne de l'infini. En outre, l'analyse d'une chaîne de 100 9 comme doubledonne 1.0E100, ce qui n'est pas l'infini, mais perd en précision.

Qu'est-ce qu'une mise en œuvre raisonnable floatValueExact()et doubleValueExact()?

Je pensais à une doublesolution en combinant BigDecimal.doubleValue(), BigDecial.toString(), Double.parseDouble(String)et Double.toString(double), mais il semble en désordre. Je veux demander ici car il peut (doit!) Y avoir une solution plus simple.

Pour être clair, je n'ai pas besoin d'une solution performante.

En lisant les documents , tout ce qu'il fait avec les numTypeValueExactvariantes est de vérifier l'existence d'une partie fraction ou si la valeur est trop grande pour le type numérique et de lever des exceptions.

Comme pour floatValue()et doubleValue(), une vérification de débordement similaire est en cours, mais au lieu de lever une exception, elle renvoie à la place Double.POSITIVE_INFINITYou Double.NEGATIVE_INFINITYpour les doubles et Float.POSITIVE_INFINITYou Float.NEGATIVE_INFINITYpour les flottants.

Par conséquent, l'implémentation la plus raisonnable (et la plus simple) des exactméthodes pour float et double, devrait simplement vérifier si la conversion renvoie POSITIVE_INFINITYou NEGATIVE_INFINITY.

De plus , rappelez-vous que cela a BigDecimalété conçu pour gérer le manque de précision qui vient de l'utilisation floatou doublepour les grands irrationnels, par conséquent, comme l'a commenté @JB Nizet , une autre vérification que vous pouvez ajouter à ce qui précède serait de convertir ou de revenir pour voir si vous obtenez toujours la même valeur. Cela devrait prouver que la conversion était correcte.doublefloatBigDecimal

Voici à quoi ressemblerait une telle méthode 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));
}

L'utilisation de compareToau lieu de equalsci-dessus est intentionnelle afin de ne pas devenir trop stricte avec les contrôles. equalsn'évaluera la valeur true que lorsque les deux BigDecimalobjets ont la même valeur et la même échelle (taille de la partie fractionnaire de la décimale), tandis que cette valeur compareTosera négligée lorsqu'elle n'aura pas d'importance. Par exemple 2.0vs 2.00.