当这些参数传递给类型化函数时，为什么 TypeScript 不推断函数参数类型？

Question

在以下示例中：

function functionA(x: string, y: number, z: SpecialType): void { }
const functionWrapper: (x, y, z) => functionA(x, y, z);

functionWrapper 的参数类型为any 。 有什么方法可以鼓励 tsc 从使用中推断出它们的类型吗？ TypeScript 类型系统的什么限制阻止了这个问题的解决？

Answer 1

原因之一：根据您的提议，如果 Typescript 可以自动缩小签名范围，它将隐式传播到所有调用站点并导致它们失败。

function yourFunction(x) {
  doSomethingThatTakesANumber(x);
}
// elsewhere
yourFunction(1);
// still elsewhere
yourFunction(-1);

一旦将yourFunction更改为doSomethingThatTakesABoolean ，Typescript 就会推断x必须是布尔值，然后两个不相关的调用将开始失败。 这将特别难以调试。

对于编写与它所包装的函数具有相同签名的包装函数的情况，您可以使用typeof functionA来包装该函数，而无需重复自己。 Typescript 可以从函数的类型中推断出参数的类型，但不能从其主体中表达的代码中推断出参数的类型。

const functionWrapper2: typeof functionA = (x, y, z) => functionA(x, y, z);

打字稿游乐场

Answer 2

TypeScript 类型分析以自上而下的方式工作。 这意味着它等于程序数据流，其中数据也是自上而下传递的。 TypeScript 正在分析控制流，但它使用的是从顶部而不是底部给出的信息。

考虑这样的函数示例：

function functionMaker(x: string, y: string) { 
    return () => x + y; 
}

上面的函数返回另一个函数。 在返回的匿名函数的定义中没有明确的类型，但是 TS 能够分析到functionMaker总是返回() => string类型的函数。

不可能以另一种方式这样做，因为 TS 无法预测您将如何处理这些参数。 考虑以下：

function functionA(x: string, y: number, z: SpecialType): void { }
function functionB(x: number): void { }
const functionWrapper: (x, y, z) => { 
  functionA(x, y, z);  // x should be string
  functionB(x); // x should be number
}

现在 TS 有两个函数使用一个参数，但它们对类型的要求不同。 这个谜题的任何解决都是错误的，因为一个或另一个功能将失败。

总之——类型分析是自上而下完成的。 但是我们可以通过创建将包装另一个的通用函数来解决您的问题。

function functionA(x: string, y: number, z: SpecialType): void { }

const wrap = <X, Y, Z, R>(f: (x: X, y: Y, z: Z) => R) => (x: X, y: Y, z: Z): R => f(x,y,z);
const functionWrapper = wrap(functionA);

我们的wrap被明确定义为一个包装器，这意味着它的目的是从给定的函数中推断出类型并创建另一个具有相同参数和相同返回值的函数。