Przypadki gdzie float == i! = Nie są bezpośrednimi przeciwieństwami

Question

W https://github.com/numpy/numpy/issues/6428 główną przyczyną błędu wydaje się być, że w simd.inc.src:543, kompilator optymalizuje !(tmp == 0.) do tmp != 0..

A comment mówi, że są to "nie całkiem to samo". Ale nie podaje żadnych szczegółów. NaNs są wymienione dalej, ale test pokazuje, że NaN porównuje się do 0. w oczekiwany sposób.

Jakie są przypadki, w których == i != mogą zwracać wartość true/false?

Lub rozbieżność występuje w innym polu - np. zwracanie wartości, które mają tę samą wartość prawdy, ale są różne jako ints (ale testy pokazują, że nawet to nie wygląda) ?

Answer 1

Komentarz mówi, że są to "nie całkiem to samo". Ale nie podaje żadnych szczegółów. NaNs są wymienione dalej, ale test pokazuje, że NaN porównuje się do 0. oczekiwanego sposobu.

Jakie są przypadki, w których == i! = Mogą zwracać true/false?

Norma mówi:

== (równe) i != (nie równy) operatorzy są analogiczne do relacyjnych operatorów z wyjątkiem ich niższym priorytecie. [...] Dla dowolnej pary operandów, dokładnie jedna z relacji jest prawdziwa.

(C2011, 6.5.9/3; nacisk dodano)

Dlatego dla wszystkich wyrażeń X i Y, które są wspólnie dozwolony jako argumenty tych podmiotów, (X) != (Y) musi dawać w wyniku taki sam jak !((X) == (Y)). Jeśli w praktyce okaże się, że nie robią tego, to kompilator, który dał taki wynik, nie jest zgodny pod tym względem. Jeśli ta niezgodność jest nieoczekiwana, oznacza to błąd w kompilatorze.

Dodatkowo zauważam, że 6.5.9/3 odnosi się w równym stopniu do NaN, nieskończoności i podnormałów, jak do wszelkich innych operandów. NaNs są szczególne w odniesieniu do tych operatorów z innego powodu: NaNs porównują nierównolegle do wszystkich operandów, w tym samych siebie (przypuśćmy, że semantyka IEEE).

Answer 2

Od połączonego postu:

charris skomentował 9 paź 2015

Idę do odgadnięcia !(tmp == 0.) jest zoptymalizowany do tmp != 0., który nie jest całkiem to samo.

Komentarz przez OP:

Autor mówi, że to przypuszczenie, ale są one dość pozytywne, że !(tmp==0.) i tmp!=0. nie są równoważne i wyrazić, że jakby to powszechnie wiadomo

Jak czy pogodzimy tych dwóch?

Najwyraźniej są one zgodne z logicznie równoważne z. Ale pod względem implementacji mogą nie być. Kompilator może implementować !(a == b) jako test, po którym następuje negacja. Alternatywnie może zoptymalizować wyrażenie i bezpośrednio przetestować a != b. Wynikowy kod zespołu byłby inny w tych dwóch przypadkach. Ten sam wynik powinien (musi) zostać osiągnięty, ale czas wykonania może być inny.

"Nie całkiem to samo" byłoby po prostu potwierdzeniem, że !(a == b) i a != b są w rzeczywistości różnymi kombinacjami znaków, a kompilator może zrobić z nimi coś technicznie innego, co musi przynieść ten sam wynik. A jeśli zaobserwujemy różne wyniki, może być błąd w kompilatorze.