Mikä on tyypin varianssi (kovariantti ja kontravariantti)?

Question

Accepted Answer

**Varianssi** kuvaa, kuinka yhdistetyyn tyyppiin liittyvä aliasintyppi liittyy sen osien alitypointiin — eli milloin `Container_{` on sijoitettavissa `Container` -kohteeseen?

Olkoon `Dog` tyypin `Animal` alitype.

## Kovarianssi — säilyttää suunnan (intuitiivinen tapaus)

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

Palautustyypit ja taulukot ovat **kovariantteja**: jos `Dog` ⊆ `Animal`, niin `Dog[]` ⊆ `Animal[]`. Funktio, joka palauttaa `Dog`:n, voidaan käyttää, kun odotetaan funktiota, joka palauttaa `Animal`:n.

## Kontravarianssi — kääntää suunnan (funktioparametrit)

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

Funktion **parametrit** ovat kontravariitteja: `Handler` voidaan sijoittaa `Handler` -kohteeseen, mikä on *vastakkainen* alkioisuhteisuudelle. Tämä on pätevää — jotain, joka käsittelee kaikki eläimet, käsittelee varmasti koiria.

## Epäturvallinen oletusarvoisuus menetelmille

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

TypeScript tarkistaa itsenäiset funktiotyypit kontravariittisesti vain `strictFunctionTypes` -kohdalla; menetelmäparametrit ovat tarkoituksella **bivariantteja** ergonomian vuoksi, mikä on teknisesti turvaton.

## Miksi sillä on merkitystä

Varianssi selittää, *miksi* tietyt sijoitukset sallitaan tai hylätään — miksi `Dog[]` sopii `Animal[]`:lle, mutta `(d: Dog) => void` -takaisinkutsu ei voi aina korvata `(a: Animal) => void` -kohtaa.}