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) - 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