Який тип запису в машинописі?

Що 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 Типи сторінки згадується 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на typecriptlang.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}

Так!

Сподіваюся, що це допомагає. Удачі!

Запис дозволяє створювати новий тип із Союзу. Значення в Союзі використовуються як атрибути нового типу.

Наприклад, скажіть, що у мене є такий Союз:

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, ймовірно, імпортується з іншого файлу і, ймовірно, використовується в багатьох місцях.

Приклад реагування в реальному світі

Нещодавно я використовував це для створення компонента Статус. Компонент отримає підтримку статусу, а потім надасть значок. Я досить спростив код тут для ілюстративних цілей

У мене був такий союз:

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

Якщо пізніше союз статусів буде розширено або змінено, я знаю, що компонент Status не вдасться скомпілювати, і я отримаю помилку, яку я можу виправити негайно. Це дозволяє мені додавати додаткові стани помилок у додаток.

Зауважте, що фактичний додаток мав десятки станів помилок, на які посилалося в декількох місцях, тому безпека цього типу була надзвичайно корисною.