Apakah jenis union dan intersection?

Question

Accepted Answer

A **union** (`A | B`) bermakna "sama ada A **atau** B." An **intersection** (`A & B`) bermakna "kedua-dua A **dan** B sekaligus."

```ts
// Union — value is one of several types
type Status = "loading" | "success" | "error"; // string literal union
let s: Status = "loading"; // only these three allowed

function id(x: string | number) { /* x is string OR number */ }
```

## Bekerja dengan union: anda hanya boleh menggunakan apa yang biasa

```ts
function format(x: string | number) {
  // x.toFixed(2); // ❌ toFixed doesn't exist on string
  if (typeof x === "number") return x.toFixed(2); // ✅ narrowed to number
  return x.toUpperCase();                          // ✅ here it's a string
}
```

Sehingga anda **narrow** sebuah union, anda hanya boleh mengakses ahli yang ada pada *setiap* ahli union — pengkompil melindungi anda.

## Intersection — menggabungkan bentuk

```ts
type Name = { name: string };
type Age = { age: number };
type Person = Name & Age; // must have BOTH name and age

const p: Person = { name: "Ann", age: 30 }; // both required
```

Intersection bagus untuk menggubah/menggabungkan jenis objek (cth. menambahkan props kepada jenis yang ada).

## Mengapa ia penting

Union memodelkan "salah satu daripada beberapa kemungkinan" — asas pemodelan keadaan yang selamat (cth. union yang dibezakan untuk keadaan reducer), overload fungsi, dan jenis boleh nol (`T | null`).

Intersection menggabungkan jenis bersama-sama.

Bersama-sama mereka menjadikan sistem jenis TypeScript cukup ekspresif untuk mencerminkan data sebenarnya dengan tepat.