Float-Arithmetik folgt einem anderen Paradigma als Integer-Arithmetik
Float and integer arithmetic follow two different paradigms
Integer-Arithmetik erfordert Vorabprüfungen, um undefiniertes Verhalten zu vermeiden. Float-Arithmetik nach IEEE-754 erzeugt bei Fehlern NaN oder Infinity, die sich durch Berechnungen fortpflanzen, ohne das Programm zu beenden. Der Autor argumentiert, dass übliche Schutzabfragen wie der Vergleich mit FLT_EPSILON oft falsch sind, und plädiert dafür, stattdessen das Endergebnis mit isfinite zu prüfen. Das macht den Code robuster und akzeptiert gültige Werte, die sonst fälschlich abgelehnt würden. Ein Sonderfall bleibt GLSL, wo NaN nicht garantiert ist.
Ich vermute, dass die Anzahl der Sicherheitsprobleme Entwickler dazu gebracht hat, frühe Prüfungen zu bevorzugen. Dann hat die Mystik um Floats unsere Paranoia wahrscheinlich verstärkt. Außerdem mögen wir Konsistenz.