TypeScript联合类型作为函数参数时的类型约束方案咨询

你遇到的类型报错本质是函数参数的逆变校验规则导致的：当某个属性的类型是多个函数类型的联合时，你传入的函数必须能兼容联合中所有函数的签名，因此无法将参数收窄为联合类型的某一个成员。要实现每个方法参数的精确类型约束，不需要修改原有FieldValue联合定义，只需要通过映射类型明确每个ApiActions成员对应的FieldValue子类型即可。

具体实现步骤 #

1. 建立操作类型与值类型的一一映射 #

首先声明一个类型映射表，明确每一个API操作对应的fieldValue参数类型，不需要传值的操作可以将值类型设为never：

type ActionValueMap = {
  // 无入参操作示例
  CLEAR_FIELD: never;
  // 按实际业务关联每个操作对应的FieldValue子类型
  SET_DESCRIPTION: string;
  SET_LABELS_VALUE: string[];
  SET_ASSIGNEE: AssigneeValue;
  SET_PRIORITY: PriorityValue;
}
// 可选：加一层类型校验，确保映射覆盖所有ApiActions成员，且值类型都属于FieldValue的子集
type _MapValidCheck = {
  [K in ApiActions]: K extends keyof ActionValueMap
    ? ActionValueMap[K] extends FieldValue | never
      ? true
      : ["错误：", K, "对应的值类型不属于FieldValue联合"]
    : ["错误：缺少ApiActions成员", K, "的映射配置"]
};

2. 基于映射重写FieldToAction类型 #

替换原来的函数联合写法，根据映射表为每个操作生成唯一匹配的函数签名：

type FieldToAction = {
  [K in ApiActions]: ActionValueMap[K] extends never
    ? (field: Field) => void
    : (field: Field, fieldValue: ActionValueMap[K]) => void
}

3. 正常实现对象即可获得精确类型校验 #

重写类型后，实现fieldToAction对象时TS会自动为每个方法的fieldValue推导对应精确类型，传参类型错误会直接抛出提示，不需要手动标注参数类型也不会出现原有的类型报错：

const fieldToAction: FieldToAction = {
  CLEAR_FIELD: (field) => field.clear(),
  // fieldValue自动推导为string类型
  SET_DESCRIPTION: (field, fieldValue) => field.setDescription(fieldValue),
  // fieldValue自动推导为string[]类型
  SET_LABELS_VALUE: (field, fieldValue) => field.setValue(fieldValue),
  // 其余操作按提示补全即可
}

原写法报错原因说明 #

你最初定义的FieldToAction中，每个操作对应的方法是两个函数类型的联合：

((field: Field) => void) | ((field: Field, fieldValue: FieldValue) => void)

TS对函数联合类型的参数校验遵循逆变规则：你传入的函数必须能接收联合中所有函数要求的参数类型。如果你给SET_DESCRIPTION对应的方法只声明fieldValue: string，这个方法无法接收string[]、AssigneeValue等其他FieldValue成员，自然不符合类型要求。
用映射类型的写法相当于为每个操作绑定了唯一的函数签名，不存在函数联合，也就规避了逆变带来的类型兼容问题，同时完全保留了原有FieldValue的联合定义。

内容的提问来源于stack exchange，提问作者Jorge Guerreiro