typescriptのRecordタイプとは何ですか？

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]ページではRecord、マップされたタイプの見出しの下に、その定義のように見えるもので、、、およびの横Readonlyに言及しています。PartialPick

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

Readonly、Partial、Pickは準同型ですが、Recordは同型ではありません。Recordが準同型ではないことの1つの手掛かりは、プロパティをコピーするために入力タイプをとらないことです。

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}

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}

はい！

お役に立てば幸いです。幸運を！

Recordを使用すると、Unionから新しいタイプを作成できます。Unionの値は、新しいタイプの属性として使用されます。

たとえば、次のようなUnionがあるとします。

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

次に、次のように、要素をオブジェクトからプロップに分解することでレンダリングできます。

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

Statusesユニオンが後で拡張または変更された場合、Statusコンポーネントがコンパイルに失敗し、すぐに修正できるエラーが表示されます。これにより、アプリにエラー状態を追加できます。

実際のアプリには複数の場所で参照される数十のエラー状態があったため、この型の安全性は非常に役立ちました。