Класс Float

• Если аргумент равен NaN, результат — строка "NaN".
• В противном случае, результат — строка, представляющая знак и модуль (абсолютное значение) аргумента. Если знак отрицательный, первый символ результата — '-' ('\u002D'); если знак положительный, знак в результате не отображается. Что касается модуля m:
  • Если m — бесконечность, она представляется символами "Infinity"; таким образом, положительная бесконечность даёт результат "Infinity", а отрицательная бесконечность — результат "-Infinity".
  • Если m равно нулю, она представляется символами "0.0"; таким образом, отрицательный ноль даёт результат "-0.0", а положительный ноль — результат "0.0".
  • В противном случае m положительно и конечно. Оно преобразуется в строку в два этапа:
    • Выбор десятичного числа: Выбирается чётко определённое десятичное число d_m для представления m. Это десятичное число (почти всегда) является наиболее коротким, которое округляется до m в соответствии с политикой округления до ближайшего значения арифметики с плавающей запятой IEEE 754.
    • Форматирование в строку: Десятичное число d_m форматируется как строка, либо в обычном, либо в компьютерном научном формате, в зависимости от его значения.

Десятичное число — это число вида s×10ⁱ для некоторых (уникальных) целых чисел s > 0 и i, таких что s не кратно 10. Эти целые числа являются соответственно мантиссой и экспонентой десятичного числа. Длина десятичного числа — (уникальное) положительное целое число n, удовлетворяющее условию 10^n-1 ≤ s < 10ⁿ.

Десятичное число d_m для конечного положительного m определяется следующим образом:

• Пусть R — множество всех десятичных чисел, которые округляются до m в соответствии с обычной политикой округления до ближайшего значения арифметики с плавающей запятой IEEE 754.
• Пусть p — минимальная длина среди всех десятичных чисел в R.
• Если p ≥ 2, пусть T — множество всех десятичных чисел в R с длиной p. В противном случае, пусть T — множество всех десятичных чисел в R с длиной 1 или 2.
• Определим d_m как десятичное число в T, которое наиболее близко к m. Или, если таких десятичных чисел в T два, выбираем то, у которого чётная мантисса.

Выбранное (уникальное) десятичное число d_m затем форматируется. Пусть s, i и n — мантисса, экспонента и длина d_m соответственно. Кроме того, пусть e = n + i - 1 и пусть s₁…s_n — обычное десятичное разложение s. Обратите внимание, что s₁ ≠ 0 и s_n ≠ 0. Ниже, десятичная точка '.' является '\u002E' и индикатор экспоненты 'E' равен '\u0045'.

• Случай -3 ≤ e < 0: d_m форматируется как 0.0…0s₁…s_n, где ровно -(n + i) нулей находятся между десятичной точкой и s₁. Например, 123 × 10^-4 форматируется как 0.0123.
• Случай 0 ≤ e < 7:
  • Подслучай i ≥ 0: d_m форматируется как s₁…s_n0…0.0, где ровно i нулей находятся между s_n и десятичной точкой. Например, 123 × 10² форматируется как 12300.0.
  • Подслучай i < 0: d_m форматируется как s₁…s_n+i.s_n+i+1…s_n, где ровно -i цифр находятся справа от десятичной точки. Например, 123 × 10^-1 форматируется как 12.3.
• Случай e < -3 или e ≥ 7: используется компьютерный научный формат для форматирования d_m. Здесь e форматируется так же, как при вызове Integer.toString(int).
  • Подслучай n = 1: d_m форматируется как s₁.0Ee. Например, 1 × 10²³ форматируется как 1.0E23.
  • Подслучай n > 1: d_m форматируется как s₁.s₂…s_nEe. Например, 123 × 10^-21 форматируется как 1.23E-19.

Для создания локальных строковых представлений значения с плавающей запятой используйте подклассы NumberFormat.

• Если аргумент равен NaN, результат — строка "NaN".
• В противном случае, результат — строка, представляющая знак и модуль (абсолютное значение) аргумента. Если знак отрицательный, первый символ результата — '-' ('\u002D'); если знак положительный, знак в результате не отображается. Что касается модуля m:
  • Если m — бесконечность, она представляется строкой "Infinity"; таким образом, положительная бесконечность даёт результат "Infinity", а отрицательная бесконечность — результат "-Infinity".
  • Если m равно нулю, она представляется строкой "0x0.0p0"; таким образом, отрицательный ноль даёт результат "-0x0.0p0", а положительный ноль — результат "0x0.0p0".
  • Если m — значение с плавающей запятой с нормализованным представлением, для представления мантиссы и полей экспоненты используются подстроки. Мантисса представляется символами "0x1.", за которыми следует шестнадцатеричное представление остальной части мантиссы как дроби. Завершающие нули в шестнадцатеричном представлении удаляются, за исключением случая, когда все цифры равны нулю, в этом случае используется одна цифра ноль. Затем экспонента представляется символами "p", за которыми следует десятичная строка смещённой экспоненты, как если бы она была получена вызовом Integer.toString для значения экспоненты.
  • Если m — значение с плавающей запятой с ненормализованным представлением, мантисса представляется символами "0x0.", за которыми следует шестнадцатеричное представление остальной части мантиссы как дроби. Завершающие нули в шестнадцатеричном представлении удаляются. Затем экспонента представляется символами "p-126". Обратите внимание, что в ненормализованной мантиссе должно быть хотя бы одна ненулевая цифра.

Если s является null, то выбрасывается NullPointerException.

Пробелы в начале и конце строки s игнорируются. Пробелы удаляются так же, как методом String.trim(); то есть удаляются и ASCII-пробелы, и управляющие символы. Остальная часть s должна соответствовать правилам лексического синтаксиса для FloatValue:

FloatValue:

Sign_opt NaN

Sign_opt Infinity

Sign_opt FloatingPointLiteral

Sign_opt HexFloatingPointLiteral

SignedInteger

HexFloatingPointLiteral:

HexSignificand BinaryExponent FloatTypeSuffix_opt

HexSignificand:

HexNumeral

HexNumeral .

0x HexDigits_opt . HexDigits

0X HexDigits_opt . HexDigits

BinaryExponent:

BinaryExponentIndicator SignedInteger

BinaryExponentIndicator:

p

P

Для интерпретации локализованных строковых представлений значения с плавающей запятой используйте подклассы NumberFormat.

Обратите внимание, что заключительные спецификаторы формата, определяющие тип вещественного литерала (1.0f - это значение float; 1.0d - это значение double ), не влияют на результаты этого метода. Другими словами, числовое значение входной строки преобразуется непосредственно в целевой тип с плавающей запятой. В общем случае, последовательность преобразований, строка в double, а затем double в float, не эквивалентна прямому преобразованию строки в float. Например, если сначала преобразовать в промежуточное значение double , а затем в float, строка
"1.00000017881393421514957253748434595763683319091796875001d"
приведёт к значению 1.0000002f; если строка преобразуется непосредственно в float, то 1.0000001f.

Чтобы избежать вызова этого метода для неверной строки и последующего исключения NumberFormatException, в документации для Double.valueOf приведён регулярное выражение, которое можно использовать для проверки входных данных.

Бит 31 (бит, выбираемый маской 0x80000000) представляет знак числа с плавающей запятой. Биты 30-23 (биты, выбираемые маской 0x7f800000) представляют показатель степени. Биты 22-0 (биты, выбираемые маской 0x007fffff) представляют мантиссу (иногда называемую значащими цифрами) числа с плавающей запятой.

Если аргумент — положительная бесконечность, результат — 0x7f800000.

Если аргумент — отрицательная бесконечность, результат — 0xff800000.

Если аргумент — NaN, результат — 0x7fc00000.

Во всех случаях результатом является целое число, которое, когда передаётся методу intBitsToFloat(int), генерирует значение с плавающей запятой, такое же, как аргумент для floatToIntBits (за исключением того, что все значения NaN сводятся к единственному «каноническому» значению NaN).

Бит 31 (бит, выбираемый маской 0x80000000) представляет знак числа с плавающей запятой. Биты 30-23 (биты, выбираемые маской 0x7f800000) представляют показатель степени. Биты 22-0 (биты, выбираемые маской 0x007fffff) представляют мантиссу (иногда называемую значащими цифрами) числа с плавающей запятой.

Если аргумент — положительная бесконечность, результат — 0x7f800000.

Если аргумент — отрицательная бесконечность, результат — 0xff800000.

Если аргумент — NaN, результат — целое число, представляющее фактическое значение NaN. В отличие от метода floatToIntBits, метод floatToRawIntBits не сводит все битовые шаблоны, кодирующие NaN, к одному «каноническому» значению NaN.

Во всех случаях результатом является целое число, которое, когда передаётся методу intBitsToFloat(int), генерирует значение с плавающей запятой, такое же, как аргумент для floatToRawIntBits.

Если аргумент — 0x7f800000, результат — положительная бесконечность.

Если аргумент — 0xff800000, результат — отрицательная бесконечность.

Если аргумент — любое значение в диапазоне 0x7f800001 по 0x7fffffff или в диапазоне 0xff800001 по 0xffffffff, результатом является NaN. Никакая операция с плавающей запятой IEEE 754, предоставляемая Java, не может различать два значения NaN одного типа с различными битовыми шаблонами. Отличные значения NaN различимы только с помощью метода Float.floatToRawIntBits.

Во всех остальных случаях, пусть s, e и m — три значения, которые можно вычислить из аргумента:

int s = ((bits >> 31) == 0) ? 1 : -1;
int e = ((bits >> 23) & 0xff);
int m = (e == 0) ?
                (bits & 0x7fffff) << 1 :
                (bits & 0x7fffff) | 0x800000;

Обратите внимание, что этот метод может не быть в состоянии вернуть NaN с плавающей запятой, имеющий в точности тот же битовый шаблон, что и аргумент с плавающей запятой. IEEE 754 различает два типа NaN: тихие NaN и сигнализирующие NaN. Различия между двумя типами NaN, как правило, не видны в Java. Арифметические операции над сигнализирующими NaN преобразуют их в тихие NaN с другим, но часто похожим битовым шаблоном. Однако на некоторых процессорах простое копирование сигнализирующего NaN также выполняет это преобразование. В частности, копирование сигнализирующего NaN для возврата вызывающему методу может выполнить это преобразование. Таким образом, intBitsToFloat может не быть в состоянии вернуть float со сигнализирующим NaN битовым шаблоном. Следовательно, для некоторых значений int, floatToRawIntBits(intBitsToFloat(start)) может не быть равно start. Кроме того, какие конкретные битовые шаблоны представляют сигнализирующие NaN, зависит от платформы; хотя все битовые шаблоны NaN, тихие или сигнализирующие, должны быть в диапазоне NaN, указанном выше.

• Если аргумент равен нулю, результат — ноль с тем же знаком, что и аргумент.
• Если аргумент равен бесконечности, результат — бесконечность с тем же знаком, что и аргумент.
• Если аргумент — NaN, результат — NaN.

Формат IEEE 754 binary16

• Если аргумент равен нулю, результат — ноль с тем же знаком, что и аргумент.
• Если аргумент равен бесконечности, результат — бесконечность с тем же знаком, что и аргумент.
• Если аргумент — NaN, результат — NaN.

• NaN является неупорядоченным по отношению к другим значениям и неравным самому себе в операторах сравнения. Этот метод выбирает определение NaN как равного самому себе и большего, чем все другие значения с плавающей запятой (включая NaN).
• Положительный и отрицательный ноль сравниваются как числовые равные, но являются различными и различимыми значениями. Этот метод выбирает определение положительного нуля (+0.0f), как большего, чем отрицательный ноль (-0.0f).

    Float.valueOf(f1).compareTo(Float.valueOf(f2))