TypeScript推断类型构造函数中的回调返回类型

时间:2019-04-12 16:10:33

标签: typescript generics type-inference

我想为一个函数构造一个类型构造函数,该函数接收一个类型S和一个从S到另一个类型的函数,然后将该函数应用于S并返回结果:

// This works but it's tied to the implementation
function dig<S, R>(s: S, fn: (s: S) => R): R {
  return fn(s);
}

// This works as separate type constructor but I have to specify `R`
type Dig<S, R> = (s: S, fn: (s: S) => R) => R;

// Generic type 'Dig' requires 2 type argument(s).
const d: Dig<string> = (s, fn) => fn(s); 

那么我如何编写一个Dig<S>类型的构造函数来推断所传递的fn参数的返回类型,而无需我指定R

1 个答案:

答案 0 :(得分:3)

从TS3.4开始,不支持partial type argument inference,因此您不能轻易让编译器让您指定S却可以推断R。但是从您的示例来看,您似乎不希望推断 R作为某些具体类型,但允许它保持通用,以便可以返回fn的返回类型成为您呼叫 d()时想要的东西。

所以看起来您真的想要这种类型:

type Dig<S> = <R>(s: S, fn: (s: S) => R) => R;

这是一种“双重通用”类型,从某种意义上说,一旦指定了S,您仍然可以获得依赖于R的通用函数。这应该适用于您给出的示例:

const d: Dig<string> = (s, fn) => fn(s);

const num = d("hey", (x) => x.length); // num is inferred as number
const bool = d("you", (x) => x.indexOf("z") >= 0); // bool inferred as boolean

好的,希望能有所帮助。祝你好运!