将Array.prototype.concat.apply([], [x])重构为[].concat(x)遇TS报错，求原因与方案

你遇到的问题核心在于TypeScript对空数组[]的默认类型推断，以及concat方法的重载匹配规则。

为什么重构后会报错？ #

原代码Array.prototype.concat.apply([], [x])本质上等价于[].concat(x)，但TypeScript对这两种写法的类型处理逻辑不同：

• 当你直接写[].concat(x)时，空数组[]会被TypeScript默认推断为never[]（表示一个永远不会有任何元素的数组）。
• concat方法的重载要求参数要么是与数组元素类型兼容的值，要么是符合ConcatArray<T>接口的对象（即拥有length、join、slice等数组方法的对象）。
• 你的x类型是Moment | [Moment, Moment]：当x是Moment实例时，它既不是never类型，也不符合ConcatArray<never>的要求（因为Moment没有数组的核心方法），所以TypeScript抛出类型不匹配的错误。

而原代码中，apply的调用方式绕过了这种严格的类型推断，TypeScript无法准确校验参数类型，所以没有报错，但这其实是一个类型安全隐患。

有效重构的几种方案 #

方案1：显式指定数组类型

给空数组标注明确的类型，让concat方法知道我们要处理的是Moment类型的数组：

const result = ([] as Moment[]).concat(x);

这样concat的泛型参数被指定为Moment，x的两种类型（Moment或Moment[]）都能匹配到正确的重载，不会再报错。

方案2：使用flat()方法（更直观）

利用数组的flat()方法实现一层扁平化，效果和原代码完全一致，且TypeScript的类型推断会自动识别结果类型：

const result = [x].flat();

[x].flat()的逻辑是：如果x是数组，就展开一层；如果x是非数组，就直接包裹成数组，完美替代原代码的功能。

方案3：显式条件判断（可读性最高）

如果想让代码逻辑更清晰，可以直接判断x是否为数组，手动处理两种情况：

const result = Array.isArray(x) ? [...x] : [x];

这种写法没有任何类型推断的歧义，TypeScript能准确推断出result的类型是Moment[]，同时代码逻辑一目了然。

内容的提问来源于stack exchange，提问作者Mr. Robot