是否只能在函数调用中推断一些泛型？

Question

在此示例中，为什么无法推断T？

declare function test<S, T>(param1: T);
test<string>(1);

Playground Link

Answer 1

通用函数参数推断的当前实现是全有或全无-没有提供仅提供某些类型参数并推断缺失参数的规定。

目前有work in progress支持它（另见the proposal），目前正在为下一个发行版（3.3）制定路线图，但是我记得它也计划在3.2中使用，但没有实现。 / p>

在此期间您可以使用的解决方法很麻烦：

declare function test<S>(): <T>(param1: T) => void;

test<string>()(1);