Kaj so unijske in presečne vrste?

Question

Accepted Answer

**Unija** (`A | B`) pomeni »bodisi A **ali** B.« **Presek** (`A & B`) pomeni »tako A **kot tudi** B hkrati.«

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

## Delo z unijami: lahko uporabite le skupne člane

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

Dokler unijo ne **zožite**, lahko dostopate le do članov, ki so prisotni na *vsakem* članu unije — prevajalnik vas varuje.

## Presek — združevanje oblik

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

Preseki so odlični za sestavljanje/mešanje tipov objektov (na primer dodajanje svojstev obstoječem tipu).

## Zakaj je to pomembno

Unije modelirajo »eno od več možnosti« — temelj varnega modeliranja stanja (na primer diskriminirane unije za stanje reduktorja), preopteretitve funkcij in ničelne vrste (`T | null`).

Preseki sestavljajo vrste skupaj.

Skupaj naredijo sistem tipov TypeScript dovolj izrazit, da natančno odslikava resnične podatke.