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