Русская Википедия:−0 (программирование)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

−0 (отрицательный ноль) в программировании — число, возникающее при вычислениях с плавающей запятой (а также в некоторых вариантах представления целых со знаком).

Представления

В 1+7-битном представлении чисел со знаком отрицательный ноль представляется двоичным значением 10000000 в прямом коде. В 8-битном одинарном обратном коде −0 представляется двоичным значением 11111111. В стандарте представления чисел с плавающей запятой IEEE 754, отрицательный ноль представляется нулевой экспонентой и мантиссой и знаковым битом равным единице.

В наиболее распространённом в настоящее время двойном дополнительном коде понятие отрицательного ноля отсутствует, что и сделало этот формат наиболее популярным.

Свойства

В языках программирования, таких как C, C#, C++ и Java, хотя и возможно получить отрицательный ноль в качестве результата вычисления выражения, при сравнении отрицательный ноль равен положительному, поэтому простое сравнение не может быть использовано для определения того, является ли число отрицательным нулём. Для проверки на отрицательный ноль можно использовать функцию CopySign(), определённую в IEEE 754, которая копирует знак числа (в данном случае нуля) в другое число (для проверки знака нужно взять ненулевое).

Для определения знака нуля можно также использовать деление:

• <math>\;x / +0 = +\infty</math> (для положительного x);
• <math>\;x / -0 = -\infty</math> (для положительного x).

Результат других операций с отрицательным нулём:

• <math>\;-0 / x = -0</math> (для положительного x);
• <math>\;-0 / x = +0</math> (для отрицательного x);
• <math>\;+0 / x = -0</math> (для отрицательного x);
• <math>\;-0 / +\infty = -0</math>;
• <math>\;-0 / -\infty = +0</math>;
• <math>\;+0 / -\infty = -0</math>;
• <math>\;-0 \cdot -0 = +0</math>;
• <math>\;-0 - +0 = -0</math>;
• <math>\;-0 - -0 = +0</math>;
• <math>\;+0 + -0 = +0</math>;
• <math>\;-0 + -0 = -0</math>;
• <math>\;x \cdot -0 = -0</math> (для положительного x);
• <math>\;x + -0 = x</math>;
• <math>\sqrt{-0} = -0</math>;
• <math>{\pm 0} \times {\pm \infty} = \mbox{NaN}</math>, где NaN (Шаблон:Lang-en) — машинное представление значения с неопределённым результатом;
• <math>\frac{\pm 0}{\pm 0} = \mbox{NaN}</math>.

В математике

Шаблон:Main Определения операций для нуля со знаком отражают свойства операций с бесконечно малыми величинами в математическом анализе, хотя не всегда точно соответствуют им. Так, например, свойства <math>+0 + -0 = +0</math>, <math>\sqrt{-0} = -0</math>, определённые в стандарте IEEE 754, не имеют математического обоснования.

См. также

• Машинный ноль

Ссылки

• Шаблон:Cite web
• Шаблон:Cite web
• Java Floating-Point Number Intricacies, Thomas Wang, март 2000
• Шаблон:Cite web — десятичная спецификация чисел с плавающей точкой включающая отрицательный нуль
• Charles Kittel, Herbert Kroemer, Thermal Physics, W. H. Freeman & Company, 1980

Для более углублённого изучения

• Шаблон:Cite web — изменения в функции SIGN в Fortran 95 для работы с отрицательным нулём
• Шаблон:Cite web — арифметика с плавающей точкой в JScript содержит отрицательный нуль по определению
• Шаблон:Cite web — представление отрицательного нуля в Java virtual machine
• Comparing floating point numbers, Bruce Dawson — как обращаться с отрицательным нулём при сравнении чисел с плавающей точкой
• Шаблон:Cite web — Числа в одинарном дополнительном коде на семействе компьютеров UNIVAC 1100.