Assertion `as const` làm gì?

Question

Accepted Answer

`as const` là một **const assertion** yêu cầu TypeScript infer ra kiểu **cụ thể nhất (literal), readonly sâu** cho một giá trị, thay vì widen nó.

```ts
// không có as const — bị widen, có thể thay đổi
let a = "up";            // kiểu: string
const obj = { x: 1 };     // kiểu: { x: number }
const arr = [1, 2];       // kiểu: number[]

// có as const — literal hẹp, readonly
const b = "up" as const;          // kiểu: "up"
const obj2 = { x: 1 } as const;    // kiểu: { readonly x: 1 }
const arr2 = [1, 2] as const;      // kiểu: readonly [1, 2] (một tuple!)
```

Nó làm ba việc: *không* widen gì cả (giữ các giá trị literal), làm mọi thứ thành `readonly`, và biến mảng thành **tuple**.

## Tại sao nó hữu ích đến vậy

**Suy ra một union type từ một danh sách giá trị (single source of truth):**

```ts
const ROLES = ["admin", "editor", "viewer"] as const;
type Role = typeof ROLES[number]; // "admin" | "editor" | "viewer"
// thêm một role vào mảng → union tự động cập nhật
```

**Giữ literal type cho config/state:**

```ts
const action = { type: "INCREMENT", by: 1 } as const;
// action.type là "INCREMENT" (một literal), nên nó hoạt động trong discriminated union
// không có as const thì nó sẽ là `string`, làm hỏng narrowing
```

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

`as const` là cầu nối giữa giá trị runtime và kiểu chính xác.

Nó cho phép bạn định nghĩa dữ liệu một lần (một mảng/object) và suy ra các literal type chính xác từ đó — vô giá đối với action type, route map, config, và bất kỳ tag discriminated-union nào phải giữ là literal thay vì widen thành `string`.