double_t in C99

Question

Ich habe gerade gelesen, dass C99 double_t hat, die mindestens so breit wie das Doppelte sein sollte. Bedeutet dies, dass es mehr Genauigkeitsziffern nach der Dezimalstelle gibt? Mehr als die üblichen 15 Ziffern für das Doppelte ?.

Zweitens, wie man es benutzt:

#include <float.h> 

genug nur inklusive? Ich habe gelesen, dass man den FLT_EVAL_METHOD auf 2 für Long double setzen muss. Wie macht man das? Da ich mit numerischen Methoden arbeite, möchte ich maximale Präzision, ohne eine beliebige Präzisions-Bibliothek zu verwenden.

Vielen Dank ...

Answer 1

Nr. double_t ist mindestens so breit als doppelt; d.h. es könnte dasselbe wie doppelt sein. Fußnote 190 in dem C99-Standard macht die Absicht klar:

Die Typen float_t und double_t jeweils mindestens so breit als Schwimmer und Doppel bestimmt sind die Umsetzung der leistungsfähigsten Typen sein.

Wie Michael Burr bemerkte, können Sie FLT_EVAL_METHOD nicht einstellen.

Wenn Sie den breitesten Gleitkommatyp für ein beliebiges verfügbares System nur mit C99 verwenden möchten, verwenden Sie long double. Seien Sie sich jedoch bewusst, dass es auf einigen Plattformen dasselbe ist wie double (und könnte sogar dasselbe wie float sein).

Wenn Sie "mit numerischen Methoden arbeiten", sollten Sie sich darüber im Klaren sein, dass der Approximationsfehler der Methode für viele (geradzahligste) numerische Methoden sehr viel größer ist als der Rundungsfehler doppelter Genauigkeit profitieren Sie von der Verwendung breiterer Typen. Ausnahmen gibt es natürlich. An welcher Art von numerischen Methoden arbeiten Sie gerade?

Edit: ernst, entweder (a) nur long double verwenden und nennen es einen Tag oder (b) nehmen ein paar Wochen, um zu erfahren, wie Gleitkommazahlen tatsächlich auf den Plattformen implementiert, die Sie Targeting und was die tatsächlichen Genauigkeitsanforderungen für die Algorithmen sind, die Sie implementieren.

Answer 2

Beachten Sie, dass Sie nicht bekommen FLT_EVAL_METHOD setzen - es wird von dem Compiler-Header gesetzt wird Sie bestimmen zu lassen, wie die Bibliothek bestimmte Dinge tut mit Punkt schweben.

Wenn Ihr Code sehr empfindlich auf die genaue Ausführung von Fließkommaoperationen reagiert, können Sie den Wert dieses Makros verwenden, um den Code bedingt zu kompilieren, um die für Sie wichtigen Unterschiede zu behandeln.

So zum Beispiel wissen Sie im Allgemeinen, dass double_t in allen Fällen mindestens ein double sein wird. Wenn Sie möchten, dass Ihr Code etwas anderes macht, wenn double_t ein long double ist, dann kann Ihr Code testen, ob FLT_EVAL_METHOD == 2 und entsprechend handeln.

Beachten Sie, dass, wenn FLT_EVAL_METHOD etwas anderes als 0, 1 oder 2 ist, Sie die Dokumentation des Compilers betrachten müssen, um genau zu wissen, welcher Typ double_t ist.

Answer 3

double_t kann durch typedef double double_t; definiert werden - natürlich, wenn Sie sich auf Implementierungsspezifika verlassen wollen, müssen Sie sich Ihre eigene Implementierung ansehen.