Gibt es ein neutrales Element in IEEE754 im Hinblick auf zusätzlich

Question

Betrachten Sie den folgenden Code

double id = ?; 
double res; 
long unsigned *res_u = (long unsigned*)&res; 

long unsigned i; 
for (i = 0; i < (long unsigned)-1; i++){ 
    double *d1 = (double*)&i; 
    res = id + *d1; 
    assert(*res_u == i); 
} 

Meine Frage Snippet: Gibt es einen Wert für id, so dass die Behauptung für alle i hält? Mit anderen Worten für die Mathematiker unter uns: Gibt es das Doppelte, das das neutrale Element für die Addition ist?

Answer 1

-0. ist paradoxerweise der Gleitkommawert, der als Neutral für die Addition dient.

+0. fast ist, aber -0. + (+0.) macht +0..

aus, dass Apart, macht +inf + (-0.)+inf, -inf + (-0.)-inf macht, und NaN + (-0.) macht NaN.