В поисках эпизодически вылезающей ошибки, наткнулся на неожиданное поведение метода 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
