TypeScript实现函数第二个参数类型依赖第一个参数的问询

这个需求其实是典型的参数类型关联场景，在TypeScript里有两种常用的实现方式，我给你详细讲讲：

这种方式通过明确的重载签名，直接限定不同参数组合的合法性，非常适合简单的场景：

// 先定义你的两个对象类型（这里加个标识字段方便区分，实际可以替换成你自己的结构）
type TypeA = { type: 'A' };
type TypeB = { type: 'B' };

// 定义函数重载签名，明确不同参数组合的规则
function myfunct(arg1: TypeA, arg2: 'a' | 'b'): void;
function myfunct(arg1: TypeB, arg2: 'c' | 'd'): void;

// 函数的实际实现（这里可以写你的业务逻辑）
function myfunct(arg1: TypeA | TypeB, arg2: 'a' | 'b' | 'c' | 'd'): void {
  console.log('参数1:', arg1, '参数2:', arg2);
}

使用验证：

const A: TypeA = { type: 'A' };
const B: TypeB = { type: 'B' };

myfunct(A, 'a'); // ✅ 完全合法
myfunct(B, 'c'); // ✅ 完全合法
myfunct(A, 'c'); // ❌ 报错："c"不能赋值给"a"|"b"
myfunct(B, 'b'); // ❌ 报错："b"不能赋值给"c"|"d"

如果之后可能新增更多类似的类型（比如TypeC、TypeD），用泛型映射的方式会更易维护，不用频繁修改函数签名：

// 同样先定义基础类型
type TypeA = { type: 'A' };
type TypeB = { type: 'B' };

// 定义一个映射类型，把每个对象类型和对应的第二个参数值绑定
type ArgAssociation = {
  [K in TypeA]: 'a' | 'b';
  [K in TypeB]: 'c' | 'd';
};

// 用泛型约束实现参数关联
function myfunct<T extends TypeA | TypeB>(arg1: T, arg2: ArgAssociation[T]): void {
  console.log('参数1:', arg1, '参数2:', arg2);
}

这种方式的优势在于，后续新增类型时，只需要在ArgAssociation里添加一行映射规则即可，函数本身不需要改动。

内容的提问来源于stack exchange，提问作者Yannick Serra