Zuweisung einer exakten Darstellung zu einem Gleitkommawert

Question

In this question versuchte das OP einen schwer fassbaren Fehler in einem großen Programm zu isolieren. Er beobachtete einige double Werte und versuchte dann, sie hart als Eingabe für ein kleineres Testprogramm zu codieren. Die Idee ist großartig, um einen solchen Fehler zu isolieren.

Verfahren jedoch verletzt die String Aliasing-Regel gewählt, Einführen UB, so ist der Test vollständig unzuverlässig:

1. Uhr in Debugger den Ausdruck:

   +------------------------+----------------------| 
   | Watch Expression  | Value    | 
   +------------------------+----------------------| 
   | *(long long int *)(&a) | 4594681439063077250 | 
   +------------------------+----------------------| 
   

2. und weisen dann in das Testprogramm:

   double a; 
   *(long long int *)(&a) = 4594681439063077250; 
   

(Ich vermute stark) Er tat dies, um den genauen double Wert zu erhalten, Stück für Stück.

Die Frage: Wie zu einem Doppel den genauen Wert zuweisen - Bit für Bit - beobachtet in einer Debug-Sitzung?

Answer 1

Dies kann durch die die Doppel als ein Array von char erreicht werden:

double as_double = 0.0; 
uint64_t as_uint64 = 4594681439063077250 ; 

static_assert(sizeof(double) == sizeof(uint64_t), ""); 
memcpy(&as_double, &as_uint64_t, sizeof(double)); 

Answer 2

Meine Interpretation der strengen Aliasing-Regel, sagt dieser

UB wäre

uint64_t x = 4594681439063077250; 
double * a = (double *) & x; 

Code ist in Ordnung.

Answer 3

Hexadecimal representation ist eine gute Möglichkeit, die genaue Bitdarstellung eines Gleitkommawerts zuzuweisen. Wenn Sie keine Literale verwenden können, weil Sie noch nicht in C++ 17 sind, beachten Sie, dass strtod dieses Format erkennt.