Làm thế nào một biến Java có thể khác với chính nó?

Tôi đang tự hỏi liệu câu hỏi này có thể được giải quyết bằng Java không (tôi mới sử dụng ngôn ngữ này). Đây là mã:

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

Tôi đã nhận được câu hỏi sau trong phòng thí nghiệm của mình: Làm thế nào bạn có thể bỏ qua trường hợp đầu tiên (tức là đặt x == xđiều kiện sai) mà không sửa đổi chính điều kiện?

Một cách đơn giản là sử dụng Float.NaN:

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

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

Không ổn

Bạn có thể làm tương tự với Double.NaN.

Từ JLS §15.21.1. Toán tử bình đẳng số ==và!= :

Kiểm tra bình đẳng dấu phẩy động được thực hiện theo các quy tắc của tiêu chuẩn IEEE 754:

• Nếu một trong hai toán hạng là NaN, thì kết quả của ==là falsenhưng kết quả của !=là true.

  Thật vậy, thử nghiệm x!=xlà truenếu và chỉ khi giá trị của xlà NaN.

...

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

Bởi Đặc điểm kỹ thuật ngôn ngữ Java NaN không bằng NaN.

Do đó, bất kỳ dòng nào gây ra xbằng NaNsẽ gây ra điều này, chẳng hạn như

double x=Math.sqrt(-1);

Từ Thông số kỹ thuật ngôn ngữ Java:

Toán tử dấu phẩy động không tạo ra ngoại lệ (§11). Một phép toán tràn tạo ra giá trị vô cực có dấu, một phép toán tràn dòng tạo ra giá trị không chuẩn hóa hoặc một số 0 có dấu và một phép toán không có kết quả xác định về mặt toán học tạo ra NaN. Kết quả là tất cả các phép toán số với NaN như một toán hạng tạo ra NaN. Như đã được mô tả, NaN không có thứ tự, vì vậy phép toán so sánh số liên quan đến một hoặc hai NaN sẽ trả về false và bất kỳ! = So sánh nào liên quan đến NaN đều trả về true, bao gồm x! = X khi x là NaN.

Không chắc đây có phải là một tùy chọn hay không nhưng việc thay đổi xtừ biến cục bộ thành một trường sẽ cho phép luồng khác thay đổi giá trị của nó giữa phần đọc bên trái và bên phải trong ifcâu lệnh.

Đây là bản demo ngắn:

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

Đầu ra:

⋮
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Ok
Not ok

Dòng được thay thế có thể đọc.

double x = Double.NaN;

Điều này sẽ làm cho gotcha được in.

Đặc tả ngôn ngữ Java (JLS) cho biết:

Toán tử dấu phẩy động không tạo ra ngoại lệ (§11). Một phép toán tràn tạo ra giá trị vô cực có dấu, một phép toán tràn dòng tạo ra giá trị không chuẩn hóa hoặc một số 0 có dấu và một phép toán không có kết quả xác định về mặt toán học tạo ra NaN. Kết quả là tất cả các phép toán số với NaN như một toán hạng tạo ra NaN. Như đã được mô tả, NaN không có thứ tự, vì vậy phép toán so sánh số liên quan đến một hoặc hai NaN sẽ trả về false và bất kỳ! = So sánh nào liên quan đến NaN đều trả về true, bao gồm x! = X khi x là NaN.

Tôi quản lý để có được một Gotcha!từ này:

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

Có rất nhiều giải pháp:

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

Một giải pháp dễ dàng là:

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

Nhưng tôi không biết tất cả các quy tắc cho câu đố này ...

:) Tôi biết rằng đây là một trò gian lận, nhưng không biết tất cả các quy tắc, đây có phải là giải pháp dễ nhất cho câu hỏi :)

Tạo lớp học của riêng bạn Systemtrong cùng một gói với Condition.
Trong trường hợp này, Systemlớp của bạn sẽ ẩn java.lang.Systemlớp

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

Sử dụng cùng cách tiếp cận đầu ra bỏ qua / thay đổi từ các câu trả lời khác:

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