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

Question

Record<K, T>打字稿中的含义是什么意思？

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

而先进的各类网页提到Record下的映射类型标题旁边Readonly,Partial和Pick,这似乎是它的定义:

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

Readonly,Partial和Pick是同态的,而Record不是.Record不是同态的一个线索是它不需要输入类型来复制属性:

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

就是这样.除了上述报价,没有其他提Record上typescriptlang.org.

问题

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吗？

A Record<K, T>是一个对象类型,其属性键是K,其属性值是T.也就是说,keyof Record<K, T>相当于K,和Record<K, T>[K]是(基本上)相当于T.

2. 是Record<K,T>仅仅说"此对象上的所有属性都会有型的方式T"？可能不是所有的对象,因为K有一些目的......

如您所知,K有一个目的......将属性键限制为特定值.如果要接受所有可能的字符串值的键,你可以不喜欢Record<string, T>,但这样做的惯用方法是使用一个索引的签名一样{ [k: string]: T }.

3. K泛型是否禁止对象上没有的附加键K,或者是否允许它们只是表明它们的属性没有转换为T？

它并不完全"禁止"其他密钥:毕竟,一般来说,一个值通常允许在其类型中没有明确提到的属性......但是它不会识别出存在这样的属性:

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

4. 以给定的例子:

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

   它跟这个完全一样吗？:

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

是!

希望有所帮助.祝好运!

Answer 2

记录使您可以从联合创建新类型。联合中的值用作新类型的属性。

例如，说我有一个这样的联合会：

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

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

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

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

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

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

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

实际的React示例。

我最近用它来创建一个Status组件。该组件将收到状态道具，然后呈现一个图标。为了说明起见，我在这里简化了很多代码

我有一个这样的工会：

type Statuses = "failed" | "complete";

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

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

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

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

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

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

Answer 3

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

引用一下：

记录<键，类型> 发布：2.1

构造一个对象类型，其属性键为 Keys，属性值为 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>