Perché il float di PHP 0 (zero) viene visualizzato con il segno?

Question

In PHP, permette di creare una variabile e impostarla valore ai 0:

$x = 0; 
echo $x; 

sarebbe visualizzare 0. Se ci si moltiplicare per -1:

$x = -1 * $x; 
echo $x; 

ancora vediamo 0. Ma se $x è un float:

$x = 0; 
$x = (float)$x; 
$x = -1 * $x; 
echo $x; 

otterremmo l'output: -0.

Perché è quello? Non dovrebbe essere sempre visualizzato senza segno, indipendentemente dal suo tipo sottostante?

Answer 1

Poiché PHP tipicamente utilizza la IEEE 754 formato doppio precisione per i numeri in virgola che consiste di galleggiamento:

1) segno (1 bit)

2) esponente (11 bit)

3) frazione (52 bit)

Se si moltiplica $ x con -1 viene impostato il bit di segno.

I numeri interi utilizzano i due complementi in cui il bit più significativo (MSB) determina il segno. Il MSB è 0 se si moltiplica con 0.

See: https://en.wikipedia.org/wiki/Signed_zero

Answer 2

virgola mobile a zero viene usato per più di zero solo assoluto. È usato per rappresentare risultati minuscoli, grandezza assoluta troppo piccola anche per numeri subnormali.

In alcuni calcoli, il segno di tali numeri è importante. Ad esempio, è importante che 1/+ 0 sia l'infinito positivo, ma 1/-0 è l'infinito negativo. Per farlo funzionare correttamente, moltiplicando 0 per -1 si ottiene -0.

Ad esempio, vedere il documento di W. Kahan "Branch Cuts for Complex Elementary Functions or Much Ado About Nothing's Sign Bit".