Динамическое преобразование типов и переполнение

Question

[Igor Petrov]

Всем привет!

Начну с задачки, которую можно найти буквально в первой главе книги Java™ Puzzlers: Traps, Pitfalls, and Corner Cases авторства Joshua Bloch и Neal Gafter:

public class LongTest {
    public static void main(String ... args) {
      final long MICROS_PER_DAY = 24 * 60 * 60 * 1000 * 1000;
      final long MILLIS_PER_DAY   = 24 * 60 * 60 * 1000;
      System.out.println(MICROS_PER_DAY / MILLIS_PER_DAY);
   }
}

Каков будет результат? (Ответ внизу*)

Собственно, в этой теме я хотел бы спросить у специалистов о переполнении.
Скажем, если у нас есть int и на каком-то этапе случается переполнение. Почему бы не сделать, чтобы в этот момент выделить новую память, но уже типа long и переместить значение старой переменной туда.
Подозреваю, что сделано это из целей перформанса, но не уверен.

P. S. *лично я не ожидал, что ответом на задачку будет 5.

Comments

[cypok]

А если мы работаем с полем int, оно переполняется и что, вы будет изменять раскладку полей в объекте в рантайме с целью расширить одно поле?

Ну и вообще, вам после каждой арифметической операции придется вставлять доп. проверки, что более чем критично скажется на общей производительности.

[Igor Petrov]

Все объекты не обязательно. Только адрес переменной поменять.

Черт ее знает. Ведь флаг Z, не просто так ввели. Мне кажется, что проверка на переполнение — это очень дешевая операция.

[cypok]

А еще представьте, сколько софта затачивается, на то, что переполнение есть! :)

[Igor Petrov]

С этим я поспорить не могу) Я и сам в прошлом немного микроконтроллерщик — приходилось часто использовать такие «приколы», да. Вот только есть один момент. Переполнение имеет смысл делать, если используем unsigned типы, т.к. с ними проще работать человеку. Если unsigned не использовать — переполнение имхо не такое очевидное, а значит это потенциальный баг. И вот java… где вроде как с одной стороны и беззнаковые типы отсутствуют, а с другой стороны, многое направленно именно на безопасность. Да и признаться честно, ни разу не видел софт, который использует переполнение (но это не означает, что его нет) :)

Answer 1

[leventov]

Скажем, если у нас есть int и на каком-то этапе случается переполнение. Почему бы не сделать, чтобы в этот момент выделить новую память, но уже типа long и переместить значение старой переменной туда.

Если вы говорите о поле класса или даже локальной переменной, то очевидно, что так сделать нельзя.

В приведенном примере случай немного иной — анонимное выражение вычисляется в размерности максимального операнда, а не ячейки, в которую будет записан результат. Видимо, иначе сделать нельзя, потому что именно такое поведение фиксирует JLS. То есть это продумывалось 1) в середине 90-х, 2) с оглядкой на семантику Си.

Хотя поведение и правда вредное и нелогичное.

Answer 2

[serso]

Маскирование переполнения чисел — признанная ошибка при проектирования языка Java (читаем того же Блоха).

Answer 3

[galaxy]

Почему бы не сделать, чтобы в этот момент выделить новую память, но уже типа long и переместить значение старой переменной туда

В отличии от Java, разработчики хороших языков (PHP) не остановились на подобном половинчатом решении и пошли дальше — они конвертят сразу в double, что очень логично и удобно для программистов, ведь можно, например, посчитать возраст вселенной в наносекундах.
Строка, начинающаяся на цифру, может быть ожидаемо сконвертирована в int, а начинающаяся с фигурной скобочки — в object, ой, это в PHP6…
Анекдот вспоминается: нам бы ваши проблемы, Марь Иванна

Comments

[serso]

В отличие от PHP, разработчики хороших языков (Java) знают что такое числа с плавающей точкой и целые, и не смешивают два абсолютно разных понятия.

Answer 4

[cypok]

javac без каких-либо сожалений херит численные final поля и переменные, подлец!