TypeScript 问题索引

高频入口

• interface 与 type：开放扩展、组合表达与工具类型兼容
• 泛型：参数化类型、约束与类型推导链路
• 类型守卫：控制流分析如何把宽类型缩窄
• unknown、any 与 never：顶层类型和底层类型的分工

真正会被一路追下去的链路

• 类型描述 -> 类型推导 -> 类型变换
• 静态约束 -> 边界输入 -> 运行时校验

最容易把话说坏的地方

• 把 TypeScript 当成运行时类型系统。
• 把 any、unknown、断言和守卫混成一类。
• 把“会写类型”误当成“理解类型系统如何帮助工程协作”。