Apakah itu type assertions dan bila ia berisiko?

Question

Accepted Answer

Sebuah **type assertion** memberitahu pengkompil "percayalah kepada saya, nilai ini berjenis X" menggunakan `as`. Ia **tidak melakukan penukaran atau pemeriksaan runtime** — ia hanya mengubah cara pengkompil melayan 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 ia berisiko

Sebuah assertion mengatasi pertimbangan pengkompil — jika anda silap, anda akan mendapat kerosakan runtime tanpa sebarang amaran:

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

Membuat assertion tidak *menjadikan* nilai itu berjenis tersebut; ia hanya membungkam pemeriksa. Anda telah mengambil alih tanggungjawab ketepatan daripada pengkompil.

## Alternatif yang lebih selamat

```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` adalah berbeza

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

## Mengapa ia penting

Assertion kadangkala diperlukan (DOM API, menyempitkan `unknown` yang telah anda periksa), tetapi setiap satunya ialah tempat di mana pengkompil tidak dapat melindungi anda.

Utamakan type guard atau pengesahan skema untuk data yang tidak dipercayai, dan layan setiap `as` sebagai satu pengisytiharan kecil yang disengajakan "saya lebih tahu" yang anda mesti yakin tentangnya.

Mengapa ia berisiko

Alternatif yang lebih selamat

as const adalah berbeza

Mengapa ia penting

`as const` adalah berbeza