Баг Double.parseDouble() в Android

в 16:57, , рубрики: android, java, баги, никто не читает теги

В поисках эпизодически вылезающей ошибки, наткнулся на неожиданное поведение метода Double.parseDouble(). Исполнение кода

Double.parseDouble("4cff9d79-a696-4dfc-89f9-a265ae117257")

не привело к выбрасыванию исключения NumberFormatException. Код вполне корректно отработал и выдал результат — Infinity.

Мягко говоря, я удивился. Проверил. С десятками других UUID'ов метод отрабатывал корректно, но вот конкретно с этим (и некоторыми, иногда попадающимися, другими) Android вел себя немного загадочно.

Проверка в десктопной Java подтвердила мою догадку — проблема только в Android'е.

В чем же дело? Покопавшись, я обнаружил, что проблема вот в этом коде, который исполняется при вызове parseDouble():

if (result.e < -1024) {
	result.zero = true;
	return result;
} else if (result.e > 1024) {
	result.infinity = true;
	return result;
}

Double, как известно, имеет и экспоненциальную запись MeP, где M — мантисса, а P — экспонента (т.е., данная запись аналогична M*10^P). Android же в (почти) первую очередь проверяет на наличие экспоненты, и увидев, что она есть, и она больше, чем 1024, признает всё число бесконечностью и на этом все проверки прекращает. По этому же коду можно увидеть, что в случае, если после буквы e идет любое отрицательное число, меньшее 1024, то число также признается корректным, но равным уже нулю.

Действительно:

Double.parseDouble("Случайный набор символовe1025"); //Infinity
Double.parseDouble("Случайный набор символовe-1025"); //0.0

Ну и более реалистичный вариант (с UUID'ами):

Double.parseDouble("4cff9d79-a696-4dfc-89f9-a265ae117257"); //Infinity
Double.parseDouble("4cff9d79-a696-4dfc-89fe-126534117257"); //0.0

В общем, использовать данный метод при программировании под Android не безопасно. Используйте другие альтернативы.

P.S. Никогда не сталкивался с багами Android. Наверняка у них есть какой-то баг-трекер, где можно найти зафиксирован ли уже кем-то этот баг и, в случае необходимости, добавить его. Наверняка, среди аудитории хабра есть знающие люди, которые подскажут как это сделать (ну либо сделают это сами). Заранее спасибо.

P.P.S. Исходники я смотрел для API 17, баг возникал на телефоне с Android 4.4.2.

Автор: afterwhy

Источник

* - обязательные к заполнению поля


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js