代码胜于语言，所以：
['a', 'b', 'c'].reduce((accumulator, value) => accumulator.concat(value), []);
代码很傻，返回一个复制的Array...
TS 抱怨 concat 的参数：TS2345：“字符串”类型的参数不可分配给“ConcatArray”类型的参数。
【问题讨论】：
标签： typescript functional-programming reduce reducers strictnullchecks
以上方法都不适合我，即使将 tsconfig.json 文件更改为 "strict": false 并且只能通过以下方式避免破坏应用程序：
// eslint-disable-next-line @typescript-eslint/ban-ts-comment
// @ts-ignore
【讨论】：
你应该使用泛型来解决这个问题。
['a', 'b', 'c'].reduce<string[]>((accumulator, value) => accumulator.concat(value), []);
这将设置初始空数组的类型，我认为这是最正确的解决方案。
【讨论】：
避免类型转换的更好解决方案：
将accumulator 值键入为string[]（并避免在[] 上进行类型转换）：
['a', 'b', 'c'].reduce((accumulator: string[], value) => accumulator.concat(value), []);
试试这个解决方案in the typescript playground。
注意事项：
应尽可能避免类型转换，因为您将采用一种类型并将其转换为其他类型。这可能会导致副作用，因为您手动控制将变量强制转换为另一种类型。
此打字稿错误仅在 strictNullChecks 选项设置为 true 时发生。禁用该选项时，Typescript 错误消失，但这可能不是您想要的。
我在这里引用了我使用 Typescript 3.9.2 收到的整个错误消息，以便 Google 为正在搜索答案的人找到此线程（因为 Typescript 错误消息有时会因版本而异）：
No overload matches this call.
Overload 1 of 2, '(...items: ConcatArray<never>[]): never[]', gave the following error.
Argument of type 'string' is not assignable to parameter of type 'ConcatArray<never>'.
Overload 2 of 2, '(...items: ConcatArray<never>[]): never[]', gave the following error.
Argument of type 'string' is not assignable to parameter of type 'ConcatArray<never>'.(2769)
【讨论】：
['a', 'b', 'c'].reduce<string[]>((accumulator, value) => accumulator.concat(value), []);
我相信这是因为[] 的类型被推断为never[]，这是必须为空的数组的类型。您可以使用类型转换来解决这个问题：
['a', 'b', 'c'].reduce((accumulator, value) => accumulator.concat(value), [] as string[]);
通常这不是什么大问题，因为 TypeScript 在根据您对空数组的操作找出更好的类型以分配给空数组方面做得不错。但是，由于您的示例正如您所说的那样“愚蠢”，因此 TypeScript 无法进行任何推断，并将类型保留为 never[]。
【讨论】：
[] 的类型被推断为never[]”。如果是这样，那么为什么const array = []; 将array 推断为any[] 类型？
const array = []; 之类的操作确实会产生any[] 数组。但是，我认为这是一个明确的例外，以避免混淆人们。如果您执行[].filter(a => true); 之类的操作，您会看到它推断出never[] 类型而不是any[] 类型。
[] 在上下文输入时被推断为某种“扩大any[]”类型......显然以一种不在reduce() 中作为累加器传递时不会发生这种情况。 ?♀️