TypeScript自定义myFilter在官方Playground报错StackBlitz正常如何修复

这不是TypeScript的bug，由两点规则共同导致：

• 空数组字面量的默认类型推断：你传入reduce的初始值是[]，默认情况下TypeScript会将空数组推断为never[]类型，表示该数组不允许存放任何类型的值。
• Array.reduce的泛型重载规则：reduce会优先根据初始值的类型推断最终返回值类型，never[]和你回调中返回的T[]类型不匹配，因此触发了重载匹配失败的报错。

StackBlitz平台无报错是因为其默认的TypeScript配置关闭了严格类型检查相关开关，放宽了类型推断限制，属于配置差异导致的现象，不是代码本身没有类型问题。

两种常用的修复方式都可以解决问题：

方案1：给reduce显式指定泛型参数 #

直接告诉TypeScript本次reduce调用的返回值类型为T[]，后续所有类型推断都会自动对齐该规则：

function myFilter<T>(arr: T[], cb: (v: T) => boolean): T[] {
  const a = arr.reduce<T[]>(
    (acc, val) => (cb(val) === true ? [...acc, val] : acc),
    []
  );
  return a;
}

方案2：给初始值添加类型断言 #

直接将初始值的默认推断类型never[]断言为你需要的T[]：

function myFilter<T>(arr: T[], cb: (v: T) => boolean): T[] {
  const a = arr.reduce(
    (acc, val) => (cb(val) === true ? [...acc, val] : acc),
    [] as T[]
  );
  return a;
}

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