Ознакомьтесь со Спецификацией Oracle — Глава 5.
Эта строка:
Расширяющее примитивное преобразование не теряет информацию об общей величине числового значения.
всего двумя строками ниже следует эта строка, в которой говорится, что информация о величине может быть потеряна.
Расширяющее примитивное преобразование из float в double, не являющееся strictfp, может привести к потере информации об общей величине преобразованного значения.
Это кажется очевидным противоречием; это ошибка?
Что бы это ни стоило, спецификация JVM немного яснее в формулировке в 2.11.4:
Расширение числовых преобразований не приводит к потере информации об общей величине числового значения. Действительно, преобразования, расширяющиеся от int к long и от int к double, вообще не теряют никакой информации; числовое значение сохраняется точно. Преобразования, расширяющиеся от float до double, которые являются строгими FP (§2.8.2), также точно сохраняют числовое значение; однако такие преобразования, которые не являются строгими FP, могут потерять информацию об общей величине преобразованного значения.
Widening numeric conversions do not lose information about the overall magnitude of a numeric value. ... а затем говорить, кроме как в этом конкретном случае, я думаю, логически неправильно, но, что более важно, вводит в заблуждение, если вы, например, бросите читать, не дойдя до последнего предложения.
- person nativist.bill.cutting; 01.10.2013
Да, это так. От Оракула:
Привет Билл,
Спасибо за ваше письмо. Я согласен, что есть противоречие между:
«Расширяющее примитивное преобразование не теряет информацию об общей величине числового значения».
и:
«Расширяющее примитивное преобразование из float в double, которое не является strictfp, может привести к потере информации об общей величине преобразованного значения».
Только первое предложение появилось в первом издании JLS до введения strictfp. Второе предложение появилось во втором издании JLS как часть поддержки strictfp, и первое предложение должно было быть изменено одновременно. В выпуске Java SE 8 я поясню, что только некоторые расширяющие примитивные преобразования не теряют информацию о величине.
Это скорее уточнение. В конкретном случае преобразования числа с плавающей запятой в двойное нет гарантии, что информация не будет потеряна, если не указано strictfp.
