claude-skills 的 typescript-pro 技能TypeScript 高级类型系统实战指南【免费下载链接】claude-skills67 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer.项目地址: https://gitcode.com/GitHub_Trending/claud/claude-skills本篇指南以开源仓库 claude-skills 中 typescript-pro 技能 的核心参考文档 advanced-types.md 为主体系统讲解泛型约束、条件类型、映射类型、模板字面量类型、递归类型、型变与类型级编程等高级类型能力并补充仓库内同技能其余参考文档与配置实践作为佐证。读完本文你将能熟练编写类型安全的 API、构建类型级工具链并把这套高级类型方法论落地到自己的 TypeScript 项目中。本文对应仓库路径技能定义位于 skills/typescript-pro/SKILL.md核心参考文档位于 skills/typescript-pro/references/advanced-types.md。一、为什么需要系统掌握高级类型在 claude-skills 的 skills 体系中typescript-pro是一个domain: language、role: specialist、scope: implementation的语言专项技能其触发场景涵盖 TypeScript 泛型、条件类型、映射类型、可辨识联合、类型守卫与 tRPC 端到端类型安全。技能的核心工作流SKILL.md强调分析类型架构tsconfig、类型覆盖率、构建性能以类型优先的方式设计 API品牌类型、泛型、工具类型用类型守卫、可辨识联合、条件类型实现并运行tsc --noEmit验证通过 project references、增量编译、tree shaking 优化构建再次tsc --noEmit确认零错误用type-coverage等工具核对公开 API 的显式返回类型。也就是说高级类型不是炫技而是类型即文档、类型即契约工程方法论的底层基础设施。本指南讨论的 8 大类高级类型主题正是支撑这套工作流的理论核心。二、泛型约束Generic Constraints泛型约束用于限制类型参数可接受的类型范围是高级类型编程的第一块基石。参考文档 advanced-types.md 给出了四类核心写法。2.1 基本约束keyof索引约束function getPropertyT, K extends keyof T(obj: T, key: K): T[K] { return obj[key]; }K extends keyof T保证key一定是对象T的合法键名返回值T[K]则是该键对应的精确类型。从类型守卫参考文档 type-guards.md 中可以看到这一模式的同类应用function getPropertyT extends object, K extends keyof T( obj: T, key: K ): T[K] { return obj[key]; }它把越界键名从运行时错误提升为编译期错误是类型安全取值的标准姿势。2.2 多约束与交叉类型返回interface HasId { id: number; } interface HasName { name: string; } function mergeT extends HasId, U extends HasName(obj1: T, obj2: U): T U { return { ...obj1, ...obj2 }; }多个类型参数各自受不同接口约束返回值T U是二者的交叉类型——调用方拿到的对象同时具备id与name字段类型信息在函数签名中完整保留。2.3 带默认值的泛型约束type ApiResponseT unknown, E Error | { success: true; data: T } | { success: false; error: E };ApiResponseT, E是一个可辨识联合discriminated union通过success布尔字面量判别分支data与error在不同分支下自动收窄。默认参数unknown与Error让使用方可以只传一个类型参数甚至不传同时保持类型安全。这一Result 风格联合类型在 patterns.md 的 Result/Either 模式中被进一步演化为可复用的ok()/err()构造器。2.4 约束与infer结合type UnwrapPromiseT T extends Promiseinfer U ? U : T; type Result UnwrapPromisePromisestring; // stringinfer U在条件类型中捕获被匹配位置的类型变量若T是PromiseU则解包为U否则原样返回。这是异步代码中提取 Promise 载荷类型的通用工具也是后面大量高级技巧的语法基础。三、条件类型Conditional Types条件类型的形态是T extends U ? X : Y即如果T可赋值给U取X否则取Y。3.1 基础条件类型type IsStringT T extends string ? true : false;这相当于在类型层面写一个typeof string的判断结果是字面量true或false。3.2 分配律条件类型Distributive Conditional Typestype ToArrayT T extends any ? T[] : never; type StringOrNumberArray ToArraystring | number; // string[] | number[]当条件类型作用于裸类型参数T直接出现在extends左侧时TypeScript 会将联合类型string | number逐个分发得到string[] | number[]而不是(string | number)[]。3.3 关闭分配使用元组包裹type ToArrayNonDistT [T] extends [any] ? T[] : never; type BothArray ToArrayNonDiststring | number; // (string | number)[]用[T] extends [any]把类型参数包进元组就关闭了分配律联合整体参与判断得到(string | number)[]。这是区分逐个转换与整体处理的关键开关。3.4 嵌套条件类型提取type FlattenT T extends Arrayinfer U ? U extends Arrayinfer V ? FlattenV : U : T; type Nested Flattenstring[][][]; // stringFlatten递归展开任意层级的数组直到元素不再是数组为止。它演示了条件类型的嵌套组合与infer的递归配合。3.5 剔除 null / undefinedtype NonNullableT T extends null | undefined ? never : T;这是标准库NonNullableT的手工实现凡落入null | undefined的分支产出never其余分支原样保留。搭配 type-guards.md 中的断言函数使用可在运行时收窄与编译期类型上双保险。四、映射类型Mapped Types映射类型通过[K in keyof T]遍历对象的所有键逐键生成新属性是批量改造类型的核心武器。4.1 三大基本变换只读、可选、必填type ReadOnlyT { readonly [K in keyof T]: T[K]; }; type PartialT { [K in keyof T]?: T[K]; }; type RequiredT { [K in keyof T]-?: T[K]; // Remove optional modifier };readonly与?是键的修饰符前缀-以及对称的用来删除或添加修饰符-?即移除可选标记。这三者分别对应标准库ReadonlyT、PartialT、RequiredT的内部实现在 utility-types.md 中你还能看到它们与Pick、Omit、Record的配合用法。4.2 键重映射as子句type GettersT { [K in keyof T as get${Capitalizestring K}]: () T[K]; }; interface Person { name: string; age: number; } type PersonGetters GettersPerson; // { getName: () string; getAge: () number; }as子句允许重写键名这里把name键改写为getNameage改写为getAge每个键的值类型变成对应的取值函数。Capitalizestring K先把键收窄为字符串字面量再首字母大写。4.3 按值类型过滤键type PickByTypeT, U { [K in keyof T as T[K] extends U ? K : never]: T[K]; }; type StringFields PickByTypePerson, string; // { name: string }通过T[K] extends U ? K : never在键重映射层做过滤值类型匹配U的键保留否则产出never被丢弃。这与 utility-types.md 中的PickByType、OmitByType、ConditionalKeys一脉相承是按值类型选择属性的标准套路。五、模板字面量类型Template Literal Types模板字面量类型把字符串模式固化进类型系统是 TypeScript 4.1 最具生产力的高级特性之一。5.1 字面量组合type EmailLocale en | es | fr; type EmailType welcome | reset-password; type EmailTemplate ${EmailLocale}_${EmailType}; // en_welcome | en_reset-password | es_welcome | ...两个字面量联合在模板中做笛卡尔积自动展开为 3 × 2 6 个精确的字符串字面量。这让文件名、事件名、路由名、CSS 变量名等字符串约定获得编译期检查。5.2 内置字符串操作类型type UppercaseS extends string intrinsic; type LowercaseS extends string intrinsic; type CapitalizeS extends string intrinsic; type UncapitalizeS extends string intrinsic;这四个intrinsic类型由编译器原生实现。在 patterns.md 的 Builder 模式中可以看到它们的实战用法type BuilderT, K extends keyof T never { [P in keyof T as set${Capitalizestring P}]: ( value: T[P] ) BuilderT, K | P; } { build: K extends keyof T ? () T : never; };set${Capitalizestring P}自动为每个属性生成setXxx方法名而K extends keyof T ? () T : never保证了所有必填属性都被 set 过才能调用 build()——把 Builder 的完整性校验从运行时前移到了编译期。5.3 事件名构造type EventNameT extends string on${CapitalizeT}; type ClickEvent EventNameclick; // onClick5.4 模板字面量与映射类型组合type CSSProperties { [K in color | background | border as --${K}]: string; }; // { --color: string; --background: string; --border: string }键重映射与模板字面量组合把常规属性名自动转成 CSS 自定义属性--color等适合为设计系统自动生成 CSS 变量类型。5.5 配合infer做字符串模式匹配type ExtractRouteParamsT extends string T extends ${infer _Start}/:${infer Param}/${infer Rest} ? Param | ExtractRouteParams/${Rest} : T extends ${infer _Start}/:${infer Param} ? Param : never; type Params ExtractRouteParams/users/:id/posts/:postId; // id | postId通过模板模式匹配 infer 递归从路由字符串中提取出所有:param参数名。同样的思路在 patterns.md 的类型安全 API Client 中被用来把/users/:id转成{ id: string }参数对象——这是实现路由字符串驱动参数类型的关键一环。六、高阶类型模拟Higher-Kinded TypesTypeScript 没有原生的高阶类型但可以用类型类 泛型接口模拟函子Functor等模式。6.1 类型类接口interface TypeClassF { map: A, B(f: (a: A) B, fa: any) any; }TypeClassF描述了某种容器类型F必须具备的map能力F在此作为容器类型构造器的占位。6.2 函子实例Maybetype MaybeT { type: just; value: T } | { type: nothing }; const MaybeFunctor: TypeClassMaybeany { map: A, B(f: (a: A) B, ma: MaybeA): MaybeB { return ma.type just ? { type: just, value: f(ma.value) } : { type: nothing }; } };MaybeT用可辨识联合表达有值 / 无值其map实现遵循函子定律just分支应用函数fnothing分支原样透传。这是 Option/Either 风格容器在类型层面的一种工程化模拟。6.3 Builder 类型type BuilderT, K extends keyof T never { withP extends Excludekeyof T, K( key: P, value: T[P] ): BuilderT, K | P; build(): K extends keyof T ? T : never; };BuilderT, K通过K累计已设置的键with方法只接受还未设置过的键Excludekeyof T, K每调用一次K就并入新键build()只有在K覆盖全部键K extends keyof T时才返回T否则返回never。它和上一节patterns.md中的setXxx版 Builder 是渐进式类型progressive types思想的两种实现。七、递归类型Recursive Types递归类型让类型系统可以描述无限深度的数据结构。7.1 JSON 类型type JSONValue | string | number | boolean | null | JSONValue[] | { [key: string]: JSONValue };JSONValue在数组与对象分支中引用自身精确刻画了 JSON 的递归结构可用来给JSON.parse的结果或任意反序列化数据做边界类型。7.2 深度工具类型type DeepPartialT T extends object ? { [K in keyof T]?: DeepPartialT[K]; } : T; type DeepReadonlyT T extends object ? { readonly [K in keyof T]: DeepReadonlyT[K]; } : T;DeepPartialT与DeepReadonlyT把Partial与Readonly递归应用到每一层嵌套。在 SKILL.md 的代码示例中DeepReadonly被定义为不可变嵌套对象的推荐工具类型并进一步演化为确保一组键中恰好只有一个被提供的RequireExactlyOne等约束型工具类型。DeepPartial的同类实现也出现在 utility-types.md 的自定义工具类型章节。7.3 嵌套路径类型type PathsToPropsT T extends object ? { [K in keyof T]: K extends string ? T[K] extends object ? K | ${K}.${PathsToPropsT[K]} : K : never; }[keyof T] : never; interface User { profile: { name: string; settings: { theme: string; }; }; } type UserPaths PathsToPropsUser; // profile | profile.name | profile.settings | profile.settings.themePathsToPropsT递归生成对象所有嵌套属性的点分路径联合类型是类型安全的深层取值、表单校验字段名、状态管理 getter 路径等场景的利器——把字段路径字符串从运行时的口头约定变成编译期可校验的联合类型。八、型变与逆变Variance and Contravariance型变描述当类型参数 A 可赋值给 B 时FA与FB的关系。这组概念决定了你的泛型类型能否被安全地互相替换。8.1 协变返回类型位置type ProducerT () T; let stringProducer: Producerstring () hello; let objectProducer: Producerobject stringProducer; // OK: string is object函数返回类型处于协变位置Producerstring可赋值给Producerobject因为能产出 string 的函数当然能当作能产出 object 的函数使用。8.2 逆变参数类型位置type ConsumerT (value: T) void; let objectConsumer: Consumerobject (obj) console.log(obj); let stringConsumer: Consumerstring objectConsumer; // OK in strict mode函数参数处于逆变位置Consumerobject可赋值给Consumerstring因为能处理任何 object 的函数必然能处理 string。在严格模式下strictFunctionTypes见 configuration.mdTypeScript 对方法参数与函数类型参数采用不同规则这正是该配置项存在的原因之一。8.3 不变可变属性位置interface BoxT { value: T; setValue(v: T): void; } let stringBox: Boxstring { value: , setValue: (v) {} }; // let objectBox: Boxobject stringBox; // Error: invariantBoxT同时有value协变位置与setValue逆变位置两种方向互相抵消使BoxT在T上表现为不变invariantBoxstring与Boxobject互不可赋值避免读出来是 string 却按 object 用、或写进去 object 却污染 string 语义这类陷阱。九、类型级编程Type-Level Programming类型级编程把运算搬到编译期常见于校验工具类型与测试类型行为。9.1 元组运算type LengthT extends any[] T[length]; type ConcatA extends any[], B extends any[] [...A, ...B];利用元组字面量与数组展开语法可在类型层面做求长度、拼接等运算。更丰富的元组工具First、Last、Tail、Reverse、Split、Join等在 utility-types.md 的元组工具章节中有完整示例。9.2 类型级条件与相等性type IfCondition extends boolean, Then, Else Condition extends true ? Then : Else; type EqualX, Y (T() T extends X ? 1 : 2) extends (T() T extends Y ? 1 : 2) ? true : false;If在类型层面实现 if-elseEqualX, Y通过比较两个泛型函数的签名一致性来判定类型是否严格相等比朴素的可赋值性判断更精确。9.3 用Assert做类型测试type AssertT extends true T; type Test AssertEqual1 | 2, 2 | 1; // OKAssertT extends true约束类型参数必须为true把待验证的类型结论喂进去若结论不成立则直接产生编译错误。这提供了一种轻量的类型单测手段配合 SKILL.md 工作流中的tsc --noEmit检查可以像测试运行时逻辑一样回归测试类型逻辑。十、快速参考表将 advanced-types.md 末尾的模式速查表完整收录如下可作为日常编写的检索卡片PatternUse CaseT extends U ? X : YConditional type logicinfer RExtract types from patternsK in keyof TIterate over object keysas NewKeyRemap keys in mapped typesTemplate literalsString pattern typesT extends anyDistributive conditionals[T] extends [any]Non-distributive check-?modifierRemove optionalreadonlymodifierMake immutable十一、实践建议把高级类型接入工程结合同技能参考文档与仓库建议落地高级类型时有几点值得注意以严格配置为前提高级类型尤其是逆变与exactOptionalPropertyTypes相关行为对 tsconfig 敏感。SKILL.md 推荐的strict: true、noUncheckedIndexedAccess、noImplicitOverride、exactOptionalPropertyTypes、isolatedModules、incremental等配置是让条件类型、映射类型行为可预期的前提完整的选项说明见 configuration.md。高级类型与运行时守卫配套映射类型与infer擅长编译期结构变换运行时收窄则依赖 type-guards.md 中的类型谓词value is Type、断言函数asserts value is Type与可辨识联合收窄。二者结合才能覆盖编译期约束 运行时验证全链路。面向复用沉淀工具类型utility-types.md 汇总了大量可复用的自定义工具类型DeepPartial、PickByType、RequireAtLeastOne、Reverse、Split等建议作为团队公共类型库的起点。用类型测试锁定契约用AssertEqual...这类技巧为关键工具类型写编译期断言纳入 CI 的tsc --noEmit检查避免类型重构悄然破坏公开契约。延伸阅读技能主文档skills/typescript-pro/SKILL.md品牌类型、可辨识联合与自定义工具类型的完整示例类型守卫与收窄skills/typescript-pro/references/type-guards.md内置与自定义工具类型skills/typescript-pro/references/utility-types.mdtsconfig 与构建优化skills/typescript-pro/references/configuration.md设计模式与类型安全 APIskills/typescript-pro/references/patterns.md【免费下载链接】claude-skills67 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer.项目地址: https://gitcode.com/GitHub_Trending/claud/claude-skills创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考