Typescript - 动态泛型类型

Question

我不知道到底该怎么称呼这个问题，但这是我的情况。

我希望defaultValue根据id值自动获取类型。

type User = {
  name: string;
  age: number;
};

type PropConfig<T, K extends keyof T> = {
  id: K;
  label: string;
  defaultValue: T[K];
};

const config: PropConfig<User, 'age'> = {
  id: 'age',
  label: 'Age',
  defaultValue: 18,
};

这就是我要的：

type PropConfig<T, K = keyof T> = {
  id: K;
  label: string;
  defaultValue: T[K]; // Error here
};

const config: PropConfig<User> = {
  id: 'age',
  label: 'Age',
  defaultValue: 18,
};

有人能帮我吗？

Answer 1

TypeScript 没有ms/TS#26242中建议的部分类型参数推断，因此在让编译器推断K时无法指定T ，至少在没有涉及柯里化辅助函数或虚拟参数的解决方法的情况下（参见Typescript：推断类型可选的第一个泛型之后的泛型以获取更多信息）。

幸运的是，我不认为您希望PropConfig在K中是通用的。 相反，您希望PropConfig<T>成为keyof T中每个K的可能类型的联合。 也就是说，您希望在keyof T的联合中分配类型。 有很多方法可以做到这一点，但我通常做的一种是创建所谓的分布式对象类型，正如在ms/TS#47109中创造的那样。 它看起来像这样：

type PropConfig<T> = { [K in keyof T]-?: {
  id: K;
  label: string;
  defaultValue: T[K];
} }[keyof T]

我立即索引到映射类型，为PropConfig<User>生成以下内容：

type PropConfigUser = PropConfig<User>;
/* type PropConfigUser = {
    id: "name";
    label: string;
    defaultValue: string;
} | {
    id: "age";
    label: string;
    defaultValue: number;
} */

这是您想要的类型：

const config: PropConfig<User> = {
  id: 'age',
  label: 'Age',
  defaultValue: 18,
};

Playground 代码链接