数据类型

是什么，为什么存在

JavaScript 采用 动态类型（dynamic typing） ：类型属于运行时的值，而不是变量名。一个 let 绑定可以先指向数字，之后再指向字符串；这不会改变原值的类型，而是让绑定指向另一个值。动态类型让同一套语法处理来自表单、JSON 和库调用的不同数据，但边界上的类型假设必须由代码写清楚。

语言中的值分为对象和七种 基本值（primitive value） ：undefined、null、Boolean、Number、BigInt、String 与 Symbol。基本值本身不可变；对字符串做替换或转大小写会得到新字符串。对象可以拥有可变属性，数组和函数也属于对象，不是额外的语言类型。

赋值与传参传递的都是值。复制基本值会得到那个基本值；复制对象值会得到指向同一对象的引用，因此两个绑定可以观察同一批属性变化。把这个区别说成“基本值在栈上、对象在堆上”并不可靠，那是实现策略，不是 ECMAScript 语义。

const 约束绑定，不能让它改指向另一个值，却不会冻结对象。const order = { count: 1 } 仍允许修改 order.count。需要只读对象契约时，应通过 API 设计、复制或冻结表达，而不能从 const 推断深层不可变。

这些类型在三个地方最容易影响业务结果：检查外部输入、选择运算符语义，以及判断两个值是否相等。问题通常不是“JavaScript 没有类型”，而是代码把输入类型、转换规则或缺失值策略留成了隐含假设。

工作原理

七种基本类型与对象

undefined 通常表示尚未提供值，例如缺失属性或没有显式返回值的函数。null 是程序显式使用的空值。两者是否含义不同由接口契约决定，语言只规定它们是两个不同的基本值。

Boolean 只有 true 和 false。String 是 UTF-16 码元序列，Symbol 是具有唯一标识的基本值，也可作为属性键。Number 使用 IEEE 754 双精度浮点格式，同时表示普通整数、小数、Infinity 和 NaN。

BigInt 表示任意精度整数，字面量以 n 结尾。它与 Number 是不同的数值类型；大多数算术运算不能混用两者，因为运行时不能擅自决定应保留 BigInt 的精度，还是采用 Number 的范围与小数语义。比较或转换前，应先确定领域需要哪一种数值表示。

Object 是其余语言值的类型。普通对象、数组、日期、正则表达式、Map、Set 和函数都在这一类中。不同对象即使属性相同也有不同标识；多个引用只有在指向同一个对象时才通过严格相等比较。

typeof 是粗粒度检查

typeof 返回固定字符串，适合区分基本类型和检测可调用值，但它不是通用的对象分类器。下面的表格给出常见结果与更精确的检查方式。

typeof null === "object" 是保留至今的兼容行为。数组也返回 "object"，所以数组分支必须用 Array.isArray(value)。判断“非空对象”至少需要 value !== null && typeof value === "object"，之后仍要校验所需属性，而不是把所有对象视为同一种记录。

转换取决于上下文

类型强制转换（type coercion） 是操作按需要自动转换值。条件与 ! 使用布尔转换；多数算术运算使用数值转换；模板插值和 String() 使用字符串转换。显式调用 Boolean()、Number() 或 String() 使用相关规则，但“显式”不表示结果一定符合业务语义。

布尔转换只有一组固定假值：false、0、-0、0n、""、null、undefined 和 NaN。其余语言值都是真值，包括 "0"、"false"、空数组和空对象。if (value) 适合询问“它的真值是什么”，不适合代替“字段是否存在”或“数组是否为空”。

&& 和 || 会检查操作数的真值，但返回某个原操作数，不会固定返回 Boolean。left && right 在 left 为假值时返回 left，否则返回 right；left || right 在 left 为真值时返回 left，否则返回 right。?? 只在左侧为 null 或 undefined 时取右侧，因此能保留有效的 0、false 和空字符串。

数值转换也有需要在边界上防守的结果。Number("") 和 Number(" ") 都是 0，Number(null) 也是 0，无效数字文本则得到 NaN。parseInt() 解析前缀，所以 parseInt("12px", 10) 得到 12；它适合明确允许后缀的语法解析，不适合验证“整个字段必须是十进制整数”。

运算符决定强制转换路径

减法、乘法、除法和取余先把操作数转换为数值。加法先把对象转换为基本值；若任一结果是 String，就执行拼接，否则执行数值加法。因此，1 + 2 + "3" 是 "33"，而 "1" + 2 + 3 是 "123"，因为表达式从左向右结合。

关系比较同样不能概括成“都转数字”。两个操作数转换为基本值后，如果两者都是字符串，就按字符串的 UTF-16 码元顺序比较；否则走数值比较。于是 "10" < "2" 为 true，而 Number("10") < Number("2") 为 false。

宽松相等 == 使用抽象相等比较，可能转换操作数，但不是简单地“把两边转成同一类型”。例如 null == undefined 为 true，两者与其他值的宽松相等比较通常为 false；Boolean 会先转换为 Number；对象与基本值比较时会先进行对象到基本值转换。除非接口有意使用 value == null 同时匹配两个空值，业务代码通常更适合使用严格相等并在边界显式转换。

相等不是一种算法

严格相等 === 不做类型转换。不同类型直接不相等；对象按标识比较；NaN 与自身不相等；+0 与 -0 相等。它是大多数分支判断的默认选择，但不能解决内容相同对象的结构比较。

Object.is() 使用 SameValue 语义：Object.is(NaN, NaN) 为 true，Object.is(+0, -0) 为 false。Array.prototype.includes()、Map 键和 Set 成员使用 SameValueZero（同值零相等） ，它把 NaN 视为等于自身，同时把两个零视为相等。选择集合或查找 API 时，这些边界差异会直接决定命中结果。

示例

下面四个示例依次检查类型、解析外部配置、观察运算符转换，并比较相等算法。所有输出都由本地 Node 24 执行对应文件得到。

检查语言类型

这个探针先用 typeof 做粗分类，再为 null 和数组补上专用判断。它没有尝试为每个内置对象制造一个“精确类型名”，因为业务代码通常需要验证能力或字段，而不是依赖可伪造的标签。

这里的 kind 是应用层分类，不是 ECMAScript 新增的类型系统。它有意回答“是否为 null、数组或其他 typeof 类别”，若函数只接受有限结构，还应继续检查自有属性及其值的类型。

在边界解析配置

环境变量、URL 参数和表单字段通常以字符串进入程序。这个解析器只接受契约列出的拼写，拒绝部分数字，并用 ?? 保留空标签。

function parseBoolean(value, field) {
  if (value === true || value === "true") return true;
  if (value === false || value === "false") return false;
  throw new TypeError(`${field} must be true or false`);
}

function parseRetries(value) {
  const text = String(value);
  if (!/^(0|[1-9]\d*)$/.test(text)) {
    throw new TypeError("retries must be a non-negative integer");
  }
  const retries = Number(text);
  if (!Number.isSafeInteger(retries)) {
    throw new RangeError("retries is outside the safe integer range");
  }
  return retries;
}

function parseOptions(raw) {
  return {
    retries: parseRetries(raw.retries),
    verbose: parseBoolean(raw.verbose, "verbose"),
    label: raw.label ?? "worker",
  };
}

console.log(parseOptions({ retries: "0", verbose: "false", label: "" }));
console.log(parseOptions({ retries: 3, verbose: true }));

{ retries: 0, verbose: false, label: '' }
{ retries: 3, verbose: true, label: 'worker' }

Number.isSafeInteger() 确保结果是 安全整数（safe integer） ，而不是已经舍入的 Number。解析策略是接口的一部分：如果输入契约允许前后空白、正号或本地化数字，应在正则与测试中明确加入，而不是依赖转换函数猜测。

观察上下文转换

同一个字符串在不同运算符中会走不同路径。JSON.stringify() 让空字符串和字符串中的空格在输出里可见，避免终端显示掩盖结果。

const inputs = ["5", "", "false", 0, null];

for (const value of inputs) {
  console.log(JSON.stringify({
    input: value,
    boolean: Boolean(value),
    number: Number(value),
    defaultWithOr: value || "fallback",
    defaultWithNullish: value ?? "fallback",
  }));
}

console.log("5" + 2);
console.log("5" - 2);
console.log(1 + 2 + "3");

{"input":"5","boolean":true,"number":5,"defaultWithOr":"5","defaultWithNullish":"5"}
{"input":"","boolean":false,"number":0,"defaultWithOr":"fallback","defaultWithNullish":""}
{"input":"false","boolean":true,"number":null,"defaultWithOr":"false","defaultWithNullish":"false"}
{"input":0,"boolean":false,"number":0,"defaultWithOr":"fallback","defaultWithNullish":0}
{"input":null,"boolean":false,"number":0,"defaultWithOr":"fallback","defaultWithNullish":"fallback"}
52
3
33

第三行的 number 显示为 null，不是因为 Number("false") 返回 null，而是因为它返回 NaN，且 JSON 数组或对象序列化会把非有限 Number 写成 null。调试转换时，应直接检查 Number.isNaN()，不要把序列化文本误当作内存中的原值。

对比相等与对象标识

这个例子把严格相等、SameValue 和 SameValueZero 放在一起。最后两行表明对象内容相同不代表对象标识相同。

console.log(NaN === NaN);
console.log(Object.is(NaN, NaN));
console.log([NaN].includes(NaN));

console.log(+0 === -0);
console.log(Object.is(+0, -0));
console.log(new Set([+0, -0]).size);

const first = { id: 7 };
const alias = first;
const copy = { id: 7 };

console.log(first === alias);
console.log(first === copy);

false
true
true
true
false
1
true
false

若业务需要按 id 判断记录是否代表同一实体，应直接比较经过验证的 id。通用深比较牵涉循环引用、原型、访问器、Symbol 键和领域规则，不应把 JSON.stringify(a) === JSON.stringify(b) 当成可靠替代品。

陷阱

把 typeof 当成完整分类器

修复方法： 先排除 null，数组用 Array.isArray()。随后按接口验证所需字段、属性所有权与值类型，不要从一个粗粒度标签推断完整结构。

用 Boolean() 解析布尔文本

修复方法： 为边界定义允许的文本，例如只接受 "true" 与 "false"，并对其他拼写报错。只有输入本来就是语言值、且目标确实是其真值时才使用 Boolean()。

用 || 覆盖所有假值

修复方法： 缺失只指 null 或 undefined 时使用 ??。如果空字符串或零在当前领域也算缺失，应写出具名验证条件，让读者看见这项业务规则。

把转换成功当成输入有效

修复方法： 先验证完整输入语法，再转换并检查范围。整数还要根据领域选择 Number.isInteger() 或 Number.isSafeInteger()；不要用全局 isNaN()，因为它会先转换参数。

忘记 + 的双重语义

修复方法： 在计算边界先解析成同一种数值类型，再执行算术。生成消息时使用模板字面量表达字符串意图，不要借用空字符串加法完成转换。

混淆值相等与对象内容

修复方法： 普通分支默认用 ===。NaN 用 Number.isNaN()，集合成员语义参考具体 API；领域对象则比较经过定义的键或实现符合契约的结构比较。

延伸阅读

• MDN：JavaScript 数据类型和数据结构
• MDN：typeof
• MDN：相等比较与相同性
• ECMAScript 规范：语言类型与值
• ECMAScript 规范：ToPrimitive