Wie um zu überprüfen, ob C++ - compiler verwendet IEEE 754 floating point standard

Ich würde gerne eine Frage zu stellen, folgt diese eine das ist ziemlich gut beantwortet, durch das definieren, prüfen Sie, ob der compiler benutzt den standard. Doch diese woks für C nur. Gibt es eine Möglichkeit, das gleiche zu tun in C++?

Ich möchte nicht verdeckte floating-point-Typen-text, oder verwenden Sie einige ziemlich komplexe Konvertierungsfunktionen. Muss ich nur die compiler-check. Wenn Sie wissen, eine Liste der kompatiblen Compilern bitte den link posten. Ich konnte Sie nicht finden.

  • zur Laufzeit können Sie std::numeric_limits<double>::is_iec559() um zu überprüfen, ob eine bestimmte Gleitkomma-Typ ist, dargestellt nach IEEE 754. Natürlich sagt das wenig darüber, ob der compiler die floating-point-handling 754 konform, aber es sollte Ihnen einen guten Hinweis.
  • Ich denke, es ist weniger eine Frage des Compilers unterstützen es und eher eine Frage der CPU-FPU-Unterstützung... aber ich bin nicht 100% überzeugt von diesem, so mache ich ein Kommentar und keine Antwort.
  • Bei der Laufzeit? Sind Sie sicher? en.cppreference.com/w/cpp/types/numeric_limits/is_iec559
InformationsquelleAutor Rusty Horse | 2011-04-25
  1. 29

    Habt Ihr wirklich ein einfacher Weg, dies zu erreichen in C++. Aus dem C++ - standard 18.2.1.1 die Klasse numeric_limits existiert innerhalb std. Um Zugang zu diesen statischen member, die Sie einfach so machen:

    std::numeric_limits<double>::is_iec559;

    Oder:

    std::numeric_limits<float>::is_iec559;

    Sollte zurück true wenn IEEE 754 verwendet wird, andernfalls false.

    Als eine alternative Methode, der zweite Teil von Adams Antwort tun sollte es auch für C++.

    • In der Praxis ist dies nicht ganz zuverlässig, aber. Nennen Sie es nicht konform, wenn Sie mögen, aber Compiler nicht unbedingt wissen, ob Ihre floating-point-Typen sind IEEE754, denn Sie produzieren Maschinen-code, läuft auf mehreren Varianten einer Architektur, von denen einige entsprechen in jedem detail der ulp-Präzision und der Verwendung der richtigen Rundung-Modus, während andere nicht.
    • ein fairer Punkt. Ich weiß nicht jeder andere halbwegs normale/vernünftige Möglichkeit, dies zu testen, leider nur auf die arbeiten aus, die Architektur, die Sie auf hinzufügen und prüft, ob die chip-Familie, die Sie ausführen, auf bekannt ist konform.
    • Ich denke, es ist in Ordnung für den Zweck, alle den Fragesteller scheint tatsächlich interessiert, ist das format, nicht die Konformität der gesamten IEC559. Erhalten Sie möglicherweise ein falsch-negativ von einem compiler, der konservativ sagt, dass es nicht implementieren IEC559, wenn es nicht genug für unsere Zwecke. Nur sollte man nicht vergessen das ist tatsächlich eine schwierige Sache für den Compiler zu behandeln, so werden Sie auf der Suche nach Verrücktheit.
    • Konnte Sie sein genauer? Sprechen Sie über die beliebten Architekturen wie x86 oder ARM oder etwas exotischer? Ich glaube, dass, wenn der programmer ' s Handbuch Ihres CPU-Architektur nicht genau definieren, floating-point-Operationen, is_iec559 false sein sollte. Oder, abhängig von einigen compiler-Schalter, sollte die software emuliert und true - oder IEEE-754-inkompatibel und false. Es scheint nicht, wie ein konzeptionelles problem für mich, aber vielleicht bin ich etwas fehlt.
    • Ich spreche von dem Fall, wo is_iec559 ist false weil der Typ ist nur zu 99,99% kompatibel mit dem IEEE-754. Ich kann mich nicht erinnern, warum ich dachte, zu der Zeit, aber basierend auf meine Kommentare oben ich dachte, dass das, was der Fragesteller wirklich brauchen, um zu wissen, ob die IEEE-format verwendet wurde, nicht, ob die IEEE-Semantik wurden genau befolgt werden. Daher gibt es falsche negative, aber da das, was der Fragende eigentlich wissen wollte, ist nicht formal definiert, es gibt keine Möglichkeit, aus, dass.
    • Oh, ich glaube, der Grund, ich dachte, das ist, weil die verlinkte Frage, dass diese OP bezieht, ist nur darüber zu reden-format, nicht darum, ob jeden letzten ulp auf jeden Betrieb die richtige ist. Wie auch immer, ich glaube, ich habe auch gesehen, stone cold-bugs, wo die Umsetzer (in der Regel Plattform-porter) trifft nicht zu verwalten, um is_iec559 false für einige fast-aber-nicht-ganz IEEE 754 konforme Ziel. In diesen Tagen populäre Architekturen wohl nicht bekommen, es auf die richtige Art als eine Forderung der übrigen beliebt 😉

    InformationsquelleAutor
  2. 0

    Obwohl dieser Beitrag ist ein bisschen alt (10 Jahre), könnte man immer noch versuchen, diese. Es funktioniert auch in C:

    #ifndef __STDC_IEC_559__
#error The following Programm only supports float operations using the IEEE 754 Standard
#endif
    InformationsquelleAutor AKJ
Schreibe einen Kommentar