JavaScript是动态类型语言，运行时确定类型并可改变，包含七种基本类型（number、string、boolean、null、undefined、symbol、bigint），对象均属object类型；引擎通过typeof识别类型，但null存在历史bug；运算中会隐式转换类型，如+操作符触发字符串拼接，条件判断依据truthy/falsy规则；现代引擎（如V8）基于历史类型推测优化执行，类型变动则去优化，数组元素类型一致时存储更高效；TypeScript提供编译时静态推断（如let x=10推断为number），支持参数、返回值、结构类型检查，编译后转为纯JS，不影响运行时；JS无显式类型标注，依赖动态类型、隐式转换与引擎优化，理解机制可避免==与===混淆或意外拼接等问题。
JavaScript 是一种动态类型语言，变量的类型在运行时确定，且可以随时改变。虽然它不像 TypeScript 或 Java 那样有静态类型检查系统，但 JavaScript 引擎内部仍然有一套类型机制和类型推断逻辑，用于优化执行和处理表达式求值。
JavaScript 的基本类型
JavaScript 有七种内置的基本（原始）类型：
- number：包括整数、浮点数，以及特殊值 Infinity、-Infinity 和 NaN
- string：字符串类型
- boolean：true 和 false
- null：表示空值（typeof 返回 "object"，这是历史遗留 bug）
- undefined：未定义的值
- symbol：ES6 引入的唯一标识符
- bigint：表示任意精度的整数（ES2020 引入）
除此之外，所有对象（包括数组、函数、Date 等）都属于 object 类型。可以通过 typeof 操作符查看变量的当前类型，但需注意 null 的特殊情况。
类型转换与隐式类型推断
JavaScript 在运算过程中会根据上下文自动进行类型转换，这种机制常被称为“隐式类型转换”。引擎通过类型推断来决定如何处理不同类型的值。
立即学习“Java免费学习笔记（深入）”；
例如：
- 在使用 + 运算符时，如果任一操作数是字符串，另一个也会被转为字符串进行拼接
- 在布尔上下文中，如 if 条件判断，JavaScript 会根据“真值”（truthy）或“假值”（falsy）规则推断类型
- falsy 值包括：false、0、""、null、undefined、NaN；其余视为 truthy
这种推断不是基于变量声明，而是基于运行时值的实际类型和使用场景。
JavaScript 引擎的内部类型优化
现代 JavaScript 引擎（如 V8）在底层会对变量类型进行推测，以提升执行效率。
- 引擎会记录变量或属性的历史类型，若多次使用同一类型，会生成优化的机器码
- 如果后续类型发生变化（如从 number 变为 string），可能触发“去优化”（deoptimization）
- 对于数组，若元素类型一致（如全是数字），V8 可能将其存储为连续的数值数组，提高访问速度
这些行为对开发者透明，但了解它们有助于写出更可预测性能的代码，比如避免频繁更改对象结构或数组类型。
与 TypeScript 的类型推断对比
TypeScript 提供了编译时的静态类型推断能力，这与 JavaScript 的运行时行为不同。
- TypeScript 能根据赋值自动推断变量类型，如 let x = 10; 推断 x 为 number
- 支持函数参数、返回值、对象结构的类型推断
- 提供类型检查，防止不兼容的操作，但在编译后仍转为纯 JavaScript 执行
也就是说，TypeScript 的类型系统不会影响运行时，只是开发阶段的辅助工具，而 JavaScript 的“类型推断”是运行时行为的一部分。
基本上就这些。JavaScript 没有显式的类型标注机制，但通过动态类型 + 隐式转换 + 引擎优化，形成了独特的类型处理方式。理解这些机制有助于避免常见陷阱，比如 == 与 === 的差异，或意外的字符串拼接。
