TypeScript实现模块化输入处理系统时transform参数类型报错如何修复

这个报错的本质是 TypeScript 无法自动识别input.type和对应转换器入参类型的绑定关系：它只会把transformer识别为TextTransformer | ImageTransformer类型，对应的transform方法入参要求同时满足TextInput和ImageInput的交叉类型，你传入的联合类型Input自然无法匹配。

方案1：类型断言（快速修复） #

你的业务逻辑已经保证了input.type和转换器是一一对应的，不会出现类型不匹配的情况，直接添加never类型断言即可解决报错，改动最小：

function transform(inputs: Input[]): Output[] {
  return inputs.map(input => {
    const transformer = transformerMap[input.type]
    return transformer.transform(input as never)
  })
}

方案2：完善类型定义（类型安全写法） #

如果希望避免类型断言，可以提前定义通用类型约束，让 TypeScript 能正确推导类型关联，后续新增转换器类型也更易扩展：

// 新增通用转换器接口定义
interface Transformer<In, Out> {
  transform: (input: In) => Out
}

// 新增类型映射表：关联DataType枚举值和对应的输入输出类型
type TypeMap = {
  [DataType.Text]: { input: TextInput, output: TextOutput }
  [DataType.Image]: { input: ImageInput, output: ImageOutput }
}

// 给transformerMap声明对应类型
const transformerMap: {
  [K in DataType]: Transformer<TypeMap[K]['input'], TypeMap[K]['output']>
} = {
  [DataType.Text]: TextTransformer,
  [DataType.Image]: ImageTransformer,
}

// 用函数重载+泛型保证入参出参类型匹配
function transform<T extends DataType>(input: Input & { type: T }): TypeMap[T]['output']
function transform(inputs: Input[]): Output[]
function transform(input: Input | Input[]): Output | Output[] {
  if (Array.isArray(input)) {
    return input.map(item => transform(item))
  }
  return transformerMap[input.type].transform(input)
}

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