Apa itu type assertions dan kapan mereka berisiko?

Question

Accepted Answer

Sebuah **type assertion** memberitahu compiler "percayai saya, nilai ini adalah tipe X" menggunakan `as`. Ini **tidak melakukan konversi atau pengecekan runtime apa pun** — hanya mengubah cara compiler memperlakukan nilai tersebut.

```ts
const el = document.getElementById("app") as HTMLInputElement;
el.value = "hi"; // compiler now allows .value (it assumed HTMLInputElement)

const data = JSON.parse(str) as User; // assert the parsed shape
```

## Mengapa ini berisiko

Sebuah assertion mengganti penilaian compiler — jika Anda salah, Anda mendapatkan crash runtime tanpa peringatan:

```ts
const x = "hello" as unknown as number; // double assertion — compiler stops complaining
x.toFixed(2); // 💥 runtime error: x.toFixed is not a function
```

Assertion tidak *membuat* nilai menjadi tipe itu; hanya meredakan checker. Anda telah mengambil tanggung jawab kebenaran dari compiler.

## Alternatif yang lebih aman

```ts
// 1. type guard — actually verify at runtime
if (typeof input === "string") { /* input is string, proven */ }

// 2. validation library (zod) for external data
const user = UserSchema.parse(data); // throws if shape is wrong
```

## `as const` berbeda

```ts
const point = { x: 1 } as const; // not a risky cast — narrows to literal/readonly
```

## Mengapa ini penting

Assertion kadang-kadang diperlukan (API DOM, mempersempit `unknown` yang sudah Anda periksa), tetapi masing-masing adalah tempat compiler tidak dapat melindungi Anda.

Gunakan type guards atau schema validation untuk data yang tidak terpercaya, dan perlakukan setiap `as` sebagai "saya tahu lebih baik" yang kecil dan disengaja yang harus Anda yakin.

Mengapa ini berisiko

Alternatif yang lebih aman

as const berbeda

Mengapa ini penting

`as const` berbeda