Type variance (covariance आणि contravariance) म्हणजे काय?

Question

Accepted Answer

**Variance** हे वर्णन करते की composite type ची subtyping कशी त्याच्या भागांच्या subtyping शी संबंधित आहे — म्हणजे `Container_{` हे `Container` साठी assignable कधी आहे?

चला `Dog` हा `Animal` चा subtype असू द्या.

## Covariance — दिशा संरक्षित करते (intuitive case)

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

Return types आणि arrays **covariant** आहेत: जर `Dog` ⊆ `Animal`, तर `Dog[]` ⊆ `Animal[]`. `Dog` परत करणारा function असा काम करतो जेथे `Animal` परत करणारा function अपेक्षित असतो.

## Contravariance — दिशा उलट करते (function parameters)

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

Function **parameters** contravariant आहेत: `Handler` हा `Handler` साठी assignable आहे, element relationship च्या *opposite* मध्ये. हे sound आहे — असे काहीतरी जे सर्व animals हँडल करते ते निश्चितपणे dogs हँडल करते.

## Methods साठी unsound default

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

TypeScript standalone function types ला `strictFunctionTypes` अंतर्गत केवळ contravariantly check करते; method parameters हे जाणूनबुजून **bivariant** आहेत ergonomics साठी, जे तांत्रिकदृष्ट्या unsound आहे.

## कोण महत्वाचे आहे

Variance हे स्पष्ट करते *कोण* काही assignments allow किंवा reject केल्या जातात — *का* `Dog[]` `Animal[]` मध्ये फिट होते पण `(d: Dog) => void` callback सर्वदा `(a: Animal) => void` साठी stand in करू शकत नाही.

ही समज तुम्हाला generic APIs डिজाइन करायला मदत करते (उदा. read-only बनाम write positions) आणि functions आणि generics समाविष्ट करणारे confusing "not assignable" errors decode करते.}