什么是类型方差（协变和逆变）？

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[]`，但 `(d: Dog) => void` 回调不能始终代替 `(a: Animal) => void`。

理解它可以帮助你设计通用 API（例如只读与写入位置）并解读涉及函数和泛型的令人困惑的「不可分配」错误。}