元组联合类型的控制流分析

Question

有没有办法告诉 typescript 元组的联合类型满足以下示例中任何代码路径的类型约束，而无需在函数体中手动指定每种情况？

type options = 
    [string, (a:string) => number]
    | [number, (b:number) => string ]

function f( [input,fn]: options) {
    // Error: Cannot invoke an expression which lacks a call signature
    return fn(input)
}

如果input 是string，那么fn 将接受string，如果input 是number，fn 将接受number。然而，Typescript 认为 fn 无法接受输入，因为它认为它是 string | number。

可能的函数是(string) => number | (number) => string，其中输入是string | number。如果函数接受(string|number) => number | (string|number) => string 打字稿就可以了。但我想告诉 Typescript，fn 不可能不接受arg（这是真的）。​​

我理解为什么 Typescript 会确定各个类型不兼容。但我正在寻找一种方法来告诉 typescript 每个可能的元组都是自包含的，并且可以使用自己的函数调用自己的 arg。

Answer 1

这是一种使其工作的类型安全方法。 as 关键字不是强制转换，如果类型不兼容，它会抱怨。

type options = 
    [string, (a:string) => number]
    | [number, (b:number) => string ]

function f( [input,fn]: options) {
   return (fn as (a: string | number) => string | number)(input);
}

TypeScript 不够聪明，无法自己解决这个问题，因此需要通过稍微扩大类型来获得一些帮助。