打字稿中的记录类型是什么？

Question

Record<K, T> 在 Typescript 中是什么意思？

Typescript 2.1 引入了Record 类型，并举例说明：

// For every properties K of type T, transform it to U
function mapObject<K extends string, T, U>(obj: Record<K, T>, f: (x: T) => U): Record<K, U>

见Typescript 2.1

Advanced Types 页面在 Readonly、Partial 和 Pick 旁边的映射类型标题下提到了 Record，似乎是它的定义：

type Record<K extends string, T> = {
    [P in K]: T;
}

Readonly、Partial 和 Pick 是同态的，而 Record 不是。 Record 不是同态的一个线索是它不需要输入类型来复制属性：

type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

就是这样。除了以上引用，typescriptlang.org 上没有其他提及Record。

问题

1. 有人可以简单定义Record 是什么吗？

2. Record<K,T> 仅仅是一种说法“这个对象上的所有属性都将具有T 类型”吗？可能不是所有属性，因为K 有一些目的......

3. K 泛型是否禁止对象上不是K 的附加键，还是允许它们并仅指示它们的属性未转换为T？

4. 用给定的例子：

   type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>
   

   和这个一模一样吗？：

   type ThreeStringProps = {prop1: string, prop2: string, prop3: string}
   

Answer 1

1. 有人可以简单定义Record 是什么吗？

Record<K, T> 是一种对象类型，其属性键为 K，其属性值为 T。也就是说，keyof Record<K, T> 等价于K，Record<K, T>[K] （基本上）等价于T。

1. Record<K,T> 是否只是一种说法“此对象上的所有属性都将具有T 类型”？可能不是所有的对象，因为K 有一些目的......

正如您所注意到的，K 有一个目的......将属性键限制为特定值。如果您想接受所有可能的字符串值键，您可以执行类似Record<string, T> 的操作，但惯用的方法是使用index signature 之类的{ [k: string]: T }。

1. K 泛型是否禁止在对象上添加不是K 的键，还是允许它们并仅指示它们的属性未转换为T？

它并没有完全“禁止”额外的键：毕竟，通常允许一个值具有其类型中未明确提及的属性...但它不会识别此类属性存在：

declare const x: Record<"a", string>;
x.b; // error, Property 'b' does not exist on type 'Record<"a", string>'

它会将它们视为excess properties，有时会被拒绝：

declare function acceptR(x: Record<"a", string>): void;
acceptR({a: "hey", b: "you"}); // error, Object literal may only specify known properties

有时被接受：

const y = {a: "hey", b: "you"};
acceptR(y); // okay

4. 用给定的例子：

   type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>
   

   和这个一模一样吗？：

   type ThreeStringProps = {prop1: string, prop2: string, prop3: string}
   

是的！

希望对您有所帮助。祝你好运！

Answer 2

记录允许您从联合创建新类型。 Union 中的值用作新类型的属性。

例如，假设我有一个这样的联合：

type CatNames = "miffy" | "boris" | "mordred";

现在我想创建一个包含所有猫信息的对象，我可以使用 CatNames 联合中的值作为键创建一个新类型。

type CatList = Record<CatNames, {age: number}>

如果我想满足这个CatList，我必须创建一个像这样的对象：

const cats: CatList = {
  miffy: { age:99 },
  boris: { age:16 },
  mordred: { age:600 }
}

你会得到非常强的类型安全性：

• 如果我忘记了一只猫，我会收到错误消息。
• 如果我添加不允许的猫，我会收到错误消息。
• 如果我稍后更改CatNames，我会收到错误消息。这特别有用，因为CatNames 可能是从另一个文件导入的，并且可能在许多地方使用。

真实世界的 React 示例。

我最近用它来创建一个Status 组件。该组件将接收一个status 属性，然后呈现一个图标。出于说明目的，我在这里对代码进行了相当多的简化

我有一个这样的工会：

type Statuses = "failed" | "complete";

我用它来创建一个像这样的对象：

const icons: Record<
  Statuses,
  { iconType: IconTypes; iconColor: IconColors }
> = {
  failed: {
    iconType: "warning",
    iconColor: "red"
  },
  complete: {
    iconType: "check",
    iconColor: "green"
  };

然后我可以通过将对象中的元素解构为道具来进行渲染，如下所示：

const Status = ({status}) => <Icon {...icons[status]} />

如果以后扩展或更改 Statuses 联合，我知道我的 Status 组件将无法编译，我会收到一个可以立即修复的错误。这允许我向应用程序添加额外的错误状态。

请注意，实际的应用程序有几十个错误状态，这些错误状态在多个地方被引用，因此这种类型安全非常有用。