TypeScript如何根据首个参数值约束第二个参数的对应类型

核心思路是通过可辨识联合类型或者函数重载，显式声明两个入参之间的类型依赖关系，TS默认无法为两个独立标注的参数推导跨参数的类型约束。

首先先修正原代码的基础语法问题：

• TS内置数组类型不能直接写小写array，需要标注为unknown[]（或指定具体成员类型的数组如number[]）
• 枚举定义的语法错误：TS枚举定义不需要加等号，成员键名也不需要用冒号分隔

方案1：函数重载（直观易读，适合参数规则简单的场景） #

逐个声明合法的入参组合，TS会优先匹配重载签名做校验：

type BType = number | string | unknown[];
enum AEnum {
  number = "number",
  string = "string",
  array = "array"
}

// 重载签名：定义所有合法的入参组合
function fc(a: AEnum.number, b: number): void;
function fc(a: AEnum.string, b: string): void;
function fc(a: AEnum.array, b: unknown[]): void;
// 实现签名：内部逻辑写在这里，对调用方不可见
function fc(a: AEnum, b: BType) {
  // 业务逻辑实现
}

校验效果：

• fc(AEnum.number, 123) 校验通过
• fc(AEnum.number, "123") 抛出类型错误
• fc(AEnum.array, [1,2,3]) 校验通过
• fc(AEnum.array, "abc") 抛出类型错误，完全符合需求

方案2：联合元组参数（易维护，适合参数规则多的场景） #

把两个参数的合法组合定义为元组联合类型，TS会自动根据第一个入参的字面量类型收窄第二个入参的类型：

type BType = number | string | unknown[];
enum AEnum {
  number = "number",
  string = "string",
  array = "array"
}

// 定义a取值到b类型的映射关系
type AToBMap = {
  [AEnum.number]: number;
  [AEnum.string]: string;
  [AEnum.array]: unknown[];
};

// 自动生成所有合法入参的元组联合
type FcParams = {
  [K in AEnum]: [a: K, b: AToBMap[K]]
}[AEnum];

const fc = (...[a, b]: FcParams) => {
  // 内部可以直接做类型收窄，比如a === AEnum.array时，TS自动推导b为数组类型
  if (a === AEnum.array) {
    b.forEach(item => console.log(item));
  }
};

这个方案后续新增枚举值时，只需要在AToBMap里补充对应的b类型即可，不需要重复写重载或者联合项，维护成本更低。

注意：不要把两个参数独立标注为a: AEnum、b: BType，这种写法下TS会认为a和b的类型没有关联，无法实现目标约束效果。

内容的提问来源于stack exchange，提问作者Kareem Adel