Bisakah (a == 1 && a == 2 && a == 3) dievaluasi menjadi true di Java?

Kami tahu itu bisa di JavaScript .

Tetapi apakah mungkin untuk mencetak pesan "Sukses" pada kondisi yang diberikan di bawah ini di Jawa?

if (a==1 && a==2 && a==3) {
    System.out.println("Success");
}

Seseorang menyarankan:

int _a = 1;
int a  = 2;
int a_ = 3;
if (_a == 1 && a == 2 && a_ == 3) {
    System.out.println("Success");
}

Tetapi dengan melakukan ini kita mengubah variabel aktual. Apakah ada cara lain?

Ya, sangat mudah untuk mencapai ini dengan banyak utas, jika Anda mendeklarasikan variabel asebagai volatile.

Satu utas secara konstan mengubah variabel a dari 1 menjadi 3, dan utas lainnya terus-menerus menguji itu a == 1 && a == 2 && a == 3. Itu terjadi cukup sering untuk memiliki aliran "Sukses" yang dicetak pada konsol.

(Catatan jika Anda menambahkan else {System.out.println("Failure");}klausa, Anda akan melihat bahwa tes gagal jauh lebih sering daripada berhasil.)

Dalam praktiknya, ini juga berfungsi tanpa menyatakan avolatile, tetapi hanya 21 kali di MacBook saya. Tanpa volatile, kompiler atau HotSpot diizinkan untuk melakukan cache aatau mengganti ifpernyataan dengan if (false). Kemungkinan besar, HotSpot menendang setelah beberapa saat dan mengkompilasinya untuk instruksi perakitan yang melakukan cache nilai a. Dengan volatile , itu terus mencetak "Sukses" selamanya.

public class VolatileRace {
    private volatile int a;

    public void start() {
        new Thread(this::test).start();
        new Thread(this::change).start();
    }

    public void test() {
        while (true) {
            if (a == 1 && a == 2 && a == 3) {
                System.out.println("Success");
            }
        }
    }

    public void change() {
        while (true) {
            for (int i = 1; i < 4; i++) {
                a = i;
            }
        }
    }

    public static void main(String[] args) {
        new VolatileRace().start();
    }
}

Menggunakan konsep (dan kode) dari jawaban golf kode yang brilian , Integernilai-nilai dapat dikacaukan.

Dalam hal ini, itu dapat membuat ints dicor Integermenjadi sama ketika mereka tidak biasanya:

import java.lang.reflect.Field;

public class Test
{
    public static void main(String[] args) throws Exception
    {
        Class cache = Integer.class.getDeclaredClasses()[0];
        Field c = cache.getDeclaredField("cache");
        c.setAccessible(true);
        Integer[] array = (Integer[]) c.get(cache);
        // array[129] is 1
        array[130] = array[129]; // Set 2 to be 1
        array[131] = array[129]; // Set 3 to be 1

        Integer a = 1;
        if(a == (Integer)1 && a == (Integer)2 && a == (Integer)3)
            System.out.println("Success");
    }
}

Sayangnya itu tidak seanggun jawaban multithreaded Erwin Bolwidt (karena yang satu ini membutuhkan Integercasting) , tetapi masih ada beberapa kesenangan yang terjadi.

Dalam pertanyaan ini @aioobe menyarankan (dan menyarankan agar) penggunaan preprocessor C untuk kelas Java.

Meskipun sangat curang, itu solusi saya:

#define a evil++

public class Main {
    public static void main(String[] args) {
        int evil = 1;
        if (a==1 && a==2 && a==3)
            System.out.println("Success");
    }
}

Jika dijalankan menggunakan perintah berikut ini akan menampilkan persis satu Success:

cpp -P src/Main.java Main.java && javac Main.java && java Main

Seperti yang sudah kita ketahui bahwa itu mungkin untuk membuat kode ini mengevaluasi untuk benar berkat jawaban yang besar dari Erwin Bolwidt dan phflack , saya ingin menunjukkan bahwa Anda perlu menjaga tingkat tinggi perhatian ketika berhadapan dengan kondisi yang terlihat seperti yang disajikan dalam pertanyaan, karena kadang-kadang apa yang Anda lihat mungkin tidak persis seperti yang Anda pikirkan.

Ini adalah usaha saya untuk menunjukkan bahwa kode ini dicetak Success! ke konsol. Saya tahu saya sedikit curang , tetapi saya masih berpikir ini adalah tempat yang bagus untuk menyajikannya di sini.

Tidak masalah apa tujuan penulisan kode seperti ini - lebih baik untuk mengetahui bagaimana menghadapi situasi berikut dan bagaimana memeriksa apakah Anda tidak salah dengan apa yang Anda pikir Anda lihat.

Saya menggunakan Cyrillic 'a' yang merupakan karakter berbeda dari bahasa latin 'a'. Anda dapat memeriksa karakter yang digunakan dalam pernyataan if sini .

Ini berfungsi karena nama-nama variabel diambil dari huruf yang berbeda. Mereka adalah pengidentifikasi yang berbeda, menciptakan dua variabel yang berbeda dengan nilai yang berbeda di masing-masing.

Perhatikan bahwa jika Anda ingin kode ini berfungsi dengan baik, pengkodean karakter perlu diubah menjadi satu yang mendukung kedua karakter, misalnya semua pengkodean Unicode (UTF-8, UTF-16 (dalam BE atau LE), UTF-32, bahkan UTF-7 ), atau Windows-1251, ISO 8859-5, KOI8-R (terima kasih - Thomas Weller dan Paŭlo Ebermann - untuk menunjukkannya):

public class A {
    public static void main(String[] args) {
        int а = 0;
        int a = 1;
        if(а == 0 && a == 1) {
            System.out.println("Success!");
        }
    }
}

(Saya harap Anda tidak akan pernah harus berurusan dengan masalah semacam itu kapan saja di masa depan.)

Ada cara lain untuk melakukan pendekatan ini (selain pendekatan balap data yang mudah menguap yang saya posting sebelumnya), menggunakan kekuatan PowerMock. PowerMock memungkinkan metode diganti dengan implementasi lain. Ketika itu dikombinasikan dengan auto-unboxing, ekspresi asli (a == 1 && a == 2 && a == 3), tanpa modifikasi, dapat dibuat benar.

Jawaban @ phflack bergantung pada memodifikasi proses tinju otomatis di Jawa yang menggunakan Integer.valueOf(...)panggilan. Pendekatan di bawah ini bergantung pada modifikasi auto-unboxing dengan mengubah Integer.intValue()panggilan.

Keuntungan dari pendekatan di bawah ini adalah bahwa pernyataan if-asli yang diberikan oleh OP dalam pertanyaan tersebut digunakan tidak berubah, yang menurut saya paling elegan.

import static org.powermock.api.support.membermodification.MemberMatcher.method;
import static org.powermock.api.support.membermodification.MemberModifier.replace;

import java.util.concurrent.atomic.AtomicInteger;

import org.junit.Assert;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.powermock.core.classloader.annotations.PrepareForTest;
import org.powermock.modules.junit4.PowerMockRunner;

@PrepareForTest(Integer.class)
@RunWith(PowerMockRunner.class)
public class Ais123 {
    @Before
    public void before() {
        // "value" is just a place to store an incrementing integer
        AtomicInteger value = new AtomicInteger(1);
        replace(method(Integer.class, "intValue"))
            .with((proxy, method, args) -> value.getAndIncrement());
    }

    @Test
    public void test() {
        Integer a = 1;

        if (a == 1 && a == 2 && a == 3) {
            System.out.println("Success");
        } else {
            Assert.fail("(a == 1 && a == 2 && a == 3) != true, a = " + a.intValue());
        }
    }

}

Karena ini tampaknya merupakan tindak lanjut dari pertanyaan JavaScript ini , perlu dicatat bahwa trik ini dan yang serupa juga berfungsi di Jawa:

public class Q48383521 {
    public static void main(String[] args) {
        int aﾠ = 1;
        int ﾠ2 = 3;
        int a = 3;
        if(aﾠ==1 && a==ﾠ2 && a==3) {
            System.out.println("success");
        }
    }
}

Tentang Ideone

Tetapi perhatikan bahwa ini bukan hal terburuk yang dapat Anda lakukan dengan Unicode. Menggunakan spasi putih atau karakter kontrol yang merupakan bagian pengidentifikasi yang valid atau menggunakan huruf berbeda yang terlihat sama masih membuat pengidentifikasi yang berbeda dan dapat terlihat, misalnya saat melakukan pencarian teks.

Tapi program ini

public class Q48383521 {
    public static void main(String[] args) {
        int ä = 1;
        int ä = 2;
        if(ä == 1 && ä == 2) {
            System.out.println("success");
        }
    }
}

menggunakan dua pengidentifikasi yang sama, setidaknya dari sudut pandang Unicode. Mereka hanya menggunakan berbagai cara untuk menyandikan karakter yang sama ä, menggunakan U+00E4dan U+0061 U+0308.

Tentang Ideone

Jadi tergantung pada alat yang Anda gunakan, mereka mungkin tidak hanya terlihat sama, alat teks yang diaktifkan Unicode bahkan tidak dapat melaporkan perbedaan, selalu menemukan keduanya saat mencari. Anda bahkan mungkin memiliki masalah bahwa representasi yang berbeda hilang ketika menyalin kode sumber ke orang lain, mungkin mencoba untuk mendapatkan bantuan untuk "perilaku aneh", membuatnya tidak dapat direproduksi untuk helper.

Terinspirasi oleh jawaban luar biasa dari Erwin , saya menulis contoh serupa, tetapi menggunakan Java Stream API .

Dan hal yang menarik adalah solusi saya berfungsi, tetapi dalam kasus yang sangat jarang (karena   just-in-timekompiler mengoptimalkan kode seperti itu).

Caranya adalah dengan menonaktifkan semua JIToptimasi menggunakan VMopsi berikut :

-Djava.compiler=NONE

Dalam situasi ini, jumlah kasus sukses meningkat secara signifikan. Ini kodenya:

class Race {
    private static int a;

    public static void main(String[] args) {
        IntStream.range(0, 100_000).parallel().forEach(i -> {
            a = 1;
            a = 2;
            a = 3;
            testValue();
        });
    }

    private static void testValue() {
        if (a == 1 && a == 2 && a == 3) {
            System.out.println("Success");
        }
    }
}

PS Aliran paralel digunakan di ForkJoinPoolbawah tenda, dan variabel a dibagi di antara beberapa utas tanpa sinkronisasi apa pun, itu sebabnya hasilnya non-deterministik.

Sepanjang garis yang sama , dengan memaksa float (atau dobel) ke underflow (atau overflow) melalui pembagian (atau multiplikasi) dengan sejumlah besar:

int a = 1;
if (a / Float.POSITIVE_INFINITY == 1 / Float.POSITIVE_INFINITY
        && a / Float.POSITIVE_INFINITY == 2 / Float.POSITIVE_INFINITY
        && a / Float.POSITIVE_INFINITY == 3 / Float.POSITIVE_INFINITY) {
    System.out.println("Success");
}