Mengapa Tinju Integer di Jawa Kadang-kadang Mengembalikan `benar` dan Kadang-kadang `palsu` untuk Perbandingan `==`?

Memahami Keanehan Tinju Integer di Jawa

Di Jawa, jenis data primitif seperti integer mempunyai kelas pembalut yang sepadan, seperti Integer, hingga menyediakan fungsi berorientasikan objek. Cara nilai ini dikotak dan dinyahkotak boleh membawa kepada hasil yang mengejutkan.

Satu pemerhatian sedemikian datang daripada kod berikut:

public class WeirdBoxing {
    public static void main(String[] args) {
        Integer a = 1000, b = 1000;
        System.out.println(a == b);
        
        Integer c = 100, d = 100;
        System.out.println(c == d);
    }
}

Apabila dilaksanakan, kod ini mencetak:

false
true

Mengapa perbandingan pertama mengembalikan palsu manakala yang kedua mengembalikan benar? Menurut pengendali ==, rujukan hendaklah sentiasa dibandingkan.

Misteri Di Sebalik Perbandingan "Benar"

Menariknya, perbandingan yang sebenar bukanlah kebetulan. Spesifikasi Bahasa Java (JLS) Bahagian 5.1.7 menyatakan:

Jika nilai p yang dikotakkan ialah [...] int atau nombor pendek antara -128 dan 127, [...] maka biarkan r1 dan r2 ialah hasil daripada mana-mana dua penukaran tinju p. Selalunya berlaku bahawa r1 == r2.

Dalam keadaan ini, c dan d kedua-duanya memegang nilai dalam julat yang ditentukan, menyebabkan perwakilan berkotaknya (objek Integer) menjadi sama.

Kekaburan Perbandingan Julat Tidak Tetap

Sebaliknya, perbandingan pertama (a == b) tidak termasuk di bawah peraturan kesaksamaan yang dijamin. JLS menekankan perkara ini:

Untuk nilai lain, [peraturan] tidak membenarkan sebarang andaian tentang identiti nilai kotak di pihak pengaturcara.

Pada asasnya, apabila nilai tinju di luar julat tetap, tiada jaminan yang sama rujukan.

Kesimpulan

Gelagat aneh tinju Integer di Java berpunca daripada peruntukan spesifikasi bahasa untuk kecekapan dan kes penggunaan biasa. Walaupun nilai dalam julat tertentu dijamin dikotak-kotak secara sama, untuk nilai lain, identiti objek berkotak tidak dapat diramalkan. Pemahaman ini menerangkan "keanehan" yang ditunjukkan oleh coretan kod yang dibentangkan pada permulaan.

Atas ialah kandungan terperinci Mengapa Tinju Integer di Jawa Kadang-kadang Mengembalikan `benar` dan Kadang-kadang `palsu` untuk Perbandingan `==`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!