Wie kann sich eine Java-Variable von sich selbst unterscheiden?

Ich frage mich, ob diese Frage in Java gelöst werden kann (ich bin neu in der Sprache). Dies ist der Code:

class Condition {
    // you can change in the main
    public static void main(String[] args) { 
        int x = 0;
        if (x == x) {
            System.out.println("Ok");
        } else {
            System.out.println("Not ok");
        }
    }
}

In meinem Labor erhielt ich die folgende Frage: Wie können Sie den ersten Fall überspringen (dh die x == xBedingung falsch machen), ohne die Bedingung selbst zu ändern?

Ein einfacher Weg ist zu verwenden Float.NaN:

float x = Float.NaN;  // <--

if (x == x) {
    System.out.println("Ok");
} else {
    System.out.println("Not ok");
}

Nicht ok

Sie können das gleiche mit tun Double.NaN.

Aus JLS §15.21.1. Numerische Gleichheitsoperatoren ==und!= :

Gleitkomma-Gleichheitstests werden gemäß den Regeln des IEEE 754-Standards durchgeführt:

• Wenn einer der Operanden NaN ist, ist das Ergebnis von ==is falseaber das Ergebnis von !=is true.

  Tatsächlich ist der Test x!=xist , truewenn und nur wenn der Wert xNaN ist.

...

int x = 0;
if (x == x) {
    System.out.println("Not ok");
} else {
    System.out.println("Ok");
}

Durch die Java-Sprachspezifikationen NaN ist nicht gleich NaN.

Daher würde jede Linie, die xgleich war, NaNdies verursachen, wie z

double x=Math.sqrt(-1);

Aus den Java-Sprachspezifikationen:

Gleitkommaoperatoren erzeugen keine Ausnahmen (§11). Eine Operation, die überläuft, erzeugt eine vorzeichenbehaftete Unendlichkeit, eine Operation, die unterläuft, erzeugt einen denormalisierten Wert oder eine vorzeichenbehaftete Null, und eine Operation, die kein mathematisch bestimmtes Ergebnis hat, erzeugt NaN. Alle numerischen Operationen mit NaN als Operanden erzeugen als Ergebnis NaN. Wie bereits beschrieben wurde, ist NaN ungeordnet, so dass eine numerische Vergleichsoperation mit einem oder zwei NaNs false zurückgibt und jeder! = Vergleich mit NaN true zurückgibt, einschließlich x! = X, wenn x NaN ist.

Ich bin mir nicht sicher, ob dies eine Option ist, aber der Wechsel xvon einer lokalen Variablen zu einem Feld würde es einem anderen Thread ermöglichen, seinen Wert zwischen dem Lesen der linken und rechten Seite in der ifAnweisung zu ändern .

Hier ist eine kurze Demo:

class Test {

    static int x = 0;

    public static void main(String[] args) throws Exception {

        Thread t = new Thread(new Change());
        t.setDaemon(true);
        t.start();

        while (true) {
            if (x == x) {
                System.out.println("Ok");
            } else {
                System.out.println("Not ok");
                break;
            }
        }
    }
}

class Change implements Runnable {
    public void run() {
        while (true)
            Test.x++;
    }
}

Ausgabe:

⋮
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Not ok

Die ersetzte Zeile konnte lesen.

double x = Double.NaN;

Dies würde dazu führen, dass das Gotcha gedruckt wird.

Java Language Specification (JLS) sagt:

Gleitkommaoperatoren erzeugen keine Ausnahmen (§11). Eine Operation, die überläuft, erzeugt eine vorzeichenbehaftete Unendlichkeit, eine Operation, die unterläuft, erzeugt einen denormalisierten Wert oder eine vorzeichenbehaftete Null, und eine Operation, die kein mathematisch bestimmtes Ergebnis hat, erzeugt NaN. Alle numerischen Operationen mit NaN als Operanden erzeugen als Ergebnis NaN. Wie bereits beschrieben wurde, ist NaN ungeordnet, so dass eine numerische Vergleichsoperation mit einem oder zwei NaNs false zurückgibt und jeder! = Vergleich mit NaN true zurückgibt, einschließlich x! = X, wenn x NaN ist.

Ich habe es geschafft, eine Gotcha!davon zu bekommen :

volatile Object a = new Object();

class Flipper implements Runnable {
  Object b = new Object();

  public void run() {
    while (true)  {
      Object olda = a;
      a = b;
      a = olda;
    }
  }

}

public void test() {
  new Thread(new Flipper()).start();

  boolean gotcha = false;
  while (!gotcha) {
    // I've added everything above this - I would therefore say still legal.
    if (a == a) {
      System.out.println("Not yet...");
    } else {
      System.out.println("Gotcha!");
      // Uncomment this line when testing or you'll never terminate.
      //gotcha = true;
    }
  }
}

Es gibt so viele Lösungen:

class A extends PrintStream {
    public A(PrintStream x) {super(x);}
    public void println(String x) {super.println("Not ok");}
    public static void main(String[] args) {
        System.setOut(new A(System.out));
        int x = 0;
        if (x == x) {
            System.out.println("Ok");
        } else {
            System.out.println("Not ok");
        }
    }
}

Eine einfache Lösung ist:

System.out.println("Gotcha!");if(false)
if( a == a ){
  System.out.println("Not yet...");
} else {
  System.out.println("Gotcha!");
}

Aber ich kenne nicht alle Regeln für dieses Rätsel ...

:) Ich weiß, dass dies ein Betrug ist, aber ohne alle Regeln zu kennen, ist dies die einfachste Lösung für die Frage :)

Erstellen Sie Ihre eigene Klasse Systemim selben Paket mit Condition.
In diesem Fall wird Sie Systemwird Klasse verstecken java.lang.SystemKlasse

class Condition
{
    static class System
    {
        static class out
        {
            static void println(String ignored)
            {
                java.lang.System.out.println("Not ok");
            }
        }
    }

    public static void main (String[] args) throws java.lang.Exception
    {
        int x = 0;
        if (x == x) 
        {
           System.out.println("Not ok");
        } 
        else 
        {
           System.out.println("Ok");
        }
    }
}  

Ideone DEMO

Verwenden des gleichen Ansatzes zum Überspringen / Ändern der Ausgabe aus anderen Antworten:

class Condition {
    public static void main(String[] args) {
        try {
            int x = 1 / 0;
            if (x == x) {
                System.out.println("Ok");
            } else {
                System.out.println("Not ok");
            }
        } catch (Exception e) {
            System.out.println("Not ok");
        }
    }
}