Я обнаружил отрицательный ноль в выводе Python; он создается, например, следующим образом:
k = 0.0
print(-k)
На выходе будет -0.0.
Однако, когда я сравниваю -k с 0,0 на равенство, получается True. Есть ли разница между 0.0 и -0.0 (меня не волнует, что они предположительно имеют разное внутреннее представление; меня волнует только их поведение в программе). Есть ли какие-то скрытые ловушки, о которых я должен знать?
Посмотрите −0 (число) в Википедии
В основном IEEE действительно определяет отрицательный ноль.
И по этому определению для всех целей:
-0.0 == +0.0 == 0
Я согласен с aaronasterling, что -0.0 и +0.0 являются разными объектами. Уравнивание их (оператор равенства) гарантирует, что в код не будут внесены тонкие ошибки.
Подумайте о a * b == c * d
>>> a = 3.4
>>> b =4.4
>>> c = -0.0
>>> d = +0.0
>>> a*c
-0.0
>>> b*d
0.0
>>> a*c == b*d
True
>>>
[Изменить: дополнительная информация на основе комментариев]
Когда я сказал это для всех практических целей, я выбрал это слово довольно поспешно. Я имел в виду стандартное сравнение на равенство.
Как сказано в ссылке, стандарт IEEE определяет сравнение так, чтобы +0 = -0, а не -0 < +0. Хотя можно всегда игнорировать знак нуля, стандарт IEEE этого не делает. Когда при умножении или делении используется знаковый ноль, при вычислении знака ответа применяются обычные правила знаков.
Такие операции, как divmod и atan2, демонстрируют это поведение. Фактически atan2 соответствует определению IEEE, как и базовая библиотека C.
>>> divmod(-0.0,100)
(-0.0, 0.0)
>>> divmod(+0.0,100)
(0.0, 0.0)
>>> math.atan2(0.0, 0.0) == math.atan2(-0.0, 0.0)
True
>>> math.atan2(0.0, -0.0) == math.atan2(-0.0, -0.0)
False
Один из способов - выяснить в документации, соответствует ли реализация требованиям IEEE. Из обсуждения также кажется, что существуют и тонкие вариации платформ.
Однако этот аспект (соответствие определению IEEE) соблюдался не везде. См. Отказ от PEP 754 из-за отсутствия интереса! Я не уверен, что это было позже.
См. Также Что должен знать каждый компьютерный ученый об арифметике с плавающей запятой .
atan2 в ответе Крейга МакКуина? Я согласен с тем, что он возвращает True при сравнении на равенство, но если поведение двух чисел может отличаться, я хотел бы знать, когда.
- person max; 03.11.2010
Это имеет значение для функции atan2() (по крайней мере, в некоторые реализации). В моем Python 3.1 и 3.2 в Windows (который основан на базовой реализации C, согласно примечанию Детали реализации CPython рядом с нижняя часть документации модуля Python math):
>>> import math
>>> math.atan2(0.0, 0.0)
0.0
>>> math.atan2(-0.0, 0.0)
-0.0
>>> math.atan2(0.0, -0.0)
3.141592653589793
>>> math.atan2(-0.0, -0.0)
-3.141592653589793
math.copysign() обрабатывает -0.0 и +0.0 по-разному, если вы не используете Python на странная платформа:
math.copysign (x, y)
Возвращает x со знаком y . На платформе, которая поддерживает нули со знаком,copysign(1.0, -0.0)возвращает-1.0.
>>> import math
>>> math.copysign(1, -0.0)
-1.0
>>> math.copysign(1, 0.0)
1.0
Да, есть разница между 0,0 и -0,0 (хотя Python не позволяет мне воспроизвести это: -P). Если вы разделите положительное число на 0,0, вы получите положительную бесконечность; если вы разделите это же число на -0,0, вы получите отрицательную бесконечность.
Однако помимо этого практической разницы между двумя значениями нет.
1/0.0, 1/-0.0.
- person Chris Jester-Young; 03.11.2010
** имеет более высокий приоритет, чем -. (-0.0) ** 0 дает 1.0.
- person dan04; 03.11.2010
Те же значения, но разные числа
>>> Decimal('0').compare(Decimal('-0')) # Compare value
Decimal('0') # Represents equality
>>> Decimal('0').compare_total(Decimal('-0')) # Compare using abstract representation
Decimal('1') # Represents a > b
Ссылка:
http://docs.python.org/2/library/decimal.html#decimal.Decimal.compare http://docs.python.org/2/library/decimal.html#decimal.Decimal.compare_total
