Co to jest wariancja typu (kowariancja i kontrawariancja)?

Question

Accepted Answer

**Wariancja** opisuje, jak podtypowanie typu złożonego odnosi się do podtypowania jego części — tzn. kiedy `Container_{` można przypisać do `Container`?

Niech `Dog` będzie podtypem `Animal`.

## Dlaczego to ważne

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

Typy zwracane i tablice są **kowariancjne**: jeśli `Dog` ⊆ `Animal`, to `Dog[]` ⊆ `Animal[]`. Funkcja zwracająca `Dog` może być używana tam, gdzie oczekuje się funkcji zwracającej `Animal`.

## Kontrawariancja — odwraca kierunek (parametry funkcji)

```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** funkcji są kontrawariancjne: `Handler` można przypisać do `Handler`, co jest *odwrotnością* relacji elementów. To jest uzasadnione — coś, co obsługuje wszystkie zwierzęta, na pewno obsługuje psy.

## Niezasadne domyślne zachowanie dla metod

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

TypeScript sprawdza typy funkcji autonomicznych kontrawariantnie tylko w ramach `strictFunctionTypes`; parametry metod są celowo **biwariantne** ze względu na ergonomię, co technicznie jest niezasadne.

## Dlaczego to ważne

Wariancja wyjaśnia *dlaczego* pewne przypisania są dozwolone lub odrzucane — dlaczego `Dog[]` pasuje do `Animal[]`, ale callback `(d: Dog) => void` nie zawsze może zastąpić `(a: Animal) => void`.

Zrozumienie tego pomaga w projektowaniu ogólnych API (np. pozycji tylko do odczytu vs. do zapisu) i dekodowaniu mylących błędów "nie można przypisać" dotyczących funkcji i typów ogólnych.}