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），而类型别名能表达更复杂的联合或交叉类型。
泛型的高级应用：泛型不仅用于函数和类，还能结合条件类型、映射类型实现类型编程。
技术上面应用了三层结构，AJAX框架，URL重写等基础的开发。并用了动软的代码生成器及数据访问类，加进了一些自己用到的小功能，算是整理了一些自己的操作类。系统设计上面说不出用什么模式，大体设计是后台分两级分类，设置好一级之后，再设置二级并选择栏目类型，如内容，列表，上传文件，新窗口等。这样就可以生成无限多个二级分类，也就是网站栏目。对于扩展性来说，如果有新的需求可以直接加一个栏目类型并新加功能操作
- 使用 keyof 获取对象属性名的联合类型
- 利用 in 遍历联合类型创建映射类型
- 通过 infer 在条件类型中推断类型变量
这类模式广泛应用于工具类型如 Partial
类型守卫与窄化控制流
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 的类型系统能力，能让代码更健壮、可维护性更高。
