archived-doc-ru/language/types/float.xml

<?xml version="1.0" encoding="utf-8"?>
<!-- EN-Revision: e587d0655e426f97b3fcb431453da5030e743b23 Maintainer: shein Status: ready -->
<!-- Reviewed: no -->
<sect1 xml:id="language.types.float" xmlns:xlink="http://www.w3.org/1999/xlink">
 <title>Числа с плавающей точкой</title>

 <para>
  Числа с плавающей запятой в руководстве называются «числами с плавающей точкой»,
  поскольку в английском языке — языке оригинала PHP-руководства — целую и дробную часть в таких числах
  разделяет точка, а не запятая. В других языках программирования числа с плавающей точкой называют также:
  float, double или real. В PHP числа с плавающей точкой записывают следующими синтаксисами:
 </para>

 <informalexample>
  <programlisting role="php">
<![CDATA[
<?php

$a = 1.234;
$b = 1.2e3;
$c = 7E-10;
$d = 1_234.567; // Начиная с PHP 7.4.0

?>
]]>
  </programlisting>
 </informalexample>

 <para>
  Поддержка подчёркиваний в числах появилась с PHP 7.4.0:
 </para>

 <informalexample>
  <programlisting>
<![CDATA[
LNUM          [0-9]+(_[0-9]+)*
DNUM          ({LNUM}?"."{LNUM}) | ({LNUM}"."{LNUM}?)
EXPONENT_DNUM (({LNUM} | {DNUM}) [eE][+-]? {LNUM})
]]>
  </programlisting>
 </informalexample>

 <para>
  Размер числа с плавающей точкой зависит от платформы, хотя максимум обычного значения с плавающей точкой
  составляет примерно 1.8e308 с точностью около 14 десятичных цифр (64-битный формат стандарта IEEE).
 </para>

 <warning xml:id="warn.float-precision">
  <title>Точность чисел с плавающей точкой</title>

  <para>
   Точность чисел с плавающей точкой ограничена. Хотя точность
   зависит от операционной системы, PHP обычно использует формат
   двойной точности, который определяет стандарт IEEE 754, который даёт
   максимальную относительную погрешность округления порядка 1.11e-16.
   Неэлементарные арифметические операции иногда дают бо́льшие ошибки,
   и, конечно, учитывают распространение ошибок при объединении операции.
  </para>

  <para>
   Кроме того, рациональные числа наподобие <literal>0.1</literal>
   или <literal>0.7</literal>, которые легко точно представить
   как числа с плавающей точкой по основанию 10 — в десятичной системе счисления,
   внутренне невозможно точно представить как числа с плавающей точкой по основанию 2 — в двоичной системе счисления,
   независимо от размера мантиссы. Поэтому такие числа невозможно преобразовать во внутреннюю двоичную форму
   без небольшой потери точности. Иногда это даёт противоречивые результаты:
   например, округление <literal>floor((0.1 + 0.7) * 10)</literal> возвращает
   значение <literal>7</literal> вместо <literal>8</literal>, которое ожидалось, поскольку
   внутреннее представление будет примерно таким:
   <literal>7.9999999999999991118...</literal>.
  </para>

  <para>
   Точности чисел с плавающей точкой не доверяют до последней цифры
   и не сравнивают такие числа на предмет равенства.
   Когда требуется повышенная точность, пользуются
   <link linkend="ref.bc">функциями математики произвольной точности</link>
   и <link linkend="ref.gmp">функциями математики множественной точности модуля GMP</link>.
  </para>

  <para>
   «Простое» объяснение даёт <link xlink:href="&url.floating.point.guide;">руководство по числам с плавающей точкой</link>,
   которое также называется «Why don’t my numbers add up?» («Почему мои числа не складываются?» — англ.)
  </para>
 </warning>

 <sect2 xml:id="language.types.float.casting">
  <title>Преобразование в число с плавающей точкой</title>

  <sect3 xml:id="language.types.float.casting.from-string">
   <title>Из строк</title>

   <simpara>
    <link linkend="language.types.numeric-strings">Числовые строки</link>
    или строки с начальной числовой последовательностью преобразовываются в значение с плавающей точкой,
    иначе строка преобразуется в целочисленное значение <literal>0</literal>.
   </simpara>
  </sect3>

  <sect3 xml:id="language.types.float.casting.from-other">
   <title>Из других типов</title>

   <para>
    При преобразовании значений других типов в число с плавающей точкой значение вначале преобразовывается в целое число (<type>int</type>),
    а затем в число с плавающей точкой (<type>float</type>).
    Дополнительную информацию о целочисленном преобразовании даёт раздел «<link linkend="language.types.integer.casting">Преобразование в целое число</link>».
   </para>

   <note>
    <para>
     Поскольку поведение отдельных типов при преобразовании в тип <type>int</type>, то же самое происходит и при преобразовании в
     число с плавающей точкой (<type>float</type>).
    </para>
   </note>
  </sect3>
 </sect2>

 <sect2 xml:id="language.types.float.comparison">
  <title>Сравнение чисел с плавающей точкой</title>

  <para>
   Как отмечалось в предыдущем предупреждении, проверка чисел с плавающей точкой на равенство
   даёт сомнительные результаты из-за ограничений внутреннего представления таких чисел,
   однако PHP поддерживает способы сравнения чисел с плавающей точкой,
   которые обходят эти ограничения.
  </para>

  <para>
   Для сравнения чисел с плавающей точкой используется верхняя граница
   относительной ошибки при округлении. Эта величина называется
   машинной эпсилон или единицей округления (unit roundoff)
   и представляет собой самую маленькую допустимую разницу при расчётах.
  </para>

  <para>
   Числа <varname>$a</varname> и <varname>$b</varname> равны до 5-ти
   знаков после точки.
  </para>

  <example>
   <title>Сравнение чисел с плавающей точкой</title>
   <programlisting role="php">
<![CDATA[
<?php

$a = 1.23456789;
$b = 1.23456780;
$epsilon = 0.00001;

if (abs($a - $b) < $epsilon) {
    echo "true";
}

?>
]]>
   </programlisting>
  </example>
 </sect2>

 <sect2 xml:id="language.types.float.nan">
  <title>NaN</title>
  <para>
   Некоторые числовые операции могут возвращать значение, представляемое
   константой <constant>NAN</constant>. Данный результат означает неопределённое
   или непредставимое значение в операциях с плавающей точкой. Любое строгое
   или нестрогое сравнение данного значения с другим значением, кроме &true;, включая его
   самого, возвратит &false;.
  </para>
  <para>
   Так как <constant>NAN</constant> представляет собой неограниченное количество
   различных значений, то <constant>NAN</constant> не следует сравнивать с
   другими значениями, включая её саму. Вместо этого, для определения её наличия
   необходимо использовать функцию <function>is_nan</function>.
  </para>
 </sect2>
</sect1>
<!-- Keep this comment at the end of the file
Local variables:
mode: sgml
sgml-omittag:t
sgml-shorttag:t
sgml-minimize-attributes:nil
sgml-always-quote-attributes:t
sgml-indent-step:1
sgml-indent-data:t
indent-tabs-mode:nil
sgml-parent-document:nil
sgml-default-dtd-file:"~/.phpdoc/manual.ced"
sgml-exposed-tags:nil
sgml-local-catalogs:nil
sgml-local-ecat-files:nil
End:
vim600: syn=xml fen fdm=syntax fdl=2 si
vim: et tw=78 syn=sgml
vi: ts=1 sw=1
-->