Warum ist diese Erlang-Binärdatei fehlgeschlagen binary_to_term/1?

Question

Ich übergebe diese Binärdatei an binary_to_term/1. Soweit ich das beurteilen kann, ist es wohlgeformt und sollte vorübergehen, aber es verursacht einen Fehler. Kann mir jemand sagen warum?

> B = <<131,104,3,100,0,2,111,107,100,0,7,82,69,65,76,83,88,80, 
     108,0,0,0,1,70,127,240,0,0,0,0,7,162,106>>. 

> binary_to_term(B). 
** exception error: bad argument 
    in function binary_to_term/1 
     called as binary_to_term(<<131,104,3,100,0,2,111,107,100,0,7,82,69,65,76,83,88, 
            80,108,0,0,0,1,70,127,240,0,0,...>>) 

der Dokumentation gehen, sollte die binäre wie folgt aufgliedern:

131 %% encoding version number 
104 3 %% a tuple with three elements 
100 0 2 111 107 %% the atom length 2 'ok' 
100 0 7 82 69 65 76 83 88 80 %% the atom length 7 'REALSXP' 
108 0 0 0 1 %% a list with one element 
70 127 240 0 0 0 0 7 162 %% a float encoded in eight bytes 
106 %% end of list 

Giving etwas wie:

{ok, 'REALSXP', [123.456]} 

Das einzige Bit, das nicht ganz klar scheint die schweben. Ist die acht Byte-Sequenz

<<127,240,0,0,0,0,7,162>> 

gültig für einen Schwimmer codiert als "8 Bytes in Big-Endian-IEEE-Format"?

Wenn nicht die Float-Sektion, was sonst noch an dieser Binärdatei stürzt binary_to_term?

Mit Dank und die besten Wünsche

Ivan

Answer 1

Dies liegt daran, <<127,240,0,0,0,0,7,162>> ein NaN-Wert in 64-Bit-IEEE Schwimmer ist und Erlang nicht unterstützt NaN und Infinity-Float-Werte überhaupt zu schaffen (siehe this).

1> <<Sign:1, Exponent:11, Fraction:52>> = <<127,240,0,0,0,0,7,162>>. 
<<127,240,0,0,0,0,7,162>> 
2> Exponent. 
2047 
3> Fraction. 
1954 
4> 16#7ff. 
2047 

Von https://en.wikipedia.org/wiki/Double-precision_floating-point_format#Exponent_encoding:

Die Exponenten 000 und 7ff haben eine besondere Bedeutung:

00016 is used to represent a signed zero (if M=0) and subnormals (if M≠0); and 
 
7ff16 is used to represent ∞ (if M=0) and NaNs (if M≠0),

wobei M die Fraktion Mantisse ist.

Wenn Sie diese 8 Bytes auf einen gültigen, nicht NaN/Unendlich 64-Bit-IEEE Float ändern, funktioniert alles wie erwartet:

1> binary_to_term(<<131,104,3,100,0,2,111,107,100,0,7,82,69,65,76,83,88,80,108,0,0,0,1,70,0,0,0,0,0,0,0,0,106>>). 
{ok,'REALSXP',[0.0]}