x-note
Search…
JavaScript 数据结构与类型
JavaScript 目前包含七种原始数据类型(primitives data type) // 2018-03-07
  • boolean
  • null
  • undefined
  • number
  • string
  • Symbol (ES6 引入)
  • bigint (ES 2020)
以及两种基本数据结构(复合数据结构)
  • object
  • function
无论是 Map, Set, RegExp, Array 等全是基于 object
Note: typeof null === 'object' 返回 true,内部 BUG 且无法修复。 typeof NaN === 'number'NaN !== NaN,只能通过 Number.isNaN 判断。NaN 的含义是无法表示的数字。

Why typeof(null) is object

早期的 JavaScript 使用 32 bit 存值,包括一个表示类型的标记(1-3 位)和值的实际数据。
类型标记存储在低位上。
  • 1 Int
  • 000 Object
  • 010 Double
  • 100 String
  • 110 Boolean
特殊值
  • undefined 用整数 −2**30 次方,溢出的方式表示
  • null 机器空指针,标志位也是 000
typeof 是基于类型的标记做的判断,因此 typeof null === 'object'
// From: https://dxr.mozilla.org/mozilla-central/source/js/public/Value.h#57
// Use enums so that printing a JS::Value in the debugger shows nice
// symbolic type tags.
enum JSValueType : uint8_t {
JSVAL_TYPE_DOUBLE = 0x00,
JSVAL_TYPE_INT32 = 0x01,
JSVAL_TYPE_BOOLEAN = 0x02,
JSVAL_TYPE_UNDEFINED = 0x03,
JSVAL_TYPE_NULL = 0x04,
JSVAL_TYPE_MAGIC = 0x05,
JSVAL_TYPE_STRING = 0x06,
JSVAL_TYPE_SYMBOL = 0x07,
JSVAL_TYPE_PRIVATE_GCTHING = 0x08,
JSVAL_TYPE_BIGINT = 0x09,
JSVAL_TYPE_OBJECT = 0x0c,
// This type never appears in a Value; it's only an out-of-band value.
JSVAL_TYPE_UNKNOWN = 0x20
};

bigint

bigint 能表示大于
2(53)12^(53) - 1
的整数
const bigInt = 1111111111111111111111111111111111111111n; // 字面量声明
const bigInt2 = new BigInt("1"); // 内置对象生命
使用 typeof 测试时, BigInt 对象返回 "bigint"
typeof 1n === "bigint"; // true
typeof BigInt("1") === "bigint"; // true
bigint 只能与 bigint 进行运算,不能直接与 number 进行运算。
const a = 0.1;
const b = 1n;
const c = 2n;
const d = a + b; // Uncaught TypeError: Cannot mix BigInt and other types, use explicit conversions
const e = b + c; // 3n
由于 bigint 存在符号,所以不支持无符号位移运算符 >>><<<。 为了兼容 asm.js ,BigInt 不支持单目 (+) 运算符。
1n >>> 1; // Uncaught TypeError: Cannot mix BigInt and other types, use explicit conversions at <anonymous>:1:4
bigint 能够直接与 number 进行比较运算。 但是不是严格相等的,而是宽松相等的。
0n === 0; // ↪ false
0n == 0; // ↪ true
1n < 2; // ↪ true
2n > 1; // ↪ true
2n > 2; // ↪ false
2n >= 2; // ↪ true
bigint 转换成 bool 时与 number 类似
0n || 12n || 3n; // 12n