Warum wird (i <= j && j <= i && i! = J) als WAHR bewertet?

Ich habe einen Java-Code geschrieben, der in einer Endlosschleife ausgeführt wird.

Unten ist der Code:

public class TestProgram {
    public static void main(String[] args){
        Integer i = new Integer(0);
        Integer j = new Integer(0);

        while(i<=j && j<=i && i!=j){
            System.out.println(i);
        }
    }
}

Im obigen Code whilesieht es zunächst so aus, als würde das Programm nicht in die Schleife gelangen , obwohl die Bedingung in der Schleife whileangezeigt wird. Aber eigentlich ist es eine Endlosschleife und druckt den Wert weiter.

Was passiert hier?

• i <= jwird ausgewertet true, da das automatische Entpacken für int-Vergleiche und dann für beide erfolgt iund jder Standardwert beibehalten wird 0.

• j <= iwird trueaus dem oben genannten Grund ausgewertet .

• i != jwird ausgewertet true, weil beide iund junterschiedliche Objekte sind. Beim Vergleichen von Objekten ist kein automatisches Entpacken erforderlich.

Alle Bedingungen sind wahr, und Sie ändern sich nicht iund befinden sich jin einer Schleife, sodass es unendlich läuft.

Weil du vergleichst

• 0 < = 0 (true) // unboxing

• 0 > = 0 (true) // unboxing

• reference != secondReference (true)Während Sie Objekte erstellen, kein primitiver Vergleich. Also wertet es aus while(true) { // Never ending loop }.

Die ganzzahligen Objekte sind unterschiedlich. Es unterscheidet sich vom grundlegenden int-Typ.

Siehe diese Antwort: Wie vergleiche ich zwei Ganzzahlen in Java richtig?

Der i != jTeil ist wahr, von dem Sie erwartet hatten, dass er falsch ist.

Die Schleife endet nicht, weil Ihre Bedingung wahr ist (i! = J ist wahr, weil es 2 verschiedene Objekte gibt, verwenden Sie stattdessen Integer.valueOf) und innerhalb der Schleife ändern sich die Werte nicht, sodass Ihre Bedingung für immer wahr bleibt.

Die ganzzahligen Objekte sind unterschiedlich. Es unterscheidet sich vom grundlegenden int-Typ. so kannst du es einfach machen. Was Sie tun, ist nur das Objekt zu vergleichen und natürlich ist das Ergebnis wahr.

Es gibt zwei verschiedene Fälle, die wir zuerst verstehen müssen:

Fall 1:

        Integer i = new Integer(10);
        Integer j = new Integer(10);

        System.out.println((i<=j && j<=i && i!=j));
        System.out.println(i!=j);

Fall 2:

        Integer i = 10;
        Integer j = 10;

        System.out.println((i<=j && j<=i && i==j));
        System.out.println(i==j);

beide sind unterschiedlich, wie

in Fall 1: i!=jliegt daran, truedass beide auf zwei verschiedene Objekte im Heap verweisen und nicht gleich sein können. Aber

in Fall 2: i==jliegt daran, truedass beide 10 ganzzahlige Literale sind und Java verwaltet pool for Integer literals, die Wert haben (-128 <= X <= 127). In diesem Fall sind also 10 <= 127 wahr. Beide beziehen sich also auf dasselbe Objekt.

Vielleicht liegt der Grund darin, dass sowohl 'i' als auch 'j' Objekte sind und der Objektvergleich nicht mit dem Objektreferenzvergleich identisch ist. Bitte verwenden Sie! I.equals (j) anstelle von i! = J.

Das Programm hält auf den gleichen Wert darstellen kann, iweil Sie nicht erhöht oder verringert entweder der Wert ioder j. Die Bedingung im for wird immer als wahr ausgewertet, es handelt sich also um eine Endlosschleife.

Ganzzahl a = neue Ganzzahl (0); Ganzzahl b = neue Ganzzahl (0);

Die Vergleiche <= und> = verwenden den unboxed-Wert 0, während! = Die Referenzen vergleicht und erfolgreich ist, da es sich um unterschiedliche Objekte handelt.

Auch das wird auch funktionieren, z

Ganzzahl a = 1000; Ganzzahl b = 1000;

aber das geht nicht:

Ganzzahl a = 100; Ganzzahl b = 100;

Der Grund dafür ist, dass Integer intern das Caching für Integer-Objekte zwischen -128 und 127 verwendet und Instanzen aus diesem Cache für den abgedeckten Bereich zurückgibt. Ich bin nicht sicher, aber ich denke, Sie können den Maximalwert auch im Paket "java.lang.Integer.IntegerCache.high" ändern.

Zum besseren Verständnis überprüfen Sie die URL: https://www.owasp.org/index.php/Java_gotchas#Immutable_Objects_.2F_Wrapper_Class_Caching

Sie müssen wissen, dass es in && this und this & etwas anders ist. Wenn Sie && verwenden, dann, wenn die erste Bedingung wahr ist, dann prüft es die zweite Bedingung, wenn es falsch ist, dann prüft es nicht die dritte Bedingung, weil in & operator, wenn eine Bedingung falsch ist, alle Anweisung ist falsch, wenn || verwendet wird Wenn es dann true sieht, gibt es in Ihrem Code true zurück, weil i und j gleich sind. Erste und zweite Bedingung sind wahr. In der dritten Bedingung ist es falsch, weil sie gleich sind und während Bedingung falsch ist.