TypeScript：如何向泛型方法正确传递空数组？

问题重现 #

我编写了如下TypeScript代码：

const myGenericMethod = <T extends MyType1 | MyType2>(myList: T[]): T[] => {
  return myList; // 简化实现，实际方法会返回打乱后的数组
};

type MyType1 = { name: 'Type1' };
type MyType2 = { name: 'Type2' };

const myList: MyType1[] | MyType2[] = [];
myGenericMethod(myList); // 报错！

触发的类型错误：

TS2345: Argument of type 'MyType1[] | MyType2[]' is not assignable to parameter of type 'MyType1[]'.
   Type 'MyType2[]' is not assignable to type 'MyType1[]'.
     Type 'MyType2' is not assignable to type 'MyType1'.
       Types of property 'name' are incompatible.
         Type '"Type2"' is not assignable to type '"Type1"'.

但当给myList添加元素后，代码就能正常运行：

const myList: MyType1[] | MyType2[] = [{ name: 'Type1' }];

我的TypeScript版本为4.9.4，请问该如何正确支持空数组的传递？

原因分析 #

空数组[]本身没有明确的元素类型，当你将它赋值给MyType1[] | MyType2[]类型的变量时，TypeScript无法推断出它具体属于联合类型中的哪一个分支。泛型方法期望接收单个类型的数组T[]，但此时myList是两种数组类型的联合，导致类型不匹配报错。而当数组包含元素时，TS能通过元素的具体类型确定T的值，因此可以正常匹配。

解决方法 #

方法1：显式指定泛型参数 #

直接告诉TypeScript泛型方法的类型参数为MyType1 | MyType2，让空数组匹配(MyType1 | MyType2)[]类型，从而通过类型检查：

myGenericMethod<MyType1 | MyType2>(myList);

方法2：修改泛型方法的类型定义 #

调整方法的泛型约束，使其支持接收联合类型的数组，并返回与输入一致的类型：

const myGenericMethod = <T extends MyType1 | MyType2>(
  myList: T[] | (MyType1[] | MyType2[])
): typeof myList => {
  return myList;
};

如果不需要额外的泛型扩展，也可以直接简化方法定义，直接接收联合数组类型：

const myGenericMethod = (myList: MyType1[] | MyType2[]): typeof myList => {
  return myList;
};

若要保留泛型的灵活性，还可以用分布式条件类型处理联合数组：

type ArrayElement<T> = T extends (infer U)[] ? U : never;

const myGenericMethod = <T extends MyType1[] | MyType2[]>(
  myList: T
): T => {
  return myList;
};

方法3：对空数组进行类型断言 #

如果明确知道空数组后续会被填充某一种类型的元素，可以直接断言空数组的类型：

const myList: MyType1[] | MyType2[] = [] as MyType1[];
myGenericMethod(myList);

这种方式适合场景明确的情况，避免泛型推断的歧义。

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