JavaScript基本数据类型:BigInt
BigInt数据类型的作用是支持比Number数据类型范围更大的整数值。在对大整数执行数学运算时,以任意精度表示整数的能力尤为重要。使用BigInt,整数溢出将不再是问题。
此外,可以安全地使用更加准确的时间戳,大整数ID等,而无需使用变通方法。 BigInt目前是第3阶段提案, 一旦添加到规范中,它就是JS 第二个数字数据类型,也将是 JS 第8种基本数据类型:
Number
String
Boolean
Null
Undefined
Object
Symbol
BigInt
在本文中,咱们将详细介绍BigInt,看看它如何解决Number类型使用时的限制。
问题
对于学过其他语言的程序员来说,JS中缺少显式整数类型常常令人困惑。许多编程语言支持多种数字类型,如浮点型、双精度型、整数型等。但JS却不是这样。在JS中,按照IEEE 754-2008标准的定义,所有数字都以双精度64位浮点格式表示。
在此标准下,无法精确表示的非常大的整数将自动四舍五入。确切地说,JS 中的Number类型只能安全地表示-9007199254740991 (-(253-1)) 和9007199254740991(253-1)之间的整数,任何超出此范围的整数值都可能失去精度。
console.log(9999999999999999); // → 10000000000000000
该整数大于JS Number 类型所能表示的最大整数,因此,它被四舍五入的。意外四舍五入会损害程序的可靠性和安全性。
这是另一个例子:
// 注意最后一位的数字
9007199254740992 === 9007199254740993; // → true
JS 提供Number.MAX_SAFE_INTEGER常量来表示最大安全整数,Number.MIN_SAFE_INTEGER常量表示最小安全整数:
const minInt = Number.MIN_SAFE_INTEGER;
console.log(minInt); // → -9007199254740991
console.log(minInt - 5); // → -9007199254740996
// notice how this outputs the same value as above
console.log(minInt - 4); // → -9007199254740996
解决方案
为了解决这些限制,一些JS开发人员使用字符串类型表示大整数。
使用BigInt,应用程序不再需要变通方法或库来安全地表示Number.MAX_SAFE_INTEGER和Number.Min_SAFE_INTEGER之外的整数。 现在可以在标准JS中执行对大整数的算术运算,而不会有精度损失的风险。
要创建BigInt,只需在整数的末尾追加n即可。比较:
console.log(9007199254740995n); // → 9007199254740995n
console.log(9007199254740995); // → 9007199254740996
或者,可以调用BigInt()构造函数
BigInt("9007199254740995"); // → 9007199254740995n
BigInt文字也可以用二进制、八进制或十六进制表示
// 二进制(binary)
console.log(0b100000000000000000000000000000000000000000000000000011n);
// → 9007199254740995n
// 八进制(octal)
console.log(0o400000000000000003n);
// → 9007199254740995n
// 十六进制(hex)
console.log(0x20000000000003n);
// → 9007199254740995n
// 注意仅以0起始的八进制符号不支持解析
console.log(0400000000000000003n);
// → SyntaxError
请记住,不能使用严格相等运算符将BigInt与常规数字进行比较,因为它们的类型不同:
console.log(10n === 10); // → false
console.log(typeof 10n); // → bigint
console.log(typeof 10); // → number
相反,可以使用等号运算符,它在处理操作数之前执行隐式类型转换
console.log(10n == 10); // → true
除一元加号(+)运算符外,所有算术运算符都可用于BigInt
10n + 20n; // → 30n
10n - 20n; // → -10n
+10n; // → TypeError: Cannot convert a BigInt value to a number
-10n; // → -10n
10n * 20n; // → 200n
20n / 10n; // → 2n
23n % 10n; // → 3n
10n ** 3n; // → 1000n
const x = 10n;
++x; // → 11n
--x; // → 9n
不支持一元加号(+)运算符的原因是某些程序可能依赖于+始终生成Number的不变量,或者抛出异常。 更改+的行为也会破坏asm.js代码。
当然,与BigInt操作数一起使用时,算术运算符应该返回BigInt值。因此,除法(/)运算符的结果会自动向下舍入到最接近的整数。例如:
25 / 10; // → 2.5
25n / 10n; // → 2n
隐式类型转换
因为隐式类型转换可能丢失信息,所以不允许在bigint和 Number 之间进行混合操作。当混合使用大整数和浮点数时,结果值可能无法由BigInt或Number精确表示。思考下面的例子:
(9007199254740992n + 1n) + 0.5
// Uncaught TypeError: Cannot mix BigInt and other types, use explicit conversions
// 未知类型错误:不能混合bigint和其他类型,使用显式转换
这个表达式的结果超出了BigInt和Number的范围。小数部分的Number不能精确地转换为BigInt。大于2^53的BigInt不能准确地转换为数字。
由于这个限制,不可能对混合使用Number和BigInt操作数执行算术操作。还不能将BigInt传递给Web api和内置的 JS 函数,这些函数需要一个 Number 类型的数字。尝试这样做会报TypeError错误
10 + 10n; // → TypeError
Math.max(2n, 4n, 6n); // → TypeError
请注意,关系运算符不遵循此规则,如下例所示:
10n > 5; // → true
如果希望使用BigInt和Number执行算术计算,首先需要确定应该在哪个类型中执行该操作。为此,只需通过调用Number()或BigInt()来转换操作数:
BigInt(10) + 10n; // → 20n
// or
10 + Number(10n); // → 20
当 Boolean 类型与BigInt 类型相遇时,BigInt的处理方式与Number类似,换句话说,只要不是0n,BigInt就被视为truthy的值:
if (5n) {
// 这里代码块将被执行
}
if (0n) {
// 这里代码块不会执行
}
排序BigInts和Numbers数组时,不会发生隐式类型转换:
const arr = [3n, 4, 2, 1n, 0, -1n];
arr.sort(); // → [-1n, 0, 1n, 2, 3n, 4]
位操作符如|、&、<<、>>和^对Bigint的操作方式与Number类似。下面是一些例子
90 | 115; // → 123
90n | 115n; // → 123n
90n | 115; // → TypeError
BigInt构造函数
与其他基本类型一样,可以使用构造函数创建BigInt。传递给BigInt()的参数将自动转换为BigInt:
BigInt("10"); // → 10n
BigInt(10); // → 10n
BigInt(true); // → 1n
无法转换的数据类型和值会引发异常:
BigInt(10.2); // → RangeError
BigInt(null); // → TypeError
BigInt("abc"); // → SyntaxError
可以直接对使用构造函数创建的BigInt执行算术操作
BigInt(10) * 10n; // → 100n
使用严格相等运算符的操作数时,使用构造函数创建的Bigint与常规Bigint的处理方式类似
BigInt(true) === 1n; // → true
库函数
在撰写本文时,Chrome +67 和Opera +54完全支持BigInt数据类型。不幸的是,Edge和Safari还没有实现它。Firefox默认不支持BigInt,但是可以在about:config中将javascript.options.bigint 设置为true来开启它,最新支持的情况可在“Can I use”上查看。
不幸的是,转换BigInt是一个极其复杂的过程,这会导致严重的运行时性能损失。直接polyfill BigInt也是不可能的,因为该提议改变了几个现有操作符的行为。目前,更好的选择是使用JSBI库,它是BigInt提案的纯JS实现。
这个库提供了一个与原生BigInt行为完全相同的API。下面是如何使用JSBI:
import JSBI from './jsbi.mjs';
const b1 = JSBI.BigInt(Number.MAX_SAFE_INTEGER);
const b2 = JSBI.BigInt('10');
const result = JSBI.add(b1, b2);
console.log(String(result)); // → '9007199254741001'
使用JSBI的一个优点是,一旦浏览器支持,就不需要重写代码。 相反,可以使用babel插件自动将JSBI代码编译为原生 BigInt代码。
总结
BigInt是一种新的数据类型,用于当整数值大于Number数据类型支持的范围时。这种数据类型允许我们安全地对大整数执行算术操作,表示高分辨率的时间戳,使用大整数id,等等,而不需要使用库。
重要的是要记住,不能使用Number和BigInt操作数的混合执行算术运算,需要通过显式转换其中的一种类型。 此外,出于兼容性原因,不允许在BigInt上使用一元加号(+)运算符。