Type variance (covariance và contravariance) là gì?

Question

Accepted Answer

**Variance (phương sai)** mô tả mối quan hệ giữa subtyping của một composite type với subtyping của các thành phần của nó — tức là khi nào `Container_{` có thể gán cho `Container`?

Giả sử `Dog` là một subtype của `Animal`.

## Covariance — giữ nguyên chiều (trường hợp trực quan)

```ts
let dogs: Dog[] = [];
let animals: Animal[] = dogs; // ✅ Dog[] có thể gán cho Animal[]
```

Kiểu trả về và array là **covariant**: nếu `Dog` ⊆ `Animal`, thì `Dog[]` ⊆ `Animal[]`. Một function trả về `Dog` có thể dùng được ở nơi mong đợi một function trả về `Animal`.

## Contravariance — đảo ngược chiều (tham số function)

```ts
type Handler = (arg: T) => void;
let animalHandler: Handler = (a) => {};
let dogHandler: Handler = animalHandler; // ✅ (với strictFunctionTypes)
// một handler chấp nhận BẤT KỲ Animal nào có thể xử lý an toàn một Dog
```

**Tham số** của function là contravariant: `Handler` có thể gán cho `Handler`, *ngược lại* với mối quan hệ của phần tử. Điều này là đúng đắn (sound) — thứ xử lý được mọi animal thì chắc chắn xử lý được dog.

## Mặc định không đúng đắn (unsound) cho method

```ts
// Tham số method trong TS mặc định là bivariant (một sự tiện lợi không đúng đắn đã được biết đến)
interface Comparer { compare(a: T): void; }
```

TypeScript chỉ kiểm tra các kiểu function độc lập theo kiểu contravariant khi bật `strictFunctionTypes`; tham số của method được cố ý để **bivariant** vì lý do tiện dụng, điều này về mặt kỹ thuật là không đúng đắn (unsound).

## Tại sao điều này quan trọng

Variance giải thích *tại sao* một số phép gán được cho phép hoặc bị từ chối — tại sao `Dog[]` vừa với `Animal[]` nhưng một callback `(d: Dog) => void` không phải lúc nào cũng thay thế được cho `(a: Animal) => void`.

Việc hiểu nó giúp bạn thiết kế các generic API (ví dụ: vị trí chỉ-đọc so với vị trí ghi) và giải mã các lỗi "not assignable" khó hiểu liên quan đến function và generic.}