C: Co to znaczy, że double to == -0?

Question

Użyłem właśnie gdb do wydrukowania wartości podwójnej i ku mojemu zaskoczeniu wydrukowano -0

Co to jest podwójna z wartości średniej -0 w C?

Nawiasem mówiąc, kiedy sprawdziłem to równość gdzie 0 jest zwracany prawda: Aby zrobić porównanie Właśnie zrobiłem następujący

w gdb

> print some_double 
-0 
> print some_double == 0 
1 

Answer 1

Negative zero jest przydatna koncepcja obliczeń numerycznych i jest poprawna liczba zmiennoprzecinkowa w C.

Answer 2

Jest to znany problem z printf. Ponieważ używasz liczby zmiennoprzecinkowej, nie ma jednej reprezentacji możliwej w systemie binarnym. A większość razy reprezentacja binarna nie jest idealna. Zatem 0 jest przechowywane jako 0.00000000000000...0042 czasami i jako -0.000000000000000000000123. Gdy printf drukuje drugi, otrzymujesz dziwne -0.

Naprawdę nie wiem, jak porównasz się z 0, pamiętaj tylko, aby dodać epsilon podczas porównywania zmiennoprzecinkowych w celu dostosowania do dziwności. Np .: aby przetestować czy dwa obiekty są równe nigdy nie pisz a == b, ale fabs(a-b) < 1e-13 gdzie 1e-13 to epsilon (wybierz wykładnik, który najbardziej Ci odpowiada).

Answer 3

Właściwie czytając książkę "Pisanie świetnego kodu, Tom 1" w rozdziale 4 autor daje odpowiedź dość wyraźnie, że jest to spowodowane użyciem uzupełnienia 1 do reprezentowania podpisanego float w standardzie IEEE FP. Mówi:

Mantysa używa formatu dopełnienia zamiast dopełnienia dwóch. Oznacza to, że 24-bitowa wartość mantysy jest po prostu niepodpisaną liczbą binarną, a bit znaku, w pozycji bitu 31, określa, czy ta wartość jest dodatnia czy ujemna. Numery dopełnień mają niezwykłą właściwość , że istnieją dwie reprezentacje dla zera (z bitem znaku ustawionym lub wyczyszczonym). Zasadniczo jest to ważne tylko dla osoby projektującej oprogramowanie zmiennoprzecinkowe lub system sprzętowy.

kopalnia Nacisk