晕了，能看看这个 TypeScript 表达式有什么问题？

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 1984 天前的主题，其中的信息可能已经有所发展或是发生改变。

let names: (string | string[])[] = ['a', ['b']]

let aaa = names.reduce(result => {
    return result
}, [] as string[])

为什么最后 aaa 的类型是 string | string[] 呢？百思不得其解

let names: (string | string[])[] = ['a', ['b']]

let aaa = names.reduce(result => {
    return result
}, [] as number[])

用 number 后出来的是期望的 number[]，这为什么二者会不一样呢？

4 条回复 • 2019-07-27 13:34:32 +08:00

love

2019-06-26 19:07:47 +08:00

reduce 的定义：
reduce<U>(callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U, initialValue: U): U;

看上去没发现问题，心好累。。。

love

2019-06-26 20:22:01 +08:00

这样写可以绕过这个问题

let aaa = names.reduce<string[]>(result => { return result }, [])

agagega

2019-07-10 21:39:39 +08:00

如果把 string | string[] 换成 string | number[] 测试会怎么样？

Jex

2019-07-27 13:34:32 +08:00

因为最为 Generic 的重载 reduce<U>的定义排在最后，你的 initialValue 因为和元素类型兼容，所以被前面的重载抢先匹配了：
reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T, initialValue: T): T;