如何修复TypeScript类型不匹配：数组泛型守卫导致never类型问题

问题场景 #

我写了一个用于数组类型检查的泛型函数，定义如下：

array: <T extends Extract<V, any[]>, V>(val: T | V): val is T

这个函数在项目里多数地方用着没问题，但遇到一种场景会出错：当输入参数的类型本身不包含数组类型时，类型守卫会把参数推断成never类型。

比如这段调用代码：

const func = (notices: Record<any, any>) => {
  if (!is.array(notices)) {
    return
  }

  notices.forEach((notice) => {
    console.log(notice)
  })
}

这里notices经过类型守卫后被推断为never，根本没法调用forEach方法。我想在不破坏现有逻辑的前提下优化泛型，尽量不用(notices as any[]).forEach这类类型断言。

问题原因 #

原泛型里，当V（也就是输入参数的类型）和any[]没有交集时，Extract<V, any[]>会返回never，导致T被约束成never，类型守卫val is T就变成了val is never——这显然不是我们想要的：此时我们希望类型守卫能正确识别“值不是数组”，而不是把数组分支判定为不可能的never。

优化方案 #

调整泛型定义，两种思路都能解决问题：

方案一：给泛型参数设置默认兜底类型 #

array: <V, T extends any[] = Extract<V, any[]>>(val: V): val is T

当Extract<V, any[]>返回never时，T会使用默认的any[]作为兜底类型，这样类型守卫后参数会被推断为any[]，可以正常调用数组方法，同时不影响正常场景的类型推断。

方案二：用条件类型处理never情况 #

array: <V>(val: V): val is Extract<V, any[]> extends never ? any[] : Extract<V, any[]>

直接通过条件类型判断，如果Extract的结果是never，就把类型守卫的目标类型设为any[]，同样能避免never导致的报错。

这两种方案都不会破坏原有正常场景的逻辑，完美解决输入类型不含数组时的异常问题。

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