TS中, Array.reduce提示没有与此调用匹配的重载?

楊汝驱

起因

一个feature开发, 结果需求评审、工时预估, 简直是事故级别的. 最后, 迫于无奈, 全组人都得上去救火...
今天, 帮忙改bug的时候, 发现新checkout下来的代码, 还带着新鲜的语法错误...简直大无语.
翻了遍代码, 发现很多地方都存在Array.reduce类型重载相关的问题, 简单记录一下解决过程.
排查过程

大家的vscode都不装语法提示插件么? 代码挂着红线, 就扔代码库了??? 抽时间, 得把hook安排上了

1. // 业务代码不方便外流, 简单写了个demo, 问题原因相同
2. const nums = [1, 2, 3, 4, 5];
4. const sum = nums.reduce((pre, cur) => {
5.   return [...pre, { count: cur }];
6. }, []);
8. sum.push({ count: 6 });
10. console.log(sum);
12. // 这段代码, 编译成.js后, 其实是可以运行的. 但如果装了插件, 可以看到明显的TS语法错误..
13. // 输出值
14. // [
15. //   { count: 0 },
16. //   { count: 1 },
17. //   { count: 2 },
18. //   { count: 3 },
19. //   { count: 4 },
20. //   { count: 5 },
21. //   { count: 6 }
22. // ]

复制代码

(pre, cur)=>{} 会提示没有对应的重载类型. 原因不复杂, 就是类型不符合推导预期, 但为什么不符合预期, 还真没仔细看过. 本着fixbug可以, 但不能一无所获的思想, 查看了对应的TS类型声明

1. // 3种reduce的类型声明
2. reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T): T;
4. reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T, initialValue: T): T;
6. reduce<U>(callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U, initialValue: U): U;

复制代码

很明显, reduce对类型的推导, 基本就是, 「参数类型」和「返回值类型」相同、且reduce前后, 只有一种类型, 那不用加「泛型」
但是, 如果出现1种以上的类型, 且preValue与initValue、returnType类型不同, 就必须显式标注类型.
案例中, pre的类型为never[], cur的类型是number, 而reduce的返回值类型是Array. 根据之前推导的结论, 出现3种类型, 且pre与cur、return值类型不同, 必须显式声明类型.
根据TS的类型声明, 有2种可用的解决方法:

• 给initValue增加类型断言, [] as Array.
  
• 在reduce处, 声明泛型类型nums.reduce
  

核心解决思路: 减少TSC推导类型的种类, 促使其符合已存在的类型定义.
吐槽

只要思想不滑坡, 办法总比困难多

问题很直观, 也不复杂. 但看log, 这语法问题已经存在2个月了, 真的是vscode没装插件么?

来源:https://www.cnblogs.com/lin-xii/p/ts-zhong-arrayreduce-ti-shi-mei-you-yu-ci-diao-yon.html
免责声明：由于采集信息均来自互联网，如果侵犯了您的权益，请联系我们【E-Mail:cb@itdo.tech】 我们会及时删除侵权内容，谢谢合作！