TypeScript中多个泛型参数的互相依赖和约束，核心在于用T extends U或索引类型、条件类型构建“类型契约”，实现输入与输出结构的映射逻辑：①用extends约束基础联动；②用元组解构实现顺序依赖；③用嵌套约束表达深层结构；④用条件类型处理动态分支。
TypeScript 中多个泛型参数的互相依赖和约束，核心在于用 T extends U 或更精细的索引类型、条件类型构建“类型契约”，让参数之间产生可推导、可验证的关系。这不是简单并列传参，而是建立输入结构与输出结构之间的映射逻辑。
用 extends 实现基础类型联动
当一个泛型需访问另一个泛型的属性或方法时，必须显式约束其结构。例如，要让函数接收一个对象和它的某个 key，并安全返回对应 value：
- 不能写
function getValue(obj: T, key: K)—— TypeScript 不知道K是否在T上存在 - 正确写法是：
function getValue<T extends object, K extends keyof T>(obj: T, key: K): T[K] - 这里
K extends keyof T表示K必须是T的合法键名，从而保证obj[key]类型可精确推导为T[K]
用元组 + 解构实现顺序依赖
多个泛型可通过元组类型绑定位置关系，再用解构或索引访问建立依赖。例如设计一个交换函数，要求返回值类型严格按输入顺序反转：
Galileo TypeScript sdk
下载
完整的Galileo AI平台 TypeScript/JS SDK 参考，用于评估、观察和保护 GenAI 应用。适用于构建 Node.js 或 TypeScript 项目。
function swap<A, B>([a, b]: [A, B]): [B, A] { return [b, a]; }- 调用
swap([1, "hello"])会精确推导出返回类型为[string, number] - 如果改成
swap<number, string>([1, "hello"])，类型检查会强制第一个参数是number、第二个是string
用嵌套约束表达深层结构关系
复杂 API 常需多层嵌套约束。比如封装一个通用的响应解析器，要求：输入是某接口类型 T，响应体字段名由 K 指定，且该字段值类型必须是 V，同时支持对 V 做进一步转换：
function parseResponse<T extends { data: any }, K extends keyof T['data'], V>(res: T, key: K, transform: (v: T['data'][K]) => V): V- 这里
T约束为含data属性的对象；K依赖于T['data']的键；V虽未被直接约束，但通过transform参数与T['data'][K]形成函数签名联动 - 实际调用时，TypeScript 会根据
res和key自动推导出T和K，进而约束transform的参数类型
用条件类型 + 分布式约束处理动态分支
当联动逻辑涉及“根据某个泛型值决定另一泛型是否启用”时，需引入条件类型。例如设计一个配置合并工具，支持深度合并或浅合并：
type MergeStrategy = 'shallow' | 'deep';function merge<T, U, S extends MergeStrategy = 'shallow'>(a: T, b: U, strategy?: S): S extends 'deep' ? DeepMerge<T, U> : ShallowMerge<T, U>- 返回类型不再是固定结构，而是根据
S的字面量值动态计算，形成真正的编译期分支 - 这种写法让 API 在不同策略下暴露完全不同的类型行为，而不是靠运行时判断降级为
any
