如何返回与输入同泛型类型的元组？TypeScript类型问题

当你用泛型约束联合元组类型，解构后重组返回时，TypeScript会因为丢失泛型子类型的关联关系，无法识别重组后的元组与原泛型类型一致，进而抛出类型不匹配错误。

问题重现 #

第一个示例：

type B = [string, string] | [string, string, string];

function foo<T extends B>([hd, ...tl]: T): T {
    return [hd, ...tl]; // 触发类型错误
}

错误信息：

Type '[string, string] | [string, string, string]' is not assignable to type 'T'.
'[string, string] | [string, string, string]' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'B'.

第二个示例：

type B = [1, 2] | [3, 4];

function foo<T extends B>([x, y]: T): T {
    return [x, y]; // TypeScript误判返回类型为[1 | 3, 2 | 4]，与T不匹配
}

问题核心在于：TypeScript解构联合泛型元组时，会将解构后的部分推断为所有子类型的联合（比如tl被推断为[string] | [string, string]），丢失了与原泛型T具体子类型的绑定关系，导致重组后的元组被识别为联合类型整体，而非T对应的具体子类型。

解决方案 #

方案1：类型断言（简单直接）

如果你能确保重组后的元组必然符合原泛型T的类型，可以直接用类型断言明确告诉TypeScript返回值的类型：

type B = [string, string] | [string, string, string];

function foo<T extends B>([hd, ...tl]: T): T {
    // 这里可添加hd的修改逻辑，比如 hd = hd.trim()
    return [hd, ...tl] as T;
}

针对第二个示例的写法：

type B = [1, 2] | [3, 4];

function foo<T extends B>([x, y]: T): T {
    return [x, y] as T;
}

方案2：条件类型+infer精准推导

通过infer在条件类型中提取泛型T的头部和尾部，让TypeScript针对每个子类型单独推导，保持类型关联，避免联合类型的误判：

type B = [string, string] | [string, string, string];

function foo<T extends B>(tuple: T): T {
    return tuple extends [infer H, ...infer R] 
        ? [H, ...R] as T 
        : tuple;
}

如果需要修改头部元素，只需保证新头部的类型与T的头部类型一致即可：

type B = [string, string] | [string, string, string];

function foo<T extends B>(tuple: T): T {
    return tuple extends [infer H, ...infer R] 
        ? [hd.toUpperCase() as H, ...R] as T 
        : tuple;
}

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