TypeScript中泛型extends传参给特定类型函数为何报错？

先看你写的代码：

type Foo = {
    t: string;
}

type Bar = string | {
    date: Date;
    list: string;
}

function test<T extends Bar | Foo>(items: T[]) {
    console.log(items);
    test2(items); // 这里报错：T[] 不是 Bar[] | Foo[] 的有效类型
}

function test2(items: Bar[] | Foo[]) {
    console.log(items);
}

报错原因 #

核心问题是泛型约束的联合类型，和函数参数的「联合数组类型」不是一回事：

• test的泛型T extends Bar | Foo，表示T可以是Bar、Foo，甚至是两者的交叉类型（比如同时有t: string和date: Date的对象），或者是Bar/Foo的子类型。这意味着T[]可能是混合元素的数组——比如数组里既有string（属于Bar）又有Foo类型的对象。
• 但test2的参数Bar[] | Foo[]要求的是「全为Bar元素的数组」或者「全为Foo元素的数组」，不允许混合类型的数组。

当TypeScript检查test2(items)时，它无法保证T[]是纯Bar数组或纯Foo数组，所以直接报错。

解决办法 #

根据你的业务需求，可以选以下几种方案：

方案1：让test2接受混合类型数组

如果test2不需要区分纯Bar或纯Foo数组，直接把参数改成(Bar | Foo)[]：

function test2(items: (Bar | Foo)[]) {
    console.log(items);
}

方案2：给test添加重载，限制输入类型

如果要求test的输入只能是纯Bar或纯Foo数组，给test加函数重载：

// 先定义重载签名
function test(items: Foo[]): void;
function test(items: Bar[]): void;
// 再写实现
function test(items: (Foo | Bar)[]) {
    console.log(items);
    test2(items);
}

方案3：类型断言（谨慎使用）

如果你能确保传入的items一定是纯Bar或纯Foo数组，可以用类型断言跳过检查：

test2(items as Bar[] | Foo[]);

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