TypeScript通过静态类型检查提升代码可维护性，与动态类型的JavaScript相比，能在编译阶段发现类型错误。1. JavaScript为动态类型，变量类型运行时确定且可变；TypeScript为静态类型，编译时检查类型安全。2. TypeScript支持类型标注和推断，明确变量、函数及对象结构类型；JavaScript无类型标注，依赖运行时判断。3. TypeScript提供联合类型、交叉类型、泛型、类型守卫、枚举等高级类型功能；JavaScript不具备这些。4. TypeScript增强开发体验，支持智能补全、重构和团队协作，适合大型项目；JavaScript适用于简单场景，但复杂项目易出错难维护。TypeScript最终编译为JavaScript执行，为开发过程提供“防护网”，显著提升代码健壮性和可读性。
TypeScript 和 JavaScript 是现代前端开发中密切相关的两种语言。它们之间的核心区别之一就是类型系统。虽然两者在语法上高度兼容，但 TypeScript 引入了静态类型检查，极大提升了代码的可维护性和开发体验。下面从类型系统的角度，深入对比两者的差异和优势。
1. 类型检测机制：静态 vs 动态
JavaScript 是动态类型语言，变量的类型在运行时才确定，并且可以随时改变。
例如：let name = "Alice";
name = 123; // 合法，不会报错
这种灵活性虽然便于快速开发，但也容易引入类型相关的错误，比如调用不存在的方法或传参错误。
TypeScript 是静态类型语言，支持在编译阶段进行类型检查。变量的类型通常在声明时明确指定或通过类型推断得出。
立即学习“Java免费学习笔记（深入）”；
例如：let name: string = "Alice";
name = 123; // 编译时报错：不能将 number 赋值给 string
这种提前发现错误的能力，显著减少了运行时异常。
2. 类型标注与类型推断
TypeScript 允许开发者显式标注类型，使代码意图更清晰。
常见类型标注示例：- string、number、boolean：基础类型
- Array<string> 或 string[]：数组类型
- function greet(name: string): void：函数参数和返回值类型
- interface 或 type 定义复杂对象结构
TypeScript 还具备强大的类型推断能力。即使不写类型标注，也能根据赋值自动推导类型。
let age = 25; // 推断为 number
age = "25"; // 报错
JavaScript 没有类型标注概念，所有类型信息只能通过运行时 typeof 或 instanceof 判断，无法在编码阶段提供反馈。
3. 高级类型功能
TypeScript 提供了许多高级类型特性，帮助构建更安全、灵活的代码结构。
- 联合类型（Union Types）：string | number 表示一个值可以是字符串或数字
- 交叉类型（Intersection Types）：合并多个类型，如 Person & Serializable
- 泛型（Generics）：编写可复用的类型抽象，比如 Array<T>
- 类型守卫（Type Guards）：通过代码逻辑缩小类型范围
- 枚举（enum）：定义命名常量集合
这些功能在 JavaScript 中完全缺失。虽然可以通过 JSDoc 注释部分模拟类型提示（部分编辑器支持），但不具备编译时检查能力。
4. 开发体验与工程化优势
TypeScript 的类型系统极大增强了开发工具的支持。
- 编辑器能提供更准确的自动补全、跳转定义和重构建议
- 函数参数和返回值类型明确，提升团队协作效率
- 大型项目中更容易维护和重构，降低出错概率
JavaScript 在小型脚本或简单项目中足够使用，但在复杂应用中，缺乏类型约束容易导致“隐性契约”，增加调试成本。
基本上就这些。TypeScript 并没有改变 JavaScript 的运行机制，而是通过类型系统为开发过程加了一层“防护网”。它最终仍会编译成纯 JavaScript 执行，但开发阶段的类型安全保障，让代码更健壮、可读性更强。对于需要长期维护或多人协作的项目，TypeScript 的类型系统优势非常明显。
