Cad is athrú cineáil (comhathraitheas agus frithathraitheas)?

Question

Accepted Answer

**Athrú** cur síos a dhéanann ar conas a bhaineann subtyping de chineál comhdhéanta le subtyping a gcuid. I ngiorrú, cathain is féidir `Container_{` a shannadh do `Container`?

Bíodh `Dog` ina fhoshort de `Animal`.

## Comhathraitheas — caomhnaíonn treo (an cás intuitive)

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

Fillteán agus eagar a bhaineann le comhathraitheas: má bhíonn `Dog` ⊆ `Animal`, ansin `Dog[]` ⊆ `Animal[]`. Is féidir feidhm a bhíonn ag filleadh `Dog` a úsáid áit ar bhreithniú go bhfuil `Animal` ag filleadh ann.

## Frithathraitheas — droicheal treo (paraiméadair fheidhme)

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

**Paraiméadair** feidhme a bhaineann le frithathraitheas: tá `Handler` iomlán do `Handler`, an taobh *eile* den ghaol eiliminte. Tá sé seo soladach — cinnte go bhfuil rud a dhéileálann le gach ainmhí ag déileáil le madraí.

## An réamhshocrú neamhsoladach do mhodh

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

TypeScript scrúdaíonn cineálacha feidhme neamhspleáche go frithathraithach i gcónaí faoin `strictFunctionTypes` amháin; paraiméadair an mhodh atá beartaithe go dearfach **déathraitheach** ar son ergonomics, atá go teicniúil neamhsoladach.

## Cén fáth a bhíonn tábhacht air

Míníonn athrú *cén fáth* ar ceadaítear nó ar dhiúltaítear do shannanna ar leith — cén fáth ar oireann `Dog[]` do `Animal[]` ach nach féidir le gealltanas `(d: Dog) => void` a bheith ina ionad i gcónaí do `(a: Animal) => void`.}