keyof i typy dostępu indeksowanego

Witamy

Podstawy keyof

interface User { id: number; name: string; email: string; }
type UserKeys = keyof User; // 'id' | 'name' | 'email'

Dostęp indeksowany: T[K]

type IdType = User['id'];   // number
type NameType = User['name']; // string

Dynamiczny dostęp do właściwości

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
const name = getProperty(user, 'name'); // string

keyof z typeof

const config = { host: 'localhost', port: 3000 };
type ConfigKey = keyof typeof config; // 'host' | 'port'

Suma typów indeksowanych

type NumericValues = User['id' | 'age']; // number | number = number

keyof dla tablic

type ArrKey = keyof string[]; // number | 'length' | 'push' | ...
type Element = string[][number]; // string

Rekurencyjny dostęp indeksowany

type Address = { city: string; zip: string };
type Profile = { address: Address };
type City = Profile['address']['city']; // string

Ograniczenia z keyof

function setProperty<T, K extends keyof T>(obj: T, key: K, value: T[K]): void {
  obj[key] = value;
}

Typy mapowane używają keyof

type Readonly2<T> = { readonly [K in keyof T]: T[K] };

keyof w typach warunkowych

type StringKeys<T> = { [K in keyof T]: T[K] extends string ? K : never }[keyof T];

Szybki sprawdzian

Podsumowanie