+0 и -0 одинаковы?

Просматривается спецификация ECMAScript 5.1, +0 и -0.

Почему тогда +0 === -0 оценивается на true?

Ответ 1

JavaScript использует стандарт IEEE 754 для представления чисел. Из Википедии:

Ноль со знаком - это ноль со связанным знаком. В обычной арифметике -0 = +0 = 0. Однако в вычислениях некоторые числовые представления допускают существование двух нулей, часто обозначаемых как -0 (отрицательный ноль) и +0 (положительный ноль). Это происходит в некоторых представлениях чисел со знаком для целых чисел и в большинстве представлений чисел с плавающей точкой. Число 0 обычно кодируется как +0, но может быть представлено либо как +0, либо как -0.

Стандарт IEEE 754 для арифметики с плавающей запятой (в настоящее время используется большинством компьютеров и языков программирования, поддерживающих числа с плавающей запятой) требует как +0, так и -0. Нули можно рассматривать как вариант расширенной строки действительных чисел, такой что 1/−0 = −∞ и 1/+0 = + ∞, деление на ноль не определено только для ± 0/± 0 и ± ∞/±. ∞.

Статья содержит дополнительную информацию о различных представлениях.

Это и есть причина, по которой технически следует различать оба нуля.

Тем не менее, +0 === -0 оценивается как истина. Это почему (...)?

Это поведение явно определено в разделе 11.9.6, Алгоритм сравнения строгого равенства (выделение частично мое):

Сравнение x === y, где x и y - значения, дает истину или ложь. Такое сравнение выполняется следующим образом:

(...)

Если тип (х) является число, то

Если x равен NaN, вернуть false.

Если y равен NaN, вернуть false.

Если x - это то же самое числовое значение, что и y, вернуть true.

Если x равен +0, а y равен -0, вернуть true.

Если x равен −0, а y равен +0, верните true.

Вернуть ложь.
(...)

(То же самое относится и к +0 == -0 прочим.)

Похоже, логично рассматривать +0 и -0 как равные. В противном случае мы должны были бы принять это во внимание в нашем коде, и я лично не хочу этого делать;)

Замечания:

ES2015 представляет новый метод сравнения Object.is. Object.is явно различает -0 и +0:

Object.is(-0, +0); // false

Ответ 2

Я добавлю это как ответ, потому что я пропустил комментарий @user113716.

Вы можете проверить значение -0, выполнив следующее:

function isMinusZero(value) {
  return 1/value === -Infinity;
}

isMinusZero(0); // false
isMinusZero(-0); // true

Ответ 3

В стандарте IEEE 754, используемом для представления типа Number в JavaScript, знак представлен битом (a 1 указывает отрицательное число).

В результате существует как отрицательное, так и положительное значение для каждого представляемого числа, включая 0.

Вот почему существуют -0 и +0.

Ответ 4

Существует два возможных значения (представления бит) для 0. Это не уникально. Особенно это касается чисел с плавающей запятой. Это связано с тем, что числа с плавающей запятой фактически хранятся как своего рода формула.

Целые числа также могут храниться отдельно. Вы можете иметь числовое значение с дополнительным знаковым битом, поэтому в 16-битном пространстве вы можете сохранить 15-битное целочисленное значение и знаковый бит. В этом представлении значение 1000 (hex) и 0000 оба равно 0, но одно из них равно +0, а другое - -0.

Этого можно избежать, вычитая 1 из целочисленного значения, поэтому оно варьировалось от -1 до -2 ^ 16, но это было бы неудобно.

Более общий подход заключается в том, чтобы хранить целые числа в "двух дополнениях", но, по-видимому, ECMAscript решил не делать этого. В этом методе номера колеблются от 0000 до 7FFF. Отрицательные числа начинаются с FFFF (-1) до 8000.

Конечно, те же правила применяются и к большим целым числам, но я не хочу, чтобы мой F износился.;)

Ответ 5

Ответ на исходный заголовок Are +0 and -0 the same?:

brainslugs83 (в комментариях ответа Spudley) указал на важный случай, когда +0 и -0 в JS не совпадают - реализованы как функция:

var sign = function(x) {
    return 1 / x === 1 / Math.abs(x);
}

Это, кроме стандартного Math.sign, вернет правильный знак +0 и -0.

Ответ 6

Мы можем использовать Object.is, чтобы различать +0 и -0, и еще одну вещь, NaN==NaN.

Object.is(+0,-0) //false

Object.is(NaN,NaN) //true

Ответ 7

Я бы обвинил его в методе сравнения Strict Equality Comparison ('==='). Посмотрите раздел 4d

см. 7.2.13 Сравнение строгого равенства в спецификация

Ответ 8

В Википедии есть хорошая статья, чтобы объяснить это явление: http://en.wikipedia.org/wiki/Signed_zero

Вкратце, оба значения +0 и -0 определены в спецификациях с плавающей точкой IEEE. Оба они технически отличаются от 0 без знака, который является целым числом, но на практике все они оцениваются до нуля, поэтому различие можно игнорировать для всех практических целей.

Ответ 9

Я только что натолкнулся на пример, когда +0 и -0 ведут себя очень по-разному:

Math.atan2(0, 0);  //returns 0
Math.atan2(0, -0); //returns Pi

Будьте осторожны: даже при использовании Math.round с отрицательным числом, таким как -0.0001, оно фактически будет -0 и может привести к некоторым последующим вычислениям, как показано выше.

Быстрый и грязный способ исправить это сделать что-то вроде:

if (x==0) x=0;

или просто:

x+=0;

Это преобразует число в +0, если это было -0.