Type assertion là gì và khi nào chúng nguy hiểm?

Question

Accepted Answer

Một **type assertion** nói với compiler rằng "tin tôi đi, giá trị này thuộc type X" bằng cách dùng `as`. Nó **không thực hiện chuyển đổi hay kiểm tra gì lúc runtime** — nó chỉ thay đổi cách compiler đối xử với giá trị.

```ts
const el = document.getElementById("app") as HTMLInputElement;
el.value = "hi"; // compiler bây giờ cho phép .value (nó giả định là HTMLInputElement)

const data = JSON.parse(str) as User; // assert shape của dữ liệu đã parse
```

## Tại sao nó nguy hiểm

Một assertion ghi đè lên phán đoán của compiler — nếu bạn sai, bạn sẽ gặp crash lúc runtime mà không có cảnh báo nào:

```ts
const x = "hello" as unknown as number; // double assertion — compiler thôi phàn nàn
x.toFixed(2); // 💥 lỗi runtime: x.toFixed không phải là một function
```

Assertion không *biến* giá trị thành type đó; nó chỉ làm im lặng bộ kiểm tra. Bạn đã lấy đi trách nhiệm về tính đúng đắn khỏi compiler.

## Các giải pháp thay thế an toàn hơn

```ts
// 1. type guard — thực sự kiểm tra lúc runtime
if (typeof input === "string") { /* input là string, đã được chứng minh */ }

// 2. thư viện validation (zod) cho dữ liệu bên ngoài
const user = UserSchema.parse(data); // ném lỗi nếu shape sai
```

## `as const` thì khác

```ts
const point = { x: 1 } as const; // không phải là một cast nguy hiểm — narrow thành literal/readonly
```

## Tại sao điều này quan trọng

Assertion đôi khi là cần thiết (các DOM API, narrow một `unknown` mà bạn đã kiểm tra), nhưng mỗi cái là một nơi compiler không thể bảo vệ bạn.

Hãy ưu tiên type guard hoặc schema validation cho dữ liệu không đáng tin, và xem mỗi `as` như một lời "tôi biết rõ hơn" nhỏ, có chủ đích mà bạn phải chắc chắn về nó.

Tại sao nó nguy hiểm

Các giải pháp thay thế an toàn hơn

as const thì khác

Tại sao điều này quan trọng

`as const` thì khác