联合返回类型的 TypeScript 泛型剩余参数

Question

目前，TypeScript 允许声明动态泛型参数。

function bind<U extends any[]>(...args: U);

但是如果我希望我的函数返回参数类型的联合怎么办？像这样的东西:

function bind<U extends any[]>(...args: U): U1 | U2 | U3...;

有办法吗？

Answer 1

要获得所有参数的联合，您可以使用 U[number]:

function bind<U extends any[]>(...args: U): U[number] {
    return args[Math.round(Math.random()*(args.length - 1))]; // dummy implementation
}
let r = bind(1,"2", true) // number | string | boolean
console.log(r)

你也可以获取某个位置的类型，但由于我们不知道该位置是否存在，所以我们需要使用条件类型；

type At<T extends any[], I extends number> = T extends Record<I, infer U> ? U : never;
function bind<U extends any[]>(...args: U): At<U, 0> {
    return args[Math.round(Math.random()*(args.length - 1))]; // dummy implementation
}
let r = bind(1,"2", true) // number