0
181
Views¿Por qué Number("x") == BigInt("x") ... solo a veces?
Pensé que el operador de igualdad flexible de JavaScript estaba siendo amable y me permitía comparar Numbers con BigInts:
42 == 42n // true! Así que probé con un número mayor que Number.MAX_SAFE_INTEGER . Pensé que, dado que el número se redondea automáticamente, es posible que también tenga que redondear BigInt para que se consideren iguales:
9999999999999999 == 10000000000000000 // true - rounded to float64 9999999999999999 == 9999999999999999n // false - makes sense! 10000000000000000 == 9999999999999999n // false - makes sense! 9999999999999999 == 10000000000000000n // true - makes sense!Genial, tiene sentido, así que probé con otro gran número que se redondea:
18446744073709551616 == 18446744073709552000 // true - rounded to float64 18446744073709551616 == 18446744073709551616n // true?! 18446744073709552000 == 18446744073709551616n // true?! 18446744073709551616 == 18446744073709552000n // false?!Observé los mismos resultados en Chrome, Safari y Node.js.
¿Por qué este comportamiento no es consistente? ¿Es porque los números se comparan como valores matemáticos y qué significa eso?
1 answers
Answer question0
Supongo que esto se debe a que no se especifica la implementación exacta del valor matemático (o al menos no pude encontrarlo).
La comparación de igualdad abstracta se especifica https://262.ecma-international.org/11.0/#sec-abstract-equality-comparison
Si Type(x) es BigInt y Type(y) es Number, o si Type(x) es Number y Type(y) es BigInt, entonces
Si x o y son cualquiera de NaN, +∞ o -∞, devuelve falso.
Si el valor matemático de x es igual al valor matemático de y, devuelve verdadero; de lo contrario, devuelve falso.
Entonces, un BigInt debe tener un valor matemático de algún número entero, y un Número debe tener un valor matemático de algún tipo de número de notación científica, por lo que las comparaciones deben ser intuitivas, pero exactamente cómo su motor JS implementa el valor matemático no sigue la especificación en espíritu