Bagaimana variabel Java bisa berbeda dari dirinya sendiri?

Saya bertanya-tanya apakah pertanyaan ini dapat diselesaikan di Java (saya baru mengenal bahasa ini). Ini kodenya:

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");
        }
    }
}

Saya menerima pertanyaan berikut di lab saya: Bagaimana Anda bisa melewati kasus pertama (yaitu membuat x == xkondisi salah) tanpa mengubah kondisi itu sendiri?

Salah satu cara sederhana adalah dengan menggunakan Float.NaN:

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

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

Tidak baik

Anda dapat melakukan hal yang sama dengan Double.NaN.

Dari JLS §15.21.1. Operator Kesetaraan Numerik ==dan!= :

Pengujian kesetaraan floating-point dilakukan sesuai dengan aturan standar IEEE 754:

• Jika salah satu operand adalah NaN, maka hasil dari ==is falsetetapi hasil !=adalah true.

  Memang, pengujiannya x!=xadalah truejika dan hanya jika nilainya xadalah NaN.

...

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

Dengan Spesifikasi Bahasa Java NaN tidak sama dengan NaN.

Oleh karena itu setiap garis yang menyebabkan xmenjadi sama NaNakan menyebabkan hal ini, seperti

double x=Math.sqrt(-1);

Dari Spesifikasi Bahasa Java:

Operator floating-point tidak menghasilkan pengecualian (§11). Operasi yang meluap menghasilkan tak terhingga bertanda, operasi yang meluap menghasilkan nilai yang dinormalisasi atau nol bertanda, dan operasi yang tidak memiliki hasil pasti secara matematis menghasilkan NaN. Semua operasi numerik dengan NaN sebagai operand menghasilkan NaN sebagai hasilnya. Seperti yang telah dijelaskan, NaN tidak berurutan, sehingga operasi perbandingan numerik yang melibatkan satu atau dua NaN mengembalikan false dan setiap! = Perbandingan yang melibatkan NaN mengembalikan true, termasuk x! = X ketika x adalah NaN.

Tidak yakin apakah ini adalah opsi tetapi mengubah xdari variabel lokal ke bidang akan memungkinkan utas lain mengubah nilainya antara pembacaan sisi kiri dan kanan dalam ifpernyataan.

Berikut demo singkatnya:

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

Keluaran:

⋮
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Not ok

Baris yang diganti bisa dibaca.

double x = Double.NaN;

Ini akan menyebabkan gotcha dicetak.

Spesifikasi Bahasa Java (JLS) mengatakan:

Operator floating-point tidak menghasilkan pengecualian (§11). Operasi yang meluap menghasilkan tak terhingga bertanda, operasi yang meluap menghasilkan nilai yang dinormalisasi atau nol bertanda, dan operasi yang tidak memiliki hasil pasti secara matematis menghasilkan NaN. Semua operasi numerik dengan NaN sebagai operand menghasilkan NaN sebagai hasilnya. Seperti yang telah dijelaskan, NaN tidak berurutan, jadi operasi perbandingan numerik yang melibatkan satu atau dua NaN mengembalikan false dan setiap! = Perbandingan yang melibatkan NaN mengembalikan true, termasuk x! = X ketika x adalah NaN.

Saya berhasil mendapatkan Gotcha!dari ini:

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

Ada banyak solusi:

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");
        }
    }
}

Salah satu solusi mudahnya adalah:

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

Tapi saya tidak tahu semua aturan teka-teki ini ...

:) Saya tahu ini adalah cheat, tetapi tanpa mengetahui semua aturan, apakah ini solusi termudah untuk pertanyaan tersebut :)

Buat kelas Anda sendiri Systemdalam paket yang sama dengan Condition.
Dalam hal ini Systemkelas Anda akan menyembunyikan java.lang.Systemkelas

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

Menggunakan pendekatan lewati / ubah keluaran yang sama dari jawaban lain:

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");
        }
    }
}