Co je variace typu (kovariance a kontravariance)?

Question

Accepted Answer

**Variace** popisuje, jak se vztah podtypů složeného typu vztahuje na podtypy jeho částí — tj. kdy je `Container_{` přiřaditelné na `Container`?

Nechť `Dog` je podtyp `Animal`.

## Kovariance — zachovává směr (intuitivní případ)

```ts
let dogs: Dog[] = [];
let animals: Animal[] = dogs; // ✅ Dog[] is assignable to Animal[]
```

Návratové typy a pole jsou **kovariantní**: pokud `Dog` ⊆ `Animal`, pak `Dog[]` ⊆ `Animal[]`. Funkce vracející `Dog` je použitelná tam, kde se očekává ta, která vrací `Animal`.

## Kontravariance — obrací směr (parametry funkcí)

```ts
type Handler = (arg: T) => void;
let animalHandler: Handler = (a) => {};
let dogHandler: Handler = animalHandler; // ✅ (with strictFunctionTypes)
// a handler that accepts ANY Animal can safely handle a Dog
```

Parametry funkce jsou **kontravariační**: `Handler` je přiřaditelné na `Handler`, což je *opak* vztahu prvků. To je korektní — něco, co zpracovává všechna zvířata, určitě zpracovává psy.

## Nezabezpečený výchozí stav pro metody

```ts
// Method parameters in TS are bivariant by default (a known unsound convenience)
interface Comparer { compare(a: T): void; }
```

TypeScript kontroluje samostatné typy funkcí kontravariačně pouze pod `strictFunctionTypes`; parametry metod jsou záměrně **bivariační** z důvodů ergonomie, což je technicky nezabezpečené.

## Proč je to důležité

Variace vysvětluje, *proč* jsou určitá přiřazení povolena nebo zamítnuta — proč `Dog[]` pasuje na `Animal[]`, ale callback `(d: Dog) => void` nemusí být schopen nahradit `(a: Animal) => void`.}