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