Apakah yang dilakukan oleh operator keyof dan typeof dalam konteks jenis?

Question

Accepted Answer

Dua operator ini memungkinkan Anda menurunkan jenis dari jenis dan nilai yang ada — fondasi pemrograman tingkat jenis.

## keyof — persatuan kunci jenis objek

```ts
interface User { id: number; name: string; }
type UserKey = keyof User; // "id" | "name"
```

## typeof — jenis nilai

```ts
const config = { host: "localhost", port: 3000 };
type Config = typeof config; // { host: string; port: number }
```

`typeof` (dalam posisi jenis) menangkap jenis yang disimpulkan dari nilai runtime, jadi Anda tidak perlu menulis jenis secara terpisah.

## Digabungkan: pembaruan properti yang aman jenis klasik

```ts
function getProp<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
const user = { id: 1, name: "Ann" };
getProp(user, "name"); // returns string
getProp(user, "age");  // ❌ Error: "age" is not a key of user
```

Di sini `K extends keyof T` membatasi `key` untuk kunci nyata, dan `T[K]` (jenis *akses terindeks*) memberikan kembali jenis nilai yang tepat untuk kunci tersebut. Typo menjadi kesalahan kompilasi.

## Menurunkan persatuan dari objek const

```ts
const Roles = { Admin: "admin", User: "user" } as const;
type Role = typeof Roles[keyof typeof Roles]; // "admin" | "user"
```

## Mengapa ini penting

`keyof` dan `typeof` menghubungkan dunia nilai dan dunia jenis.

Mereka memberdayakan akses properti yang aman jenis, menurunkan jenis dari konfigurasi/konstanta (sumber kebenaran tunggal), dan adalah blok pembangun untuk jenis mapped dan conditional.

Mereka bagaimana Anda menghindari pemeliharaan manual definisi jenis paralel.