javascript - 在 TypeScript 中将任意函数参数推断为对象或元组类型

Question

我正在寻找类似这种类型的东西:

type ArgsType<F extends Function> = ...

哪里

ArgsType<(n: number, s: string)=>void>

会给我

[number, string]

或

{n: number, s: string}

根据其中一个答案，我创建了以下类型:

type ArgsType<F extends (...x: any[]) => any>
    = F extends (...x: infer A) => any ? A : never;

type CtorArgsType<F extends new (...x: any[]) => any>
    = F extends new (...x: infer A) => any ? A : never;


interface RepoGroup {
    resetAsync?: () => Promise<void>
}

interface RepoGroupOptions<Reset extends "CanReset" | "CannotReset"="CannotReset"> {
    reset: Reset extends "CanReset" ? () => Promise<void> : undefined
}

type RepoGroupCtor<Reset extends "CanReset" | "CannotReset"="CannotReset">
    = new (...args: any[]) => RepoGroupOptions<Reset>


export function generate<
    CanReset extends "CanReset" | "CannotReset"="CannotReset",
    T extends RepoGroupCtor<CanReset>=RepoGroupCtor<CanReset>
    >(args: T) {
    return class implements RepoGroup {
        private args: InstanceType<T>
        constructor(...config: CtorArgsType<T>) {
            this.args = new args(config) as any
        }

        resetAsync = this.args.reset
    }
}


export const Repo = generate(class {
    readonly baseUrl: string
    constructor(args: { apiBaseUrl: string }) {
        this.baseUrl = args.apiBaseUrl
    }

    reset: undefined
})

let repository = new Repo()

最后一行显示了一个错误，这是应该的。但是，如果我只向存储库添加一个通用参数，则:

export const Repo = generate<"CannotReset">(class {...

然后错误就消失了，这看起来像是一个错误

Answer 1

type Parameters<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never;

这是 proposed to be added to the standard library .

第二轮

当您将至少一个类型参数传递给 generate 时，您关闭剩余类型参数的推理并使用默认值( T = RepoGroupCtor<CanReset> )和 RepoGroupCtor<CanReset>接受剩余参数 any[] ，因此没有错误。 Partial type argument inference将为您提供避免这种情况的方法。