Mengapa operator Java + =, - =, * =, / = compound tidak memerlukan casting?

Sampai hari ini, saya pikir itu misalnya:

i += j;

Itu hanya jalan pintas untuk:

i = i + j;

Tetapi jika kita coba ini:

int i = 5;
long j = 8;

Maka i = i + j;tidak akan dikompilasi tetapi i += j;akan dikompilasi dengan baik.

Apakah ini berarti bahwa sebenarnya i += j;merupakan jalan pintas untuk hal seperti ini i = (type of i) (i + j)?

Seperti biasa dengan pertanyaan-pertanyaan ini, JLS memegang jawabannya. Dalam hal ini §15.26.2 Operator Penugasan Majemuk . Ekstrak:

Ekspresi penugasan majemuk bentuk E1 op= E2setara dengan E1 = (T)((E1) op (E2)), di mana Tjenis E1, kecuali yang E1dievaluasi hanya sekali.

Contoh yang dikutip dari §15.26.2

[...] kode berikut ini benar:

short x = 3;
x += 4.6;

dan menghasilkan x yang memiliki nilai 7 karena setara dengan:

short x = 3;
x = (short)(x + 4.6);

Dengan kata lain, asumsi Anda benar.

Contoh yang baik dari casting ini menggunakan * = atau / =

byte b = 10;
b *= 5.7;
System.out.println(b); // prints 57

atau

byte b = 100;
b /= 2.5;
System.out.println(b); // prints 40

atau

char ch = '0';
ch *= 1.1;
System.out.println(ch); // prints '4'

atau

char ch = 'A';
ch *= 1.5;
System.out.println(ch); // prints 'a'

Pertanyaan yang sangat bagus The Java Bahasa spesifikasi menegaskan saran Anda.

Misalnya, kode berikut ini benar:

short x = 3;
x += 4.6;

dan menghasilkan x yang memiliki nilai 7 karena setara dengan:

short x = 3;
x = (short)(x + 4.6);

Iya,

pada dasarnya ketika kita menulis

i += l; 

kompiler mengonversi ini menjadi

i = (int)(i + l);

Saya baru saja memeriksa .classkode file.

Benar-benar hal yang baik untuk diketahui

Anda perlu melakukan cast dari longke int explicitlydalam kasus i = i + l maka akan mengkompilasi dan memberikan output yang benar. Suka

i = i + (int)l;

atau

i = (int)((long)i + l); // this is what happens in case of += , dont need (long) casting since upper casting is done implicitly.

tetapi dalam kasus +=itu hanya berfungsi dengan baik karena operator secara implisit melakukan pengecoran tipe dari jenis variabel kanan ke jenis variabel kiri sehingga tidak perlu dilemparkan secara eksplisit.

Masalahnya di sini adalah tipe casting.

Saat Anda menambahkan int dan panjang,

1. Objek int dicor ke panjang & keduanya ditambahkan dan Anda mendapatkan objek panjang.
2. tetapi objek panjang tidak dapat secara implisit dicor ke int. Jadi, Anda harus melakukannya secara eksplisit.

Tetapi +=dikodekan sedemikian rupa sehingga tidak mengetik casting.i=(int)(i+m)

Di Java, konversi jenis dilakukan secara otomatis ketika jenis ekspresi di sisi kanan operasi penugasan dapat dipromosikan dengan aman ke jenis variabel di sisi kiri penugasan. Dengan demikian kami dapat menetapkan:

 byte -> short -> int -> long -> float -> double. 

Hal yang sama tidak akan bekerja sebaliknya. Sebagai contoh, kita tidak dapat secara otomatis mengkonversi panjang ke int karena yang pertama membutuhkan lebih banyak penyimpanan daripada yang kedua dan akibatnya informasi mungkin hilang. Untuk memaksa konversi semacam itu, kita harus melakukan konversi eksplisit.
Jenis - Konversi

Terkadang, pertanyaan seperti itu bisa ditanyakan pada wawancara.

Misalnya, ketika Anda menulis:

int a = 2;
long b = 3;
a = a + b;

tidak ada typecasting otomatis. Dalam C ++ tidak akan ada kesalahan saat mengkompilasi kode di atas, tetapi di Jawa Anda akan mendapatkan sesuatu seperti Incompatible type exception.

Jadi untuk menghindarinya, Anda harus menulis kode Anda seperti ini:

int a = 2;
long b = 3;
a += b;// No compilation error or any exception due to the auto typecasting

Perbedaan utama adalah bahwa dengan a = a + b, tidak ada typecasting yang sedang berlangsung, sehingga kompiler marah kepada Anda karena tidak typecasting. Tapi dengan a += b, apa yang sebenarnya dilakukannya adalah typecasting bke tipe yang kompatibel dengannya a. Jadi, jika Anda melakukannya

int a=5;
long b=10;
a+=b;
System.out.println(a);

Apa yang sebenarnya Anda lakukan adalah:

int a=5;
long b=10;
a=a+(int)b;
System.out.println(a);

Titik halus di sini ...

Ada typecast implisit untuk i+jkapan jganda dan iint. Java SELALU mengubah integer menjadi dobel ketika ada operasi di antara mereka.

Untuk memperjelas di i+=jmana ibilangan bulat dan jganda dapat digambarkan sebagai

i = <int>(<double>i + j)

Lihat: deskripsi tentang casting implisit ini

Anda mungkin ingin typecast jke (int)dalam hal ini untuk kejelasan.

Spesifikasi Bahasa Jawa mendefinisikan E1 op= E2setara dengan di E1 = (T) ((E1) op (E2))mana Tadalah jenis E1dan E1dievaluasi sekali .

Itu jawaban teknis, tetapi Anda mungkin bertanya-tanya mengapa itu sebuah kasus. Nah, mari kita simak program berikut ini.

public class PlusEquals {
    public static void main(String[] args) {
        byte a = 1;
        byte b = 2;
        a = a + b;
        System.out.println(a);
    }
}

Apa yang dicetak oleh program ini?

Apakah Anda menebak 3? Sayang sekali, program ini tidak dapat dikompilasi. Mengapa? Nah, kebetulan bahwa penambahan byte di Jawa didefinisikan untuk mengembalikan sebuahint . Ini, saya percaya itu karena Java Virtual Machine tidak mendefinisikan operasi byte untuk menghemat bytecodes (bagaimanapun, ada sejumlah yang terbatas), menggunakan operasi integer sebagai gantinya adalah detail implementasi yang diekspos dalam bahasa.

Tetapi jika a = a + btidak bekerja, itu berarti a += btidak akan pernah bekerja untuk byte jika itu E1 += E2didefinisikan E1 = E1 + E2. Seperti yang ditunjukkan contoh sebelumnya, itu memang benar. Sebagai peretasan untuk membuat +=operator bekerja untuk byte dan celana pendek, ada pemeran yang terlibat. Ini bukan retasan yang hebat, tetapi pada saat Java 1.0 bekerja, fokusnya adalah pada pelepasan bahasa untuk memulai. Sekarang, karena kompatibilitas ke belakang, peretasan ini diperkenalkan di Java 1.0 tidak dapat dihapus.