具有索引类型的 TypeScript 通用柯里化函数

Question

我创建了一个 TypeScript curried 函数，它首先接收属性名称作为字符串，然后接收对象以从中获取该属性的值。 我使用了索引类型来确保每当我尝试访问不存在的属性时都会收到错误：

export interface Dict {
  name: string;
  age: number;
}

const prop = <T extends Dict, K extends keyof T>(p: K) => (obj: T): T[K] => obj[p];

prop('name')({name: 'John', age: 45});  // John
prop('name2')({name: 'John', age: 45});  // error...

最后一行给出了错误：

error TS2345: Argument of type '"name2"' is not assignable to parameter of type '"name" | "age"'.

这正是我想要的，因为属性 name2 在作为第二个参数给出的对象上不存在。

但是，当我尝试使用 Maybe monad 创建安全版本时，它会给出类似的错误：

const safeProp = <T extends Dict, K extends keyof T>(p: K) => (obj: T): Maybe<{}> => compose2(Maybe.of, prop(p))(obj);

错误出现在compose2函数的第二个参数上：prop(p)：

Argument of type 'K' is not assignable to parameter of type '"name" | "age"'.

我不明白，因为我声明了 K extends keyof T，我认为这是正确的，因为它也适用于 prop 函数。

供参考，compose2 函数：

const compose2 = <A, B, C>(f: (b: B) => C, g: (a: A) => B): ((a: A) => C) => a => f(g(a));

以及Maybe monad 的相关部分：

class Maybe<A> {
  static of<A>(x: A): Maybe<A> {
    return new Maybe(x);
  }

  ...
}

如何正确键入safeProp 函数，为什么我需要将其返回类型指定为Maybe<{}> 而不是Maybe<T[K]>？

Answer 1

an issue here 详细说明了 Typescript 在将泛型函数传递给泛型高阶函数时如何无法正确推断类型（在您的情况下，就是将 Maybe.of<A> 传递给 compose2<A,B,C>）。

您可以通过在使用时手动填写compose2 的类型来缓解这种情况。

const safeProp = <T extends Dict, K extends keyof T>(p: K) => (obj: T) => compose2<T, T[K], Maybe<T[K]>>(Maybe.of, prop(p))(obj);

safeProp 现在具有正确的类型 const safeProp: <T extends Dict, K extends keyof T>(p: K) => (obj: T) => Maybe<T[K]>。

Answer 2

const safeProp = <T extends Dict, K extends keyof Dict>(p: K) => (obj: T): Maybe<{}> => compose2(Maybe.of, prop(p))(obj);

上面的代码没有给您错误，我将尝试解释原因（以及您的代码为什么会这样）。

K extends keyof Dict 正好是 name 或 age（这只是函数 prop 允许的参数）。和 K extends keyof T 真的可以是number | string | Symbol 类型的任何键。因为如果T extends Dict，并不意味着它不能有任何其他键，如“姓氏”等。换句话说：

type IsDict = {name: string, age: number, lastname: string} extends Dict ? true : false // IsDict is true

看到了吗？您的代码将允许 lastname 键，Typescript 会保护您不这样做。

也就是说，typescript 目前 does not have 是将类型参数限制为 exact 类型的方法（有 workarounds 但不幸的是它们不适合您的情况）。