Pourquoi la boxe entière de Java produit-elle des résultats différents pour les comparaisons « Integer == Integer » ?

Bizarre Java Integer Boxing

Le mécanisme de boxe entière de Java peut vous laisser légèrement confus, en particulier lorsque vous comparez l'égalité de référence.

Problème

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
    }
}

Lors de son exécution, il générera :

false
true

Première ligne Le résultat est attendu car a et b sont des objets différents. Mais quel est le résultat de la deuxième ligne ?

Réponse

Le vrai résultat de la deuxième ligne est garanti par la spécification du langage. Selon la section 5.1.7 :

Si la valeur p à encadrer est vraie, fausse, octet ou caractère compris entre u0000 et u007f, ou int ou short entre -128 et 127, alors les résultats de tout deux transformations boxe sur p, r1 et r2, sont toujours égales.

Bien que la deuxième ligne de sortie soit garantie, la première ligne ne l'est pas (voir le dernier paragraphe cité ci-dessous) :

Idéalement, étant donné une valeur primitive p Boxing génère toujours le même référence. En pratique, cela peut ne pas être possible avec les techniques de mise en œuvre existantes. La règle ci-dessus est un compromis pragmatique. La dernière clause ci-dessus exige que certaines valeurs communes soient toujours encadrées dans des objets indiscernables. Les implémentations PEUVENT le mettre en cache, soit paresseusement, soit immédiatement.

Pour les autres valeurs, cette représentation ne permet pas au programmeur de faire des hypothèses sur l'identité de la valeur encadrée. Cela permet (mais ne force pas) le partage de tout ou partie de ces références.

Cela garantit que dans les cas les plus courants, le comportement sera celui souhaité sans perte inutile de performances, en particulier sur les petits appareils. Les implémentations moins limitées en mémoire peuvent mettre en cache tous les caractères et les courts métrages, ainsi que les entiers et les longs compris entre -32 Ko et 32 ​​Ko.

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!