Co jsou union a intersection typy?

Question

Accepted Answer

**Union** (`A | B`) znamená "buď A **nebo** B." **Intersection** (`A & B`) znamená "jak A **tak** B zároveň."

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

## Práce s union: můžete použít pouze to, co je společné

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

Dokud **nezúžíte** union, můžete přistupovat pouze ke členům, které jsou přítomny na *každém* členu union — kompilátor vás chrání.

## Intersection — kombinování tvarů

```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 jsou skvělé pro skládání/míšení typů objektů (např. přidání vlastností do existujícího typu).

## Proč na tom záleží

Union modelují "jednu z několika možností" — základ bezpečného modelování stavu (např. diskriminované union pro stav reduceru), přetížení funkcí a nullable typy (`T | null`).

Intersection skládají typy dohromady.

Dohromady dělají Typescriptový systém typů dost expressivní na to, aby přesně odrážel reálná data.