c++.de :: float-Vergleich mit sich selbst

Eisflamme Mitglied 17:46:13 26.07.2012 Titel:

Hallo,

wenn ich einen float mit sich selbst vergleiche, ergibt der Ausdruck dann true, wenn es sich um eine "normale" Zahl (also nicht NaN, +-inf, IND o.ä.) handelt?

Sind operator== und operator!= beide definiert für diese Operation?

SeppJ Moderator 17:49:06 26.07.2012 Titel:

f != f dann und nur dann, wenn f NaN ist.

Aber Achtung: Ein solcher Vergleich könnte wegoptimiert werden, üblich ist daher:

C++:
bool my_isnan(double value) { volatile double d = value; return d != d; }

Eisflamme Mitglied 17:51:10 26.07.2012 Titel:

Kann ich irgendwie prüfen, ob der float irgendwas Nicht-Zahliges (also nicht nur NaN sondern auch inf, IND usw.) ist?

SeppJ Moderator 17:55:52 26.07.2012 Titel:

Eisflamme schrieb:

Kann ich irgendwie prüfen, ob der float irgendwas Nicht-Zahliges (also nicht nur NaN sondern auch inf, IND usw.) ist?

Ja. Aber hast du denn weder C++11 noch Boost noch eine C99-Standardbibliothek? Die haben das nämlich alle schon eingebaut.

Eisflamme Mitglied 18:02:05 26.07.2012 Titel:

Hab alles, stelle mich nur zu blöd an das zu finden.

Habe mit numeric_limits rumgespielt, aber das hilft nicht.

camper Mitglied 18:03:24 26.07.2012 Titel:

Eisflamme schrieb:

Kann ich irgendwie prüfen, ob der float irgendwas Nicht-Zahliges (also nicht nur NaN sondern auch inf, IND usw.) ist?

C++:
!isfinite(x)

aus <cmath>

Eisflamme Mitglied 18:05:35 26.07.2012 Titel:

Dankesehr!

Sorry nochmal. Ich kriege gerade die einfachsten Dinge nicht gebacken (geschweige denn über Google gefunden). Ich gestatte euch Facepalms, Kopfschütteln und Augendrehen über mich.

Bashar Mitglied 18:16:28 26.07.2012 Titel:

SeppJ schrieb:

Aber Achtung: Ein solcher Vergleich könnte wegoptimiert werden

Widerspricht das nicht der as-if-Regel?

SeppJ Moderator 18:30:09 26.07.2012 Titel:

Bashar schrieb:

SeppJ schrieb:

Aber Achtung: Ein solcher Vergleich könnte wegoptimiert werden

Widerspricht das nicht der as-if-Regel?

Bei Fließkommaoperationen wird dies auf härteren Optimierungsstufen (GCC z.B. ffast-math, ffinite-math & Co, muss man aber alles händisch aktivieren) auch mal ignoriert. Dann funktioniert die volatile-Operation (hoffentlich, ich habe es nicht getestet) immer noch. Bei nicht so harten Optimierungen sollte (wieder nicht getestet, nur geschätzt, dass es da sowieso nicht viel zu optimieren gibt) es trotz volatile ungefähr gleich schnell sein (die Pipeline wird eventuell nicht perfekt ausgelastet, weil volatile strenger ist, was Umordnungen angeht).

Natürlich ist der ganze Punkt dieser Optimierungen, dass sie den Fließkommastandard brechen dürfen, insofern ist das volatile bei genauerem Nachdenken doch eher unnötig, da man diese Optimierungen sowieso nicht nutzen kann, wenn NaN vorkommen kann.

camper Mitglied 18:41:18 26.07.2012 Titel:

-ffast-math führt allerdings zu nicht konformen Programmen. Um ehrlich zu sein, verstehe ich sowieso nicht, wieso jemand diese Option benutzen würde. Entweder ist sie performanceirrelevant, weil kaum entsprechende Berechnungen durchgeführt werden, oder aber das resultierende Programm ist mit hoher Wahrscheinlichkeit defekt.