Чому Java + +, - =, * =, / = оператори присвоєння з'єднань не вимагають кастингу?

До сьогодні я думав, що наприклад:

i += j;

Це був лише ярлик для:

i = i + j;

Але якщо ми спробуємо це:

int i = 5;
long j = 8;

Тоді i = i + j;не складатимуть, а i += j;складуть штрафи.

Чи означає це, що насправді i += j;це ярлик для чогось подібного i = (type of i) (i + j)?

Як завжди з цими питаннями, JLS відповідає на цю відповідь. У цьому випадку §15.26.2 Оператори з'єднання . Виписка:

Вираження складної форми форми E1 op= E2еквівалентно E1 = (T)((E1) op (E2)), де Tє тип E1, за винятком того, що E1оцінюється лише один раз.

Приклад, наведений у §15.26.2

[...] правильний наступний код:

short x = 3;
x += 4.6;

і призводить до того, що x має значення 7, оскільки воно еквівалентно:

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

Іншими словами, ваше припущення правильне.

Хорошим прикладом цього кастингу є використання * = або / =

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

або

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

або

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

або

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

Дуже гарне запитання. Специфікація мови Java підтверджує вашу пропозицію.

Наприклад, правильний наступний код:

short x = 3;
x += 4.6;

і призводить до того, що x має значення 7, оскільки воно еквівалентно:

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

так,

в основному, коли ми пишемо

i += l; 

компілятор перетворює це в

i = (int)(i + l);

Я щойно перевірив .classкод файлу.

Дійсно добре знати

Ви повинні гіпс від longдо int explicitlyв разі , i = i + l то він буде компілювати і дати правильний висновок. подібно до

i = i + (int)l;

або

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

але у випадку +=це просто працює нормально, оскільки оператор неявно робить тип кастингу від типу правої змінної до типу лівої змінної, тому не потрібно викладати явно.

Проблема тут стосується лиття типів.

Коли ви додаєте int і long,

1. Об'єкт int передається на довгий, і обидва додаються, і ви отримуєте довгий об'єкт.
2. але довгий об'єкт не може бути неявно закинутий на int. Отже, ви повинні це робити явно.

Але +=кодується таким чином, що він робить кастинг типу.i=(int)(i+m)

У Java типів перетворення здійснюються автоматично, коли тип виразу з правого боку операції призначення може бути безпечно переведений до типу змінної з лівої сторони призначення. Таким чином, ми можемо сміливо призначати:

 байт -> короткий -> int -> long -> float -> double. 

Це ж не буде працювати навпаки. Наприклад, ми не можемо автоматично перетворити довгі в int, оскільки для першого потрібне більше місця, ніж друге, і, отже, інформація може бути втрачена. Щоб примусити таке перетворення, ми повинні здійснити явне перетворення.
Тип - конверсія

Іноді таке питання можна задати на співбесіді.

Наприклад, коли ви пишете:

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

немає автоматичного набору клавіш. У C ++ не буде жодної помилки при складанні вищевказаного коду, але в Java ви отримаєте щось на кшталтIncompatible type exception .

Щоб уникнути цього, ви повинні написати свій код так:

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

Основна відмінність полягає в тому, що з a = a + b, не відбувається ніякого набору клавіш, і тому компілятор злиться на вас за те, що не вводить текст. Але з тим a += b, що насправді робиться, bце набір тексту на сумісний з a. Так що якщо ви робите

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

Що ви насправді робите:

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

Тут тонка точка ...

Існує неявна typecast для того, i+jколи jє подвійним і iє int. ЯВИ ЗАВЖДИ перетворює ціле число в подвійне, коли між ними відбувається операція.

Для уточнення, i+=jде iє ціле число і jє подвійним, можна описати як

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

Подивитися: цей опис неявного кастингу

Ви можете jввести (int)в цьому випадку для ясності.

Специфікація мови Java визначає E1 op= E2, що еквівалентно , E1 = (T) ((E1) op (E2))де Tце тип E1і E1обчислюється один раз .

Це технічна відповідь, але вам може бути цікаво, чому це так. Що ж, давайте розглянемо наступну програму.

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

Що друкує ця програма?

Ви вгадали 3? Шкода, що ця програма не компілюється. Чому? Що ж, буває так, що додавання байтів у Java визначено для поверненняint . Я вважаю, це тому, що віртуальна машина Java не визначає байт-операції для економії на байт-кодах (зрештою, їх обмежена кількість), використовуючи цілі операції, а не детальну інформацію про реалізацію, викриту мовою.

Але якщо a = a + bце не працює, це означає, a += bщо ніколи б не працювало на байти, якби це E1 += E2було визначено E1 = E1 + E2. Як показує попередній приклад, це було б дійсно так. Як хак, щоб змусити +=оператора працювати за байтами та шортами, задіяний неявний склад. Це не так вже й здорово, але під час роботи з Java 1.0 фокус робився на тому, щоб спочатку випустити мову. Тепер, через зворотну сумісність, цей хак, введений у Java 1.0, не вдалося видалити.