TypeScript中number[]|string[]类型数组push报错原因咨询

核心原因：联合类型数组的方法类型交集 #

你定义的arr1类型是string[] | number[]，这意味着它要么是纯字符串数组，要么是纯数字数组，但TypeScript在编译时无法确定当前arr1到底属于哪个分支。

当你调用push方法时，TypeScript会取两个分支类型中push方法参数类型的交集：

• string[]的push方法接受string类型参数
• number[]的push方法接受number类型参数

这两个类型没有共同交集（不存在同时是string和number的类型），所以TypeScript推断出push的参数类型为never，触发报错。

直接赋值无报错的原因 #

直接给arr1赋值纯字符串或纯数字数组时，TypeScript能明确推断出当前赋值的数组属于联合类型的某一个分支，比如：

arr1 = ["John", "Wick"]; // 此时TypeScript确定arr1是string[]类型
arr1 = [0, 1, 2]; // 此时TypeScript确定arr1是number[]类型

这种情况下类型是明确的，所以不会触发错误。

和(string | number)[]的区别 #

你定义的arr2和arr3本质是同一个类型：元素为string或number的数组，数组本身允许同时包含两种类型的元素。它们的push方法参数类型是string | number，所以添加任意类型都符合要求，不会报错。

解决办法 #

如果你需要保持arr1的“纯数组”约束，同时要执行push操作，可以通过以下方式：

1. 类型断言明确当前分支：

(arr1 as number[]).push(21);
// 或者确定是字符串数组时用
(arr1 as string[]).push("John");

2. 先赋值明确类型再操作：

let arr1: string[] | number[] = [1,2,3]; // 初始化为数字数组
arr1.push(21); // 此时TypeScript知道arr1是number[]，无报错

3. 使用泛型函数约束操作：

function pushToArr<T extends string | number>(arr: T[], item: T) {
  arr.push(item);
}

let arr1: string[] | number[] = [];
pushToArr(arr1 as number[], 21);

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