Typescript 推断通用参数未知

这是目前字体的设计限制，请参见microsoft/TypeScript#47599.

当您调用createFun(f => f(1));时，回调参数f => f(1)是context-sensitive；f的类型必须从函数的arg参数的类型推断为contextually.但是createFun是一个generic函数，它有一个类型参数T，其类型必须从回调参数的类型推断出来.因此，回调参数的类型取决于函数参数的类型，而函数参数的类型取决于回调参数的类型.这种依赖关系的循环经常导致推理失败，其中编译器将对一部分的推断推迟到它推断另一部分之后，在这一点上信息丢失并且事情回落到unknown或any.

对于一个参数的pieces个依赖于参数的其他部分的情况，在TypeScrip中已经有了渐进式的改进，比如依赖于其他对象属性的对象属性，就像在microsoft/TypeScript#48538中实现的那样，但到目前为止，当单个上下文敏感函数的输入类型直接依赖于它自己时，还没有什么改进.我不知道这是否会得到支持；人们可能会在Microsoft/TypeScrip#47599中添加 comments ，或者提交新的问题.但我怀疑，它在任何人的优先级列表中都不是很高，特别是因为解决方法非常简单:只需手动指定类型参数:

const fun1 = createFun<number>((f) => f(1)); // easiest

或者以任何方式解开这个结:

type IdFunc<T> = (id: T) => T;    
function createFun<T>(arg: (f: IdFunc<T>) => T) {}


const fun2 = createFun((f: IdFunc<string>) => f("")); // harder 
const fun3 = createFun<boolean>((f: IdFunc<boolean>): boolean => f(true)); // extreme

请注意，从技术上讲，TypeScrip的推理算法可以完全重写为使用所谓的full 100 algorithm，如microsoft/TypeScript#30134中所讨论的.有些函数式编程语言是完全统一的，可以证明它们"正确"地推断类型.

不过，TypeScrip不太可能做到这一点.首先，更换推理算法将是一项巨大的努力.即使他们做出了这样的努力，也可能会让开发人员的体验变得更糟:参见this comment on microsoft/TypeScript#17520:

[TypeScrip的推理算法]不同于一些函数式编程语言实现的基于统一的类型推理，但它具有明显的优势，即能够在不完整的代码中进行部分推理，这对IDE中的语句完成非常有利.

Playground link to code个