Was ist der Datensatztyp im Typoskript?

Was Record<K, T>bedeutet in Typescript?

Typescript 2.1 führte den RecordTyp ein und beschrieb ihn in einem Beispiel:

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

siehe Typoskript 2.1

Und die erweiterte Typen Seite erwähnt Recordunter dem Mapped Typ Überschrift neben Readonly, Partialund Pickin dem, was scheint seine Definition zu sein:

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

Readonly, Partial und Pick sind homomorph, Record hingegen nicht. Ein Hinweis darauf, dass Record nicht homomorph ist, ist, dass kein Eingabetyp zum Kopieren von Eigenschaften erforderlich ist von:

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

Und das ist es. Außer den obigen Zitaten gibt es keine andere Erwähnung Recordauf typescriptlang.org .

Fragen

1. Kann jemand eine einfache Definition dessen geben, was Recordist?

2. Ist es Record<K,T>nur eine Art zu sagen, dass "alle Eigenschaften dieses Objekts einen Typ haben T"? Wahrscheinlich nicht alle Eigenschaften, da Khat einen Zweck ...

3. Verbietet das KGenerikum zusätzliche Schlüssel für das Objekt, die dies nicht sind?K , oder erlaubt es sie und zeigt nur an, dass ihre Eigenschaften nicht transformiert werden T?

4. Mit dem gegebenen Beispiel:

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

Ist es genau das gleiche?:

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

1. Kann jemand eine einfache Definition dessen geben, was Recordist?

A Record<K, T>ist ein Objekttyp, dessen Eigenschaftsschlüssel Kund dessen Eigenschaftswerte sind T. Das heißt, keyof Record<K, T>ist äquivalent zu Kund Record<K, T>[K]ist (im Grunde) äquivalent zu T.

2. Ist es Record<K,T>nur eine Art zu sagen, dass "alle Eigenschaften dieses Objekts einen Typ haben T"? Wahrscheinlich nicht alle Objekte, da Khat einen Zweck ...

Wie Sie bemerken, Khat es einen Zweck ... die Eigenschaftsschlüssel auf bestimmte Werte zu beschränken. Wenn Sie alle möglichen Schlüssel mit Zeichenfolgenwerten akzeptieren möchten, können Sie Folgendes tun. Record<string, T>Die idiomatische Methode hierfür ist die Verwendung einer Indexsignatur wie { [k: string]: T }.

3. Verbietet das KGenerikum zusätzliche Schlüssel für das Objekt, die es nicht sindK , oder erlaubt es sie und zeigt nur an, dass ihre Eigenschaften nicht transformiert werden T?

Es "verbietet" zusätzliche Schlüssel nicht genau: Schließlich darf ein Wert im Allgemeinen Eigenschaften haben, die in seinem Typ nicht explizit erwähnt werden ... aber es würde nicht erkennen, dass solche Eigenschaften existieren:

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

und es würde sie als überschüssige Eigenschaften behandeln, die manchmal abgelehnt werden:

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

und manchmal akzeptiert:

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

4. Mit dem gegebenen Beispiel:

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

   Ist es genau das gleiche?:

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

Ja!

Hoffentlich hilft das. Viel Glück!

Mit einem Datensatz können Sie einen neuen Typ aus einer Union erstellen. Die Werte in der Union werden als Attribute des neuen Typs verwendet.

Angenommen, ich habe eine Union wie diese:

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

Jetzt möchte ich ein Objekt erstellen, das Informationen zu allen Katzen enthält. Ich kann einen neuen Typ erstellen, indem ich die Werte in der CatName Union als Schlüssel verwende.

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

Wenn ich diese CatList erfüllen möchte, muss ich ein Objekt wie das folgende erstellen:

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

Sie erhalten eine sehr starke Typensicherheit:

• Wenn ich eine Katze vergesse, erhalte ich eine Fehlermeldung.
• Wenn ich eine Katze hinzufüge, die nicht erlaubt ist, wird eine Fehlermeldung angezeigt.
• Wenn ich später CatNames ändere, wird eine Fehlermeldung angezeigt. Dies ist besonders nützlich, da CatNames wahrscheinlich aus einer anderen Datei importiert und wahrscheinlich an vielen Stellen verwendet wird.

Beispiel für eine reale Reaktion.

Ich habe dies kürzlich verwendet, um eine Statuskomponente zu erstellen. Die Komponente würde eine Status-Requisite erhalten und dann ein Symbol rendern. Ich habe den Code hier zur Veranschaulichung ziemlich stark vereinfacht

Ich hatte eine Gewerkschaft wie diese:

type Statuses = "failed" | "complete";

Ich habe dies verwendet, um ein Objekt wie das folgende zu erstellen:

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

Ich könnte dann rendern, indem ich ein Element aus dem Objekt in Requisiten zerlege, wie folgt:

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

Wenn die Statusvereinigung später erweitert oder geändert wird, kann meine Statuskomponente nicht kompiliert werden, und es wird ein Fehler angezeigt, den ich sofort beheben kann. Dadurch kann ich der App zusätzliche Fehlerzustände hinzufügen.

Beachten Sie, dass die eigentliche App Dutzende von Fehlerzuständen aufwies, auf die an mehreren Stellen verwiesen wurde. Daher war diese Art der Sicherheit äußerst nützlich.