Kas yra union ir intersection tipai?

Question

Accepted Answer

A **union** (`A | B`) reiškia "arba A **arba** B." An **intersection** (`A & B`) reiškia "tiek A **ir** B vienu metu."

```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 */ }
```

## Darbas su union tipais: galite naudoti tik bendrus narius

```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
}
```

Kol jūs neapribojate **narrow** union tipo, galite pasiekti tik narius, kurie egzistuoja *kiekvieno* union tipo nario — kompiliatorius jus saugo.

## Intersection — sujungti formas

```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 tipai puikus objekto tipų sudėtinimui/mišimui (pvz., pridėjus props prie esamo tipo).

## Kodėl tai svarbu

Union tipai modeliuoja "vieną iš kelių galimybių" — saugaus būsenos modeliavimo pagrindą (pvz., discriminated unions reducerio būsenai), funkcijų perrašus ir nullable tipus (`T | null`).

Intersection tipai sujungia tipus kartu.

Kartu jie daro TypeScript tipo sistemą pakankamai išraiškingą, kad tiksliai atspindėtų tikrus duomenis.