Mengapakah Tinju Integer Java Menghasilkan Keputusan Berbeza untuk Perbandingan `Integer == Integer`?

Tinju Integer Java yang Pelik

Mekanisme tinju integer Java boleh membuatkan anda sedikit keliru, terutamanya apabila membandingkan kesamaan rujukan.

Masalah

Pertimbangkan coretan kod berikut:

public class Scratch {
    public static void main(String[] args) {
        Integer a = 1000, b = 1000;
        System.out.println(a == b); // false

        Integer c = 100, d = 100;
        System.out.println(c == d); // true
    }
}

Apabila dijalankan, ia akan menjana:

false
true

Baris pertama Hasilnya dijangka kerana a dan b ialah objek yang berbeza. Tetapi apakah keputusan baris kedua?

Jawapan

Hasil sebenar baris kedua dijamin oleh spesifikasi bahasa. Menurut Bahagian 5.1.7:

Jika nilai p yang hendak dikotakkan adalah benar, palsu, bait atau aksara dalam julat u0000 hingga u007f, atau int atau pendek antara -128 dan 127, maka keputusan mana-mana dua transformasi tinju pada p, r1 dan r2, sentiasa sama.

Walaupun baris keluaran kedua dijamin, baris pertama tidak (lihat perenggan terakhir yang dipetik di bawah):

Sebaik-baiknya, diberi nilai primitif p Tinju sentiasa menghasilkan yang sama rujukan. Dalam amalan, ini mungkin tidak dapat dilakukan menggunakan teknik pelaksanaan sedia ada. Peraturan di atas adalah kompromi pragmatik. Klausa terakhir di atas memerlukan nilai sepunya tertentu sentiasa dikotak-kotak ke dalam objek yang tidak dapat dibezakan. Pelaksanaan MUNGKIN menyimpannya, sama ada secara malas atau serta-merta.

Untuk nilai lain, perwakilan ini tidak membenarkan pengaturcara membuat sebarang andaian tentang identiti nilai kotak. Ini membenarkan (tetapi tidak memaksa) perkongsian sebahagian atau semua rujukan ini.

Ini memastikan bahawa dalam kebanyakan kes biasa, tingkah laku akan menjadi tingkah laku yang diingini tanpa kehilangan prestasi yang tidak perlu, terutamanya pada peranti kecil. Pelaksanaan kurang memori yang dikekang boleh cache semua aksara dan pendek, serta integer dan long dalam julat -32K hingga 32K.

Atas ialah kandungan terperinci Mengapakah Tinju Integer Java Menghasilkan Keputusan Berbeza untuk Perbandingan `Integer == Integer`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!