记录类型是什么？

Question

记录什么

类型脚本 2.1 引入了记录类型，并在一个示例中对其进行了描述：

// 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

高级类型页面在ReadOnly、部分和Pick旁边的映射类型标题下提到了Records，这似乎是它的定义：

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

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

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

仅此而已。除了上述引文外，没有其他提及typescriptlang.org的< code >记录。

>

有人能简单定义一下Record是什么吗？

是记录

< code>K泛型是禁止对象上非< code>K的额外键，还是允许它们，只是指示它们的属性不被转换为< code>T？

对于给定的示例：

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

它和这个完全一样吗

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

Answer 1

现在记录类型的留档稍长：https://www.typescriptlang.org/docs/handbook/utility-types.html#recordkeys-type

引用如下：

记录

构造一个对象类型，其属性键是键，属性值是类型。该实用工具可用于将一种类型的属性映射到另一种类型。

interface CatInfo {
  age: number;
  breed: string;
}
 
type CatName = "miffy" | "boris" | "mordred";
 
const cats: Record<CatName, CatInfo> = {
  miffy: { age: 10, breed: "Persian" },
  boris: { age: 5, breed: "Maine Coon" },
  mordred: { age: 16, breed: "British Shorthair" },
};
 
cats.boris;
 
const cats: Record<CatName, CatInfo>

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 }
}

您可以获得非常强大的类型安全性：

< li >如果我忘记了一只猫，就会出现错误。 < li >如果我添加了一只不允许添加的猫，我会收到一条错误消息。 < li >如果我稍后更改< code>CatNames，我会收到一个错误。这尤其有用，因为< code>CatNames可能是从另一个文件导入的，并且可能在许多地方使用。

我最近用它创建了一个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]} />

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

请注意，实际的应用具有数十个错误状态，这些状态在多个位置被引用，因此此类型安全性非常有用。

Answer 3

< li >有人能简单定义一下什么是< code >记录吗？

一个记录

正如您所注意到的，K有一个目的……将属性键限制为特定值。如果您想接受所有可能的字符串值键，您可以执行记录之类的操作

它并没有完全“禁止”额外的键:毕竟，一个值通常被允许拥有其类型中没有明确提到的属性...但是它不承认这些属性的存在:

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

它会把它们视为多余的财产，有时会被拒绝：

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

对于给定的示例：

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

它和这个完全一样吗

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

是的！

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