satisfies vs Type Assertion dan const Assertions TypeScript

Definisi

Tiga fitur untuk mengontrol presisi tipe tanpa kehilangan inferensi:

• satisfies: cek nilai memenuhi tipe tertentu tapi mempertahankan tipe literal/narrow hasil inferensi (bukan mengubah jadi tipe target).
• Type assertion (as / <T>): memberi tahu compiler "percaya saya, ini tipenya" — memotong inferensi, berisiko runtime salah.
• const assertion (as const): bekukan nilai jadi readonly + literal type paling sempit (tuple, union literal).

Kapan dipakai

• satisfies: saat ingin validasi shape (misal object konfigurasi sesuai interface) tapi tetap dapat autocomplete key literal.
• as const: saat butuh literal tuple/enum-inline yang tidak melebar ke string/number.
• assertion: hindari kalau bisa; hanya saat kamu tahu tipe lebih tepat dari yang disimpulkan compiler (misal cast dari unknown setelah guard).

Cara kerja

satisfies mempertahankan literal

ts

type Routes = { home: string; about: string };
const paths = {
  home: '/',
  about: '/about',
} satisfies Routes;
 
// paths.home tipe 'string' bukan '/', tapi keys tetap terdeteksi

Tanpa satisfies, paths.home jadi string dan kamu kehilangan autocomplete key eksak.

const assertion

ts

const role = 'admin' as const; // tipe 'admin', bukan string
const tuple = [1, 2] as const; // readonly [1, 2]

assertion (hati-hati)

ts

const el = document.getElementById('x') as HTMLInputElement; // compiler percaya
// lebih aman:
const el2 = document.getElementById('x');
if (el2 instanceof HTMLInputElement) { /* narrowed */ }

Struktur alur

Contoh kombinasi

ts

const config = {
  api: 'https://x',
  retries: 3,
} satisfies Config;
 
const items = ['a', 'b'] as const; // items: readonly ['a','b']
type Item = typeof items[number]; // 'a' | 'b'

Catatan implementasi

• satisfies tidak mengubah tipe hasil; beda dengan as T yang mengganti tipe.
• as const membuat semuanya readonly — cocok untuk konstanta, bukan untuk nilai yang akan dimutasi.
• Assertion as bisa "bohong": const x = '' as number lolos compile tapi runtime tetap string.
• Untuk narrow dari unknown, prefer instanceof/typeof daripada as.

Kesalahan umum

• Pakai as untuk bypass: tipe salah, bug saat runtime.
• satisfies dikira mengubah tipe: masih literal, bukan tipe target.
• as const lalu mutate: error karena readonly.
• Assertion berantai: as unknown as T menyembunyikan masalah tipe asli.

Referensi terkait

• Template Literal Types, satisfies, Const Type Parameters
• TypeScript Narrowing, Discriminated Unions, Exhaustive Checks
• TypeScript Utility Types, Type Composition, API Response