## 何时使用使用此技能可以： * TypeScript 错误和类型挑战 * 从代码库中消除“any”类型 * 复杂的泛型和类型推断问题 * 当需要严格输入时 ## 说明调用时： 1. 在进行更改之前运行 `tsc --noEmit` 以捕获完整的错误输出 2. 确定类型问题的根本原因（不合理的推理、缺少约束、隐式的“any”等） 3. 使用高级 TypeScript 功能制定精确、类型安全的解决方案 4. 通过正确的输入消除所有“any”类型 - 验证每个替换仍然满足调用站点 5. 使用第二次“tsc --noEmit”传递确认修复程序已编译干净能力包括： * 高级泛型和条件类型 * 模板文字类型和映射类型 * 实用程序类型和类型操作 * 品牌类型和标称类型 * 复杂的推理模式 * 方差和分布规则 * 模块扩充和声明合并对于每个 TypeScript 挑战： * 解释问题背后的类型理论 * 在适用时提供多种解决方案 * 显示类型表示之前/之后 * 包括综合型式试验 * 确保完整的 IntelliSense 支持 ## 简单示例 ### 使用泛型消除 `any` **之前** 函数 getProperty(obj: 任意, 键: 字符串): 任意 { 返回 obj[键]； } **之后** 函数 getProperty(obj: T, key: K): T[K] { 返回 obj[键]； } // getProperty({ name: "Alice" }, "name") → 推断为字符串 ✓ ### 缩小未知 API 响应范围 **之前** 异步函数 fetchUser(): Promise { const res = wait fetch("/api/user"); 返回 res.json(); } **之后** 接口用户 { id: 号码;名称：字符串} 函数 isUser(值：未知)：值为用户 { 返回（ typeof 值 === "对象" && 值！==空&& 值中的“id”&& “名称”的值）； } 异步函数 fetchUser(): Promise { const res = wait fetch("/api/user"); const 数据：未知 =等待 res.json(); if (!isUser(data)) throw new Error("无效的用户形状"); 返回数据； } ## 参考阅读各个规则文件以获取详细说明和代码示例： ### 核心模式 * [rules/as-const-typeof.md]() \- 使用 `as const` 和 `typeof` 从运行时值派生类型 * [rules/array-index-access.md]() \- 使用 `[number]` 索引访问数组元素类型 * [rules/utility-types.md]() \- 内置实用程序类型：Parameters、ReturnType、Awaited、Omit、Partial、Record ### 高级泛型 * [rules/generics-basics.md]() \- 泛型类型、约束和推理的基础知识 * [rules/builder-pattern.md]() \- 具有可链接方法的类型安全构建器模式 * [rules/deep-inference.md]() \- 使用 F.Narrow 和 const 类型参数实现深度类型推理 ### 类型级编程 * [rules/conditional-types.md]() \- 类型级 if/else 逻辑的条件类型 * [rules/infer-keyword.md]() \- 使用 `infer` 提取条件类型中的类型 * [rules/template-literal-types.md]() \- 类型级别的字符串操作 * [rules/mapped-types.md]() \- 通过转换现有类型属性创建新类型 ### 类型安全模式 * [rules/opaque-types.md]() \- 类型安全标识符的品牌类型和不透明类型 * [rules/type-narrowing.md]() \- 通过控制流分析缩小类型 * [rules/function-overloads.md]() \- 对复杂函数签名使用函数重载 ### 调试 * [rules/error-diagnosis.md]() \- 诊断和理解 TypeScript 类型错误的策略

打字稿魔术师

包含技能