typescript - TypeScript 通用剩余参数到联合返回类型

Question

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

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

但是如果我想让我的函数返回一个参数类型的联合呢？就像是：

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

有没有办法做到这一点？

标签： typescript

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