Discriminated union là gì và tại sao nó mạnh mẽ?

Question

Accepted Answer

Một **discriminated union (tagged union)** là một union của các object type mà tất cả đều chia sẻ một trường literal chung — gọi là **discriminant** — mà compiler dùng để phân biệt các biến thể và narrow một cách an toàn.

```ts
type Result =
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; message: string };
```

Mọi thành viên đều có một literal `status`. Việc kiểm tra nó sẽ narrow xuống đúng một biến thể, mở khóa các trường của biến thể đó:

```ts
function render(r: Result) {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;     // ✅ data chỉ tồn tại ở đây
    case "error":   return r.message;  // ✅ message chỉ tồn tại ở đây
  }
}
```

Nếu bạn cố truy cập `r.data` trong trường hợp `loading`, đó là lỗi biên dịch — hệ thống type làm cho các tổ hợp không hợp lệ trở nên *không thể biểu diễn được (unrepresentable)*.

## Kiểm tra tính đầy đủ (exhaustiveness checking)

```ts
function render2(r: Result): string {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;
    case "error":   return r.message;
    default:
      const _exhaustive: never = r; // ✅ nếu bạn thêm một biến thể mà quên một case, dòng này sẽ báo lỗi
      return _exhaustive;
  }
}
```

Việc gán cho `never` buộc bạn phải xử lý mọi case — thêm một status mới và compiler sẽ chỉ cho bạn mọi switch cần được cập nhật.

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

Discriminated union là cách idiomatic để mô hình hóa trạng thái (loading/success/error), sự kiện/hành động (Redux reducer), và bất kỳ dữ liệu "một trong nhiều shape" nào.

Chúng làm cho các trạng thái bất hợp pháp trở nên không thể xảy ra và, với thủ thuật `never`, mang lại cho bạn việc kiểm tra tính đầy đủ lúc biên dịch — một lợi ích an toàn lớn so với việc mô hình hóa lỏng lẻo bằng `boolean`/trường optional.