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