Почему операторы присваивания сCompound типа в Java (+=, -=, *=, /=) не требуют приведения типов?

Да,

по сути, когда мы пишем

i += l; 

компилятор преобразует это в

i = (int) (i + l);

Я только что проверил код в .class файле.

Действительно полезно знать!

В случае, если вам нужно выполнить операцию i = i + l, вы должны явно привести long к int, чтобы компиляция завершилась успешно и результат был корректным. Например:

i = i + (int)l;

Или

i = (int)((long)i + l); // это то, что происходит в случае использования оператора +=, здесь не требуется явное приведение (long), так как верхнее приведение выполняется неявно.

Однако при использовании оператора += тип приведения выполняется неявно. Оператор автоматически приводит тип правого операнда к типу левого операнда, поэтому явное приведение не требуется.

Проблема здесь связана с приведением типов.

Когда вы складываете значение типа int и значение типа long:

1. объект типа int приводится к типу long, после чего оба значения складываются, и результатом будет объект типа long.
2. Однако объект типа long не может быть неявно приведён к типу int, поэтому вам нужно сделать это явно.

Тем не менее, операция += реализована таким образом, что она выполняет приведение типов автоматически. То есть, это эквивалентно записи i = (int) (i + m).

Вопрос о преобразовании типов в процессе выполнения может действительно возникнуть на собеседовании.

Рассмотрим следующий код:

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

Здесь не происходит автоматического приведения типов. В C++ компиляция пройдет успешно, однако в Java вы получите ошибку Incompatible type exception, так как попытка присвоить результат вычисления переменной типа long переменной типа int приводит к несоответствию типов.

Чтобы избежать этой ошибки, вы можете записать код следующим образом:

int a = 2;
long b = 3;
a += b; // Нет ошибки компиляции или исключения благодаря автоматическому приведению типов

В этом случае оператор += позволяет избежать явного приведения типов и корректно обработает сложение, используя тип int для переменной a.