Что такое вариантность типов (ковариантность и контравариантность)?

Question

Accepted Answer

**Вариантность** описывает, как подтипирование составного типа соотносится с подтипированием его частей — то есть когда `Container_{` может быть присвоен `Container`?

Пусть `Dog` — подтип `Animal`.

## Ковариантность — сохраняет направление (интуитивный случай)

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

Типы возврата и массивы **ковариантны**: если `Dog` ⊆ `Animal`, то `Dog[]` ⊆ `Animal[]`. Функция, возвращающая `Dog`, может использоваться там, где ожидается функция, возвращающая `Animal`.

## Контравариантность — обращает направление (параметры функции)

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

**Параметры** функции контравариантны: `Handler` может быть присвоен `Handler`, что является *обратным* соотношением элементов. Это корректно — функция, обрабатывающая всех животных, определённо обработает собак.

## Небезопасное поведение по умолчанию для методов

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

TypeScript проверяет типы автономных функций контравариантно только при `strictFunctionTypes`; параметры методов намеренно **бивариантны** для удобства использования, что технически небезопасно.

## Почему это важно

Вариантность объясняет, *почему* некоторые присвоения разрешены или запрещены — почему `Dog[]` подходит `Animal[]`, но callback `(d: Dog) => void` не всегда может использоваться вместо `(a: Animal) => void`.

Понимание этого помогает вам проектировать универсальные API (например, позиции только для чтения и для записи) и разбираться в запутанных ошибках "not assignable", связанных с функциями и обобщёнными типами.}