TypeScript 根据类型参数返回不同的类型

Question

我有一个函数myFunc<T1, T2 = undefined>如果T2 extends undefined else [T1, T2]则返回[T1] [T1, T2] 。 是否可以在没有// @ts-ignore情况下创建这样的函数？

function myFunc<T1, T2 = undefined>(t1: T1, t2?: T2): T2 extends undefined ? [T1] : [T1, T2] {
    if (t2 === undefined) {
        return [t1];
    }

    return [t1, t2];
}

这个语法在每个return语句上给我一个 TypeScript 错误，说值不能分配给T2 extends undefined ? [T1] : [T1, T2] T2 extends undefined ? [T1] : [T1, T2] 。

Answer 1

条件类型通常会在实现中引起问题。 除了完全相同的条件类型之外，您不能为仍然具有未解析类型参数的条件类型分配任何内容。 所以打字稿不会让你将[T1]或[T1, T2]分配给返回值。

您可以使用类型断言，也可以使用单独的实现签名，即返回联合的签名。 我个人更喜欢第二种选择：

function myFunc<T1, T2 = undefined>(t1: T1, t2?: T2): T2 extends undefined ? [T1] : [T1, T2]
function myFunc<T1, T2 = undefined>(t1: T1, t2?: T2): [T1] | [T1, T2] {
    if (t2 === undefined) {
        return [t1];
    }

    return [t1, t2];
}