Pourquoi l'Autoboxing de Java produit-il des résultats incohérents lors de la comparaison d'objets entiers ?

Irrégularités de l'autoboxing en Java : enquête sur les comparaisons mystérieuses

La fonctionnalité d'autoboxing de Java convertit automatiquement les valeurs primitives en objets de classe wrapper correspondants. Cependant, un comportement particulier apparaît lors de la comparaison de deux de ces objets.

Considérez l'extrait de code suivant :

public class Scratch {
    public static void main(String[] args) {
        Integer a = 1000, b = 1000;
        System.out.println(a == b); // false

        Integer c = 100, d = 100;
        System.out.println(c == d); // true
    }
}

Le résultat nous laisse perplexes : la première comparaison donne faux, tandis que la seconde renvoie vrai. Pourquoi en est-il ainsi ?

Dévoilement du mystère

La deuxième ligne de sortie est garantie par la spécification du langage Java (JLS). La section 5.1.7 indique que les valeurs primitives situées dans des plages spécifiques, y compris les entiers compris entre -128 et 127, sont toujours encadrées dans des objets identiques.

If the value p being boxed is ... an int or short number between -128 and 127, then ... r1 == r2.

Cela garantit que les valeurs couramment utilisées sont systématiquement encadrées comme des objets indiscernables.

Ambiguïté dans la première comparaison

Dans En revanche, la première comparaison n'est pas explicitement garantie par le JLS. Bien que la spécification autorise les implémentations à mettre en cache des objets dans une plage, elle ne l'applique pas.

Par conséquent, le comportement de comparaison d'entiers plus grands en tant qu'objets est spécifique à l'implémentation. Dans ce cas, il semble que l'environnement d'exécution attribue des références distinctes à « a » et « b », ce qui entraîne l'impression de « false ».

Conclusion

Java l'autoboxing offre de la commodité mais aussi des bizarreries lors de la comparaison de certaines valeurs primitives. Bien qu'il soit garanti que les valeurs situées dans une plage définie partagent des identités, les entiers plus grands peuvent se comporter différemment en fonction des choix d'implémentation. Ces connaissances nous aident à éviter les comportements inattendus et à garder le contrôle des comparaisons d'objets en Java.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!