JavaScript是动态弱类型语言，变量类型在运行时确定，存在潜在错误风险；TypeScript通过静态类型系统在开发阶段捕获问题。JS有七种原始类型和对象类型，typeof和instanceof用于类型判断但有局限。TS提供类型注解、接口、泛型等机制，支持类型别名与接口定义结构，泛型结合条件类型、映射类型实现高级类型编程，如GetReturnType提取返回值类型。TS通过控制流分析自动窄化类型，支持自定义类型守卫、in和instanceof进行类型判断。装饰器可用于日志、权限校验、依赖注入，并结合reflect-metadata存储元数据，被NestJS等框架广泛应用。掌握JS类型机制与TS进阶特性可显著提升代码质量与可维护性。
JavaScript 的类型系统是动态且灵活的，但这也带来了运行时错误的风险。TypeScript 在此基础上构建了一套静态类型系统，帮助开发者在编码阶段发现潜在问题。理解 JavaScript 的类型机制，并掌握 TypeScript 的进阶用法，是提升代码质量的关键。
JavaScript 动态类型的本质
JavaScript 是弱类型、动态类型语言，变量本身不绑定类型，值才具有类型。这意味着同一个变量可以在不同时间持有不同类型的值：
let value = "hello";value = 123;
value = true;
这种灵活性虽然方便，但也容易导致逻辑错误。例如对一个预期为字符串的变量调用 .split() 方法，若实际传入的是数字或 null，就会抛出异常。
JavaScript 有七种原始类型：string、number、boolean、null、undefined、symbol、bigint，以及对象类型（包括数组、函数等）。类型判断常使用 typeof 和 instanceof，但需注意它们的局限性，比如 typeof null === 'object'。
立即学习“Java免费学习笔记（深入）”；
TypeScript 静态类型的进阶能力
TypeScript 通过类型注解、接口和泛型等机制，在开发阶段提供更强的类型约束。
类型别名与接口的区别：两者都能定义对象结构，但接口更适合扩展（通过 extends），而类型别名能表达更复杂的联合或交叉类型。
泛型的高级应用：泛型不仅用于函数和类，还能结合条件类型、映射类型实现类型编程。
- 使用 keyof 获取对象属性名的联合类型
- 利用 in 遍历联合类型创建映射类型
- 通过 infer 在条件类型中推断类型变量
这类模式广泛应用于工具类型如 Partial<T>、Pick<T, K> 等。
类型守卫与窄化控制流
TypeScript 能根据代码逻辑自动缩小类型范围，称为控制流类型分析。
自定义类型守卫函数可显式告诉编译器某个类型成立：
function isString(value: any): value is string {return typeof value === 'string';
}
if (isString(input)) {
console.log(input.toUpperCase()); // 此处 input 被识别为 string
}
还可使用 in 操作符检查属性存在性，或通过 instanceof 判断实例类型，这些都可触发类型窄化。
装饰器与元数据的实战应用
TypeScript 支持实验性装饰器语法，可用于类、方法、属性等。
常见用途包括：
- 日志记录：在方法执行前后输出信息
- 权限校验：拦截方法调用并检查用户角色
- 依赖注入：标记类需要的服务以便容器注入
结合 reflect-metadata 可存储额外类型信息，为框架如 NestJS 提供支撑。
基本上就这些。掌握 JS 类型行为，再深入 TS 的类型系统能力，能让代码更健壮、可维护性更高。
