JavaScript中的所有类型(Primitive和Object)

JavaScript Primitive 原始类型有7种

Primitive (primitive value, primitive data type), 中文为“原始类型”，一共有且仅有这七种: null, undefined, boolean, number, bigint, string, symbol

Null 类型: 只有一个值: null
Undefined 类型: 只有一个值 undefined.
- 语义上 undefined 通常表示值的缺失，null表示object的缺失，可以算作typeof null === 'object'的借口
  - 实际上 typeof null === 'object' 是历史原因，是设计缺陷。参考: mdn web docs
- 一些场合下，JavaScript会自动赋值undefined: 函数传参没传、object的属性找不到(例如 obj.dontexist)、函数不给返回值直接return;、声明变量不初始化(例如let x;)、许多方法未找到值 (例如Array.prototype.find())
Boolean 类型
- true 或 false
Number 类型：双精度64bit的IEEE754浮点数
- 忘了IEEE754的话回去看ShanghaiTech CS110：链接 --> Lecture 7
- 能够表示的正数浮点数范围为 Number.MIN_VALUE 到 Number.MAX_VALUE (约为5e-324 到 1.79e308)
- 能够精确表示的整数范围为 Number.MIN_SAFE_INTEGER 到 Number.MAX_SAFE_INTEGER ( $-(2^{53}-1)$ 到 $2^{53}-1$ )
- 大于Number.MAX_VALUE或小于 -Number.MIN_VALUE 的数会被转换为 Number.POSITIVE_INFINITY 和 Number.NEGATIVE_INFINITY
- 小于Number.MIN_VALUE的正数，或大于 -Number.MIN_VALUE的负数，会被转换为 0和 -0
BigInt 类型
- 可以表示任意大小的正数Integer，大于 Number.MAX_SAFE_INTEGER 也可以
- 用数字+后缀 n表示，或使用 BigInt(数字)表示（不要使用new 操作符）, 例如
  1
  2
  const a = 9007199254740991n; const b = BigInt(9007199254740991);
- 支持大部分操作符：+, -, *, /, %, **, >>, <<, &, |, ^, ~, -, ++, --。但是通常这些操作符要求左右两边类型相同，要么都是BigInt，要么都是Number或其它
String 类型
- UTF-16编码的字符串，是一个16-bit unsigned integer值组成的sequence

Symbol 类型

ES6新增的原始类型

Symbol是唯一具有reference identity的原始类型: 每个symbol值都独一无二.

每次调用 Symbol() 构造函数, 都会返回一个unique的symbol值, 例如

1
2
3

const sym1 = Symbol("foo");
const sym2 = Symbol("foo");
console.log(sym1 == sym2);  // false

根据这个特性, symbol可以用来隐藏object的某些属性, 例如

const privateKey = Symbol("foo");
const obj = {
  [privateKey]: "some private value",
  normalKey: "normal value"
};
// 原来的symbol可以正常获取
console.log(obj[privateKey]);    // "some private value"
// 但是如果没有原先的symbol则无法获取
console.log(obj[Symbol("foo")]);  // undefined

同时symbol作为对象的属性名时, for...in, for...of, Object.keys(), Object.getOwnPropertyNames(), JSON.stringify() 等常见方法均无法遍历到Symbol属性, 例如

const privateKey = Symbol("foo");
const obj = {
  [privateKey]: "some private value",
  normalKey: "normal value"
};
console.log(Object.keys(obj));  // ['normalKey']

JSON.stringify({ [Symbol("foo")]: "I am invisible!" });  // '{}'

Symbol.for(), Symbol.keyFor() 可以用来设置和获取共享的symbol

1
2
3

let s1 = Symbol.for('foo');
let s2 = Symbol.for('foo');
console.log(s1 === s2); // true

1 2	`let sym = Symbol.for('foo'); Symbol.keyFor(sym); // 'foo'`

Symbol不能使用new操作符

常见的primitive (number, string, boolean等) 可以使用new操作符来显式创建object wrapper, 但是symbol不行. 只能使用

// This is OK
let numberWrapper = new Number(1)
typeof numWrapper  // 'object'

// This will TypeError
let symbolWrapper = new Symbol();  // TypeError

// This is OK
let symbolWrapper = Object(Symbol("foo"));
typeof symbolWrapper  // 'object'

JavaScript中还有一些内置的Symbol值, 可以用来调控一部分JavaScript的语言行为, 例如 Symbol.iterator, Symbol.toPrimitive, Symbol.hasInstance.

Primitive的特点

Primitive的定义：不是 object, 并且没有methods和properties (没有方法，没有属性)
Primitive都为immutable，不能更改
- 只能给变量重新赋值，将另一个primitive value赋值给一个variable，但是在这个过程中primitive value本身仍然是不可变的
除了null外，所有primitive type都可以使用typeof操作符来判断类型（但typeof null会返回'object', 属于JavaScript设计缺陷）

原始类型 Primitive Type	`typeof` 操作符的返回值	Object wrapper 类型
Null	`"object"`	没有
Undefined	`"undefined"`	没有
Boolean	`"boolean"`	`Boolean`
Number	`"number"`	`Number`
BigInt	`"bigint"`	`BigInt`
String	`"string"`	`String`
Symbol	`"symbol"`	`Symbol`

除了null和undefined外，所有primitive type都有它们各自的object wrapper type.
Primitive没有methods，但如果访问一个primitive的property或methods，JavaScript会自动wrap进一个它的object wrapper里，并调用object的方法。
例如:
1
"foo".includes("f") // returns true
JavaScript自动做的事情是
1
(new String("foo")).includes("f") // String.prototype.includes()

JavaScript Object Type

Object 类型:
- 除原始类型外，所有 JavaScript 值均为Object对象
  - 普通对象、数组、函数、Date, RegExp, Map, Set 等都是对象
- 对象是键值对的组合，这里的“键”通常为 string 字符串，也可以是 Symbol
- 关于 Object 的 data property和 accessor property 可参考另一篇post: 49_js_accessor_property
- typeof object 返回值均为 'object', 但有一个例外，typeof function 返回值为 'function'

Type coercion 奇奇怪怪的类型转换

JavaScript为弱类型语言，隐式类型转换过于复杂，且容易出错，不建议使用。

建议别学这些，建议使用TypeScript或Jsdoc规范类型

使用 == 比较两个object，只比较的是它们是否指向同一个对象，否则一律为 false. 有点类似于Python3中的 is 操作符
object不会被coerce，只有primitive types能被coerce
- 如果需要对object进行 coerce, 则需要先将这个object转为primitive type（例如转string），然后如果仍需coerce，则再对primitive type做coerce操作
object转为primitive type的过程如下，依次进行
- (ES6新增) 先调用 obj[Symbol.toPrimitive]() 方法，如果返回值为primitive则结束，否则继续下面的尝试
- 先调用 obj.valueOf(), 如果返回值为primitive则结束，否则继续
- 再调用 obj.toString(), 如果返回值为primitive则结束，否则继续
- 仍然不行则 throw TypeError

对于大部分object，toString() 方法会返回 [object ObjectName], 但是有一些例外，例如

函数function的toString() 会返回函数体代码本身，如果函数为内置函数则返回 function funcName(){[native code]} 例如

function foo(x) { return x * 2; }
console.log(foo.toString());  // "function foo(x) { return x * 2; }"

console.log(Math.max.toString());  // "function max() { [native code] }"

数组Array的toString() 会返回其所有值使用逗号,join起来的结果，例如
1
console.log([1, {}, 3].toString()); // "1,[object Object],3"

Date对象的 toString() 返回值为locale time，例如

1 2	`console.log(new Date('2011-04-05T14:19:19Z').toString()); // Tue Apr 05 2011 10:19:19 GMT-0400 (Eastern Daylight Time)"`

Error对象

1	`console.log(new Error('Oops!').toString()); // "Error: Oops!"`

Symbol类型

1 2	`const sym = Symbol('id'); console.log(sym.toString()); // "Symbol(id)"`

除此之外，大部分object仍然继承自 Object.prototype.toString, 输出格式为 '[object Type]'

1 2	`console.log(({}).toString()); // "[object Object]" console.log((new Map()).toString()); // "[object Map]"`

转为primitive之后，需要考虑的事情就变成了primitive如何互相比较或操作
加号 + operator:
- 如果表达式为 +value, 则永远会将value给coerce成一个 number 类型
- 如果加号两边都有值, 且其中任意一边为string (例如 anything + string), 则永远会把 anything 给coerce成string类型，再拼接字符串
- 除此之外，执行数字相加
如果表达式需要布尔值（例如 if(value), !value, !!value），则会coerce成 boolean 类型
- Coerce成 boolean 的规则: null, undefined, 0, -0, ''空字符串, false, 转换成布尔会变成 false, 其余所有东西转换成布尔都是 true
其它coerce primitive values的规则
- number转string: 数值的字符串表达式，可能会使用科学技术法表示。参考 Number.toString()
- string转number: 如果string表达的是有效数字（包括科学技术法、16/8/2进制等），则转换为对应的number，否则转为 NaN
- boolean转number: true 转为 1, false 转为 0
- null 和 undefined 转 number 分别为 0, NaN （注意 null 是 0 不是 NaN !!!）
- null 和 undefined 转 string 分别为 'null', 'undefined'
类型转换的例子
- Code:
  1
  console.log(undefined + []) // 'undefined'
  加号左边undefined 是原始类型，[]空数组是一个object。所以需要先将空数组 [] 转为原始类型。按照固定的依次顺序进行转换：
  [][Symbol.toPrimitive]为 undefined 无法调用
  [].valueOf() 返回值为空数组 [] 本身，仍是object，不是primitive类型
  [].toString() 返回值为空字符串 '', 空字符串是 string 类型，是基本类型，完成
  现在要将 undefined 和空字符串 '' 相加，任何值跟string相加都要先转为 string, 而基本类型 undefined 转为string的值即为字符串 'undefined'
  因此 undefined + [] 即为 'undefined' + '', 字符串拼接结果为 'undefined'
- Code
  1
  console.log([] + {}) // '[object Object]'
  加号左右两边的 [] 和 {} 都是object，都需要转换成原始类型
  上面的例子说过空数组 [] 转原始类型为字符串 ''。而 {} 转原始类型过程如下
  ({})[Symbol.toPrimitive] 为 undefined 无法调用
  ({}).valueOf() 返回值为对象 {} 本身，仍是object，不是primitive类型
  ({}).toString() 返回值为字符串 '[object Object]'
  将字符串 ''与字符串 '[object Object]' 相拼接，结果为字符串 '[object Object]'

Frontend

#Cross Platform #JavaScript #nodejs

JavaScript中的所有类型(Primitive和Object)

https://www.billhu.us/2025/061_javascript_types/

Author

Bill Hu

Posted on

July 26, 2025

Licensed under

Kotlin basics (vs Java) Next

JavaScript中的所有类型(Primitive和Object)

JavaScript Primitive 原始类型 有7种

Primitive的特点

JavaScript Object Type

Type coercion 奇奇怪怪的类型转换

JavaScript Primitive 原始类型有7种