Javascript: è questa divisione intera verità Firmato

Question

Dato il seguente codice, dove entrambi a e b sono Number s che rappresentano i valori all'interno della gamma di firmato interi con segno a 32 bit:

var quotient = ((a|0)/(b|0))|0; 

e supponendo che il tempo di esecuzione è nel pieno rispetto delle specifiche ECMAScript 6, il valore di quotientè sempre la divisione di interi con segno corretta di a e come numeri interi? In altre parole, si tratta di un metodo corretto per ottenere una vera divisione integrale con segno in JavaScript equivalente all'istruzione della macchina?

Answer 1

Non sono esperto di numeri in virgola mobile, ma Wikipedia dice che i doppi hanno 52 bit di precisione. Logicamente, sembra che 52 bit dovrebbero essere sufficienti per approssimare in modo affidabile la divisione intera di interi a 32 bit.

La divisione delle firme minime e massime a 32 bit, -2147483648/2147483647, produce -1.0000000004656613, che è ancora una quantità ragionevole di cifre significative. Lo stesso vale per il suo inverso, 2147483647/-2147483648, che produce -0.9999999995343387.

Un'eccezione è division by zero, che ho menzionato in un commento. Come afferma la domanda SO collegata, la divisione intera per zero normalmente genera una sorta di errore, mentre la coercizione a virgola mobile produce (1/0) | 0 == 0.

Aggiornamento: Secondo another SO answer, integer divisione in C tronca a zero, che è ciò che fa |0 in JavaScript. Inoltre, la divisione per 0 non è definita, pertanto JavaScript non è tecnicamente corretto nel restituire zero. A meno che non mi sia perso qualcos'altro, la risposta alla domanda originale dovrebbe essere sì.

Aggiornamento 2: sezioni pertinenti del ECMAScript 6 specifiche: come divide numbers e come convert to a 32-bit signed integer, che è what |0 does.