JavaScript的类型系统是其语言设计的核心组成部分，理解它的特性和背后的推断逻辑，能帮助开发者更高效地编写符合预期的代码，减少类型相关的运行时错误。
JavaScript类型系统的核心特点
JavaScript的类型系统有两个最显著的特征：弱类型和动态类型，这两个特征共同决定了它的类型表现逻辑。
弱类型特性
弱类型指的是变量可以被赋予不同类型的值，并且不同类型之间可以进行隐式转换，不需要开发者显式声明类型转换规则。比如数字和字符串可以直接进行加法运算，引擎会自动将数字转换为字符串再拼接。
// 弱类型隐式转换示例 let num = 10; let str = "20"; // 这里+运算符会触发隐式转换，num被转为字符串后拼接 console.log(num + str); // 输出 "1020" // 不同类型比较也会触发隐式转换 console.log(1 == "1"); // 输出 true，字符串"1"被转为数字1后比较
动态类型特性
动态类型指的是变量的类型不是在代码编写阶段确定的，而是在运行时根据赋值的内容动态判定，同一个变量在运行过程中可以被赋予不同类型的值。
// 动态类型示例 let variable = 100; // 此时variable是数字类型 console.log(typeof variable); // 输出 "number" variable = "hello"; // 重新赋值后变为字符串类型 console.log(typeof variable); // 输出 "string" variable = true; // 再次赋值后变为布尔类型 console.log(typeof variable); // 输出 "boolean"
JavaScript的基础数据类型与引用数据类型
JavaScript的类型可以分为两大类，共8种基础类型，加上引用数据类型，构成了完整的类型体系。
| 类型分类 | 具体类型 | 说明 |
|---|---|---|
| 基础数据类型 | undefined | 未定义的变量默认值 |
| null | 空值，表示无对象引用 | |
| number | 数字类型，包含整数和浮点数 | |
| string | 字符串类型 | |
| boolean | 布尔类型，值为true或false | |
| symbol | ES6新增的唯一值类型 | |
| bigint | ES2020新增的大整数类型 | |
| 引用数据类型 | object | 包含普通对象、数组、函数、日期等所有对象类型 |
JavaScript类型推断机制的工作原理
类型推断是JavaScript引擎在运行时自动判定变量、表达式类型的过程，核心依赖typeof运算符和引擎内部的类型判定逻辑，不需要开发者手动声明类型。
变量赋值的类型推断
当给变量赋值时，引擎会根据赋值的内容直接推断变量的当前类型，这个过程是即时完成的。如果是基础类型值，就判定为基础类型；如果是对象，就判定为object类型。
// 变量赋值时的类型推断
let a = 123;
// 引擎推断a为number类型
console.log(typeof a); // "number"
let b = { name: "test" };
// 引擎推断b为object类型
console.log(typeof b); // "object"
let c = function() {};
// 函数属于特殊的对象，typeof判定为function
console.log(typeof c); // "function"
表达式运算的类型推断
当进行表达式运算时，引擎会先推断参与运算的每个部分的类型，再根据运算符规则推断最终结果的类型，这个过程会触发隐式类型转换。
// 表达式运算的类型推断 let result1 = 10 + 20; // 两个number相加，结果推断为number console.log(typeof result1); // "number" let result2 = "10" + 20; // 字符串和数字相加，数字隐式转为字符串，结果推断为string console.log(typeof result2); // "string" let result3 = "10" - 5; // 减号运算会触发字符串转数字，结果推断为number console.log(typeof result3); // "number"
函数返回值的类型推断
对于函数返回值，引擎会在函数执行完成后，根据return返回的内容推断返回值的类型，没有return语句的函数默认返回undefined类型。
// 函数返回值的类型推断
function add(x, y) {
return x + y;
}
// 返回数字相加结果，推断返回值为number
console.log(typeof add(1, 2)); // "number"
function getString() {
return "hello";
}
// 返回字符串，推断返回值为string
console.log(typeof getString()); // "string"
function noReturn() {
// 没有return语句
}
// 默认返回undefined，推断为undefined类型
console.log(typeof noReturn()); // "undefined"
类型推断的常见注意事项
虽然类型推断机制很灵活，但也有一些容易出问题的场景，需要开发者额外注意。
- null的类型判定：
typeof null的结果是"object"，这是JavaScript的历史遗留问题，实际null是基础数据类型，判断时需要用value === null的方式。 - NaN的类型：NaN属于number类型，判断一个值是否为NaN需要用
isNaN()函数，不能直接用typeof判定。 - 数组的类型：数组属于object类型，
typeof []的结果是"object"，判断数组需要用Array.isArray()方法。
// 类型推断注意事项示例 console.log(typeof null); // "object"，不符合预期 console.log(null === null); // true，正确判断null的方式 console.log(typeof NaN); // "number"，NaN属于数字类型 console.log(isNaN(NaN)); // true，正确判断NaN的方式 console.log(typeof [1, 2, 3]); // "object" console.log(Array.isArray([1, 2, 3])); // true，正确判断数组的方式
需要注意的是，JavaScript的类型推断是运行时动态完成的，和TypeScript的静态类型推断有本质区别，前者不会改变代码的运行逻辑，后者是在编译阶段进行类型校验。
JavaScript类型系统类型推断弱类型动态类型修改时间：2026-07-12 11:42:30