javascript原始类型共7种：string、number、boolean、undefined、null、symbol、bigint；它们不可变、无属性、按值传递，且从隐式转换逐步转向显式控制，强调类型意图与运行预期一致性。
JavaScript 原始类型（primitive types）的操作方式，从诞生至今经历了从隐式、松散走向显式、可控的明显转变。这种演进不是语法堆砌，而是对“类型意图”越来越清晰的表达——开发者不再只关心“能运行”，更关注“是否按预期运行”。
原始类型的底层定义逐步稳定
ES3 时期就确立了六种原始类型：undefined、null、boolean、number、string、symbol（ES6 新增）。BigInt（ES2020）是第七个，填补了大整数运算的空白。它们共同特点是：不可变、无属性、按值传递。
关键变化在于语言规范对“原始值行为”的明确定义：
- ES5 明确了 typeof 对 null 返回 "object" 是历史遗留 bug，但未修正，转而强调使用 Object.prototype.toString.call() 进行可靠类型检测
- ES6 引入 Symbol 作为唯一、不可枚举的原始标识符，解决了属性名冲突问题，也首次让原始类型具备“身份区分”能力
- ES2020 的 BigInt 允许任意精度整数运算，且与 number 不兼容（1n === 1 为 false），强制开发者显式处理类型边界
操作方式从隐式转换转向显式控制
早期 JavaScript 大量依赖自动类型转换（ToPrimitive、ToNumber、ToString），导致难以预测的行为（如 [] == ![] 为 true）。现代实践正系统性地规避这类陷阱：
- 严格相等（===）成为默认推荐，避免字符串/数字隐式转换
- 新增 Number()、String()、Boolean() 等显式转换函数，替代易错的 +x、''+x、!!x
- ES2023 引入 Symbol.toPrimitive 钩子，允许自定义对象在参与原始操作时的转换逻辑，把控制权交还给开发者
- TypeScript 和 ESLint 等工具普及后，“no-implicit-coercion” 规则被广泛启用，从工程层面压制隐式转换
未来：原始类型将更早介入开发流程
原始类型本身不会新增太多种类，但其语义和约束力正在向语言前端延伸：
- 类型即契约：借助 JSDoc 注解或 TypeScript，string | number | boolean 已不只是运行时值，更是接口契约的一部分，影响 IDE 补全、重构安全性和构建时检查
- 运行时类型守卫增强：提案中的 is 操作符（如 if (x is string)）有望替代 typeof x === 'string'，使原始类型判断更简洁、可推导
- 性能敏感场景的原始优化：V8 等引擎持续优化原始值的存储与比较路径；WebAssembly 与 JS 互操作中，明确的原始类型签名（如 i32、f64）正倒逼 JS 层对 number/BigInt 使用场景做更精细划分
