Typescript function 過載類型推斷與解構的 rest 參數

Question

給定以下重載 function：

foo(tool: 'a', poaram: boolean, poarama: number): boolean
foo(tool: 'b', paramo: string, paramoa: string): boolean
foo(tool: 'a' | 'b', ...args: any[]): boolean {
    if (tool === 'a') {
        const [ poaram, poarama ] = args

    }

    return false
}

有沒有辦法讓poaram和poarama不被輸入為any但分別為boolean和number ？

我知道rest 參數和擴展表達式中的元組，但我看不到與上述用例的聯系。

Answer 1

如果允許您每晚使用 TypeScript (4.6)，您可以考慮以下解決方案：

function foo(...args: ['a', boolean, number] | ['b', string, string]): boolean {
    const [fst, scd, thrd] = args;
    if (fst === 'a') {
        const x = scd; // boolean
        const y = thrd // number

    }

    return false
}

Playground甚至沒有 rest 參數：

function foo([first, second, third]: ['a', boolean, number] | ['b', string, string]): boolean {
    if (first === 'a') {
        const x = second; // boolean
        const y = third // number

    }

    return false
}

此處添加了上述功能TypeScript/pull/46266

如果不允許，則應避免元組解構：

function foo(...args: ['a', boolean, number] | ['b', string, string]): boolean {
    if (args[0] === 'a') {
        const x = args[1]; // boolean
        const y = args[2] // number

    }

    return false
}

Answer 2

您可以為函數的實現類型選擇其中之一：

foo(tool: 'a'|'b', ...args: [boolean, number]|[string, string]): boolean { // or
foo(tool: 'a'|'b', arg1: boolean|string, arg2: number|string): boolean {