Dlaczego -0,0 nie jest takie samo jak 0.0?

Question

mogę być czegoś brakuje podstawowych, ale za to interpretera sesji :

>>> -0.0 is 0.0 
False 
>>> 0.0 is 0.0 
True 
>>> -0.0 # The sign is even retained in the output. Why? 
-0.0 
>>> 

można by pomyśleć, że interpreter Pythona by uświadomić sobie, że -0.0 i 0.0 są takie same liczby. W rzeczywistości, porównuje je jako równy:

>>> -0.0 == 0.0 
True 
>>> 

Więc dlaczego jest Python różnicowania między nimi i generowania zupełnie nowy obiekt dla -0.0? Nie robi tego z liczb:

>>> -0 is 0 
True 
>>> -0 # Sign is not retained 
0 
>>> 

Teraz zdaję sobie sprawę, że liczb zmiennoprzecinkowych są ogromnym źródłem problemów z komputerami, ale te problemy są zawsze w odniesieniu do ich dokładności. Na przykład:

>>> 1.3 + 0.1 
1.4000000000000001 
>>> 

Ale to nie jest problem z dokładnością, prawda? Chodzi o to, że mówimy tutaj o znaku liczby, a nie o jej dziesiętnych miejscach.

---

_{mogę odtworzyć to zachowanie zarówno w Pythonie 2.7 i Python 3.4, więc nie jest to kwestia wersji specyficzne.}

Answer 1

W IEEE754, w formacie liczb zmiennoprzecinkowych, znak jest oddzielnym bitem. Więc -0,0 i 0.0 są różne dla tego bitu. Liczby całkowite używają uzupełnienia dwójkowego do reprezentowania liczb ujemnych; dlatego jest tylko jeden 0.

Użyj tylko jednego z nich, aby naprawdę porównać instancje obiektów. W przeciwnym wypadku, w szczególności w ilościach, użyć ==:

>>> 1999+1 is 2000 
False 

>>> 0.0 == -0.0 
True 

Answer 2

Ponieważ binarna reprezentacja tych dwóch liczb jest inna. W 0.0 32-bit to 0, a w -0.0 32. bit to 1.

Answer 3

Standard IEEE do arytmetyki zmiennoprzecinkowej (IEEE 754) definiuje włączenie signed zeroes. Teoretycznie umożliwiają one odróżnienie niedomiaru liczby ujemnej od liczby dodatniej underflow.

Jeśli chodzi o pytona, należy użyć numeru == zamiast is, aby porównać numery.