TypeScript接口交集错误推断：原因解析与解决方案

1. 为什么会推断成交集？ #

当你用一个对象存储不同类型的验证函数时，TypeScript会默认对这个对象的所有函数参数类型做交集合并。这是因为TS的类型系统会假设：你遍历这个对象调用函数时，可能会用任意一个函数去处理联合类型里的任意成员。为了保证类型安全，它会要求这个函数的参数必须同时满足所有验证函数的参数要求——也就是三个接口的交集。

如果你的三个接口没有共同的兼容属性（或者说它们的交集是空的），这个交集类型就会变成never，自然就会出现「methodType无法赋值给never」的错误。而当你删掉任意一个验证函数后，剩下的两个接口的交集可能是有意义的类型，所以TS就不会再推断出never，代码也就正常了。

2. 正确的解决方法 #

根据你的场景，有几种靠谱的解决方式：

方式一：利用唯一标识字段做类型收窄（最推荐） #

如果你的每个接口都有一个唯一的字面量标识字段（比如type），可以借助这个字段让TS自动收窄类型：

// 先给每个接口添加唯一标识
interface IMethodA { type: 'a'; propA: string }
interface IMethodB { type: 'b'; propB: number }
interface IMethodC { type: 'c'; propC: boolean }

type methodType = IMethodA | IMethodB | IMethodC;
type methodTypes = methodType[];

// 给验证对象添加const断言，保留字面量类型
const validation = {
  a: (method: IMethodA) => { /* 验证逻辑 */ return true },
  b: (method: IMethodB) => { /* 验证逻辑 */ return true },
  c: (method: IMethodC) => { /* 验证逻辑 */ return true },
} as const;

function validateMethods(methods: methodTypes) {
  methods.forEach(method => {
    // 通过method.type作为索引，TS会自动推断出对应的验证函数参数类型
    validation[method.type](method);
  });
}

方式二：手动添加类型守卫 #

如果没有唯一标识字段，可以通过检查属性来做类型守卫，明确每个分支的参数类型：

function validateMethods(methods: methodTypes) {
  methods.forEach(method => {
    // 检查IMethodA独有的属性
    if ('propA' in method) {
      validation.validateA(method);
    } 
    // 检查IMethodB独有的属性
    else if ('propB' in method) {
      validation.validateB(method);
    } 
    // 剩下的就是IMethodC
    else {
      validation.validateC(method);
    }
  });
}

方式三：给验证对象添加精确类型注解 #

你可以手动定义验证对象的类型，明确每个属性对应的验证函数参数：

// 定义验证映射类型，对应每个methodType的子类型
type ValidationMap = {
  validateA: (arg: IMethodA) => boolean;
  validateB: (arg: IMethodB) => boolean;
  validateC: (arg: IMethodC) => boolean;
};

// 给validation对象标注类型
const validation: ValidationMap = {
  validateA: (method) => true,
  validateB: (method) => true,
  validateC: (method) => true,
};

// 结合类型守卫调用
function validateMethods(methods: methodTypes) {
  methods.forEach(method => {
    if ('propA' in method) validation.validateA(method);
    else if ('propB' in method) validation.validateB(method);
    else validation.validateC(method);
  });
}

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