JavaScript数据类型与类型转换规则完全手册

一、JavaScript 的 8 种数据类型与内存分布机制

ECMAScript 规范当前明确定义了 8 种内置数据类型。根据底层存储方式和赋值行为的不同，这 8 种类型严格划分为两大阵营：7 种原始数据类型（Primitive Types） 与 1 种引用数据类型（Reference Type）。

1. 原始数据类型（Primitives）

原始数据类型的值直接存储在栈内存（Stack）中，拥有固定的大小，按值访问，且本身具有不可变性（Immutable）：

• Undefined：未定义值。变量声明但未赋值时的默认初始值，全局只有一个值 undefined。
• Null：空值。表示一个预期的“空对象引用”，全局只有一个值 null。
• Boolean：布尔值。仅包含 true 和 false 两个布尔逻辑状态。
• Number：双精度 64 位浮点数（符合 IEEE 754 标准）。包含常规整数、浮点数以及特殊数值 +Infinity、-Infinity 和 NaN（Not-a-Number）。
• String：字符串。由 16 位 Unicode 码元组成的不可变字符序列。
• Symbol：符号值（ES6 新增）。表示全局唯一的标识符，常用于对象属性名以防止命名冲突。
• BigInt：大整数（ES2020 新增）。支持任意精度的整数运算，突破 Number.MAX_SAFE_INTEGER（2⁵³ - 1）的安全限制。

2. 引用数据类型（Reference Type）

引用数据类型只有 Object（对象）一种。广义上的 Object 派生出普通对象、数组（Array）、函数（Function）、日期（Date）、正则（RegExp）、集合（Map / Set）等。

引用类型的数据结构体积不固定，其实体分配在堆内存（Heap）中，而在栈内存中仅保存一个指向堆内存物理地址的指针（Reference）。当复制一个对象变量时，复制的仅是该地址指针，两个变量最终指向同一块堆内存区域。

3. 数据类型的精确检测手段

在实际代码中，不同类型需要配合不同的检测工具：

• typeof 运算符：能够可靠检测 undefined、boolean、number、string、symbol、bigint 和 function。但历史遗留 Bug 会将 typeof null 输出为 "object"，且对所有普通对象、数组、正则均统一返回 "object"。
• instanceof 运算符：通过原型链检测对象实例归属（例如 arr instanceof Array 返回 true），但无法检测跨 iframe 环境的数组，也不能判断原始值。
• Object.prototype.toString.call(val)：当前最通用准确的内置标签检测手段。无论原始值还是内置对象，均返回形如 [object Null]、[object Array]、[object RegExp] 的标准字符串。

二、显式类型转换（Explicit Coercion）规则与方法

显式类型转换指通过语言内置的函数或构造器，主动将某种类型转换为目标类型的操作。主要包含转换为布尔、数值和字符串三种主要场景。

1. 转化为布尔值：Boolean(val)

JavaScript 规范定义了严格的假值（Falsy）清单。除了以下 8 个假值 之外，其余所有值（包括空对象 {}、空数组 []）在转为布尔值时恒为 true（Truthy）：

// 转换结果为 false 的完整清单
Boolean(undefined); // false
Boolean(null);      // false
Boolean(false);     // false
Boolean(0);         // false
Boolean(-0);        // false
Boolean(0n);        // false (BigInt 零)
Boolean(NaN);       // false
Boolean("");        // false (空字符串)

// 注意：所有引用类型均为真值
Boolean({});        // true
Boolean([]);        // true
Boolean(new Boolean(false)); // true (包装对象为真)

2. 转化为数值：Number()、parseInt() 与 parseFloat()

数值转换包含严格转换与解析提取两种逻辑：

• Number(val)：严格整体转换。true 转换为 1，false 转换为 0；null 转换为 0；undefined 转换为 NaN；空字符串 "" 转换为 0；非空字符串包含任何非数值合法字符即转换为 NaN。
• parseInt(string, radix)：基数解析。从左到右解析整数直到遇到非数字字符，必须显式指定进制基数（通常为 10），例如 parseInt("42px", 10) 得到 42，若首字符无法解析则返回 NaN。
• parseFloat(string)：浮点数解析。支持解析首个小数点和科学计数法符号。

3. 转化为字符串：String(val) 与 toString()

String(val) 是一种安全的全类型转换方法。当输入为 null 或 undefined 时，String() 直接输出 "null" 与 "undefined"；而若在 null 或 undefined 上直接调用 .toString() 则会抛出致命的 TypeError: Cannot read properties of null/undefined。

三、对象转原始值的底层引擎算法：ToPrimitive 规范

当对引用类型进行强制类型转换或在隐式运算中使用对象时，JavaScript 引擎会调用抽象操作 ToPrimitive(input [, PreferredType]) 将对象化简为原始数据类型。

PreferredType（转换提示符，简称 hint）只接受三个取值："string"、"number" 或 "default"。

四、常见隐式类型转换场景与三步推导法

隐式类型转换（Implicit Coercion）是由运算符或控制语句自动触发的转换行为。初学者常因其“反直觉”的结果产生困惑，但只要掌握三步推导法，所有复杂表达式都可以被机械化地精确拆解：

1. 步骤一：识别运算符预期类型。判断运算符究竟需要数字（如 -, *, /）、布尔值（如 !, if(...)）还是同时接受字符串与数值（如 +、==）。
2. 步骤二：递归将操作数化简为原始值。如果操作数为对象，触发 ToPrimitive，结合 valueOf 与 toString 获取最底层的原始值。
3. 步骤三：执行规范运算并输出最终值。在全原始值环境下套用规范算术、拼接或比对逻辑。

1. 加号运算符 (+) 的双重身份

加号是隐式类型转换中最容易产生分歧的运算符，其遵循两项核心优先原则：

• 如果任一操作数为对象，优先执行 ToPrimitive(obj, "default") 转换为原始值。
• 转换后，只要有任意一边是字符串，另一边即强制转换为字符串并执行字符串拼接；仅当两边均非字符串时，才执行数字加法。

1 + "2";        // "12" (存在字符串，执行拼接)
1 + true;       // 2 (两边非字符串，true 转数字 1，执行 1 + 1)
1 + null;       // 1 (null 转为数字 0)
1 + undefined;  // NaN (undefined 转为数字 NaN)

2. 算术运算符（-、*、/、%）的强数值化

与加号不同，减号、乘号、除法和取模属于纯粹的数学运算，会强制要求两端通过 Number() 规范转为数值：

"6" - 2;        // 4 ("6" 转为数值 6)
"6" * "2";      // 12 (均转为数值)
true - false;   // 1 (1 - 0)
"5" - "abc";    // NaN ("abc" 无法转为数值得到 NaN)

3. 宽松相等（==）的比对矩阵

使用宽松相等比对 x == y 时，若两端类型不同，引擎会执行一系列类型降级规则：

• null == undefined 恒为 true，且除了彼此之外与其他任何值宽松比对均返回 false。
• number == string 时，将 string 显式转为 number 进行比对。
• boolean == 任意类型 时，布尔值必须优先通过 Number(bool) 转换为 0 或 1，再与另一侧继续比对。
• object == 原始类型 时，对象必须优先执行 ToPrimitive(object) 化简为原始类型后再比对。

五、常见类型转换矩阵速查与生产实践规范

下表总结了日常开发中最常见数据值在不同目标类型下的转换行为，建议作为开发日常参考速查：

生产环境类型防御性编程规范

为了避免隐式类型转换引入难以察觉的线上缺陷，现代 JavaScript 与 TypeScript 工程中应恪守以下三条防御性规范：

• 一律使用全等运算符（===）：严格限制宽松相等（==）的使用。全等不仅比对值，且先校验两侧类型，类型不一致直接返回 false，完全跳过隐式类型转换的复杂机制。
• 坚持显式类型转换优先：在接收外部数据（如 URL 查询参数、Form 表单、LocalStorage、第三方接口数据）时，显式使用 Number()、String()、Boolean() 或 BigInt() 进行边界校验与类型清洗，切勿依赖 +val 或 !!val 的隐式缩写。
• 善用现代空值合并（??）与可选链（?.）：逻辑或 || 会将 0、""、false 误判为假值从而触发默认回退，导致参数覆盖错误；而空值合并运算符 ?? 仅当值为 null 或 undefined 时生效，更加符合真实业务预期。

// 推荐的现代化安全写法
const port = Number(process.env.PORT ?? 3000); // 避免 0 被误判
const isVip = Boolean(user?.membership?.isActive); // 安全链式取值与显式布尔转换
if (status === 200) {
  // 严格相等校验，防止 "200" == 200 掩盖上游类型脏数据
  handleSuccess();
}