全部 入门 进阶 高级
显示 全部 未读 已读
01 · 基础
1个主题02 · 类型系统
7个主题 satisfies 操作符 用 satisfies 校验表达式是否符合类型约束，同时保留可用的推断精度，并避开它不做运行时验证的陷阱。 进阶 29分钟 字面量类型 用精确值建模封闭状态，理解推断拓宽、as const、satisfies、可辨识联合与运行时验证之间的边界。 进阶 29分钟 枚举 枚举把一组命名常量同时带入类型系统和运行时；理解其输出、反向映射、边界验证与替代方案。 进阶 27分钟 类型守卫 用运行时证据安全地收窄联合类型与 unknown，并写出可信的自定义类型谓词和断言函数。 进阶 27分钟 类型推断 理解 TypeScript 如何从初始化值、上下文和泛型实参推导类型，并在字面量拓宽、空集合与公开 API 边界上保持正确契约。 进阶 29分钟 类型收窄 TypeScript 如何根据控制流收窄联合类型与 unknown，并用穷尽检查、可信谓词和稳定的局部绑定防止类型错误。 进阶 27分钟 联合类型与交叉类型 用联合类型表达多种可能，用交叉类型叠加约束，并通过可辨识联合、收窄与 never 检查保持类型组合安全。 进阶 26分钟