Variance: covariance, contravariance, invariance trong TypeScript

Ví dụ: mảng covariant không an toàn

main.ts · sửa được▶ Chạy

class Animal { name = "animal"; } class Dog extends Animal { bark() { return "woof"; } } const dogs: Dog[] = [new Dog()]; const animals: Animal[] = dogs; // TS cho phép (covariant) animals.push(new Animal()); // ghi Animal vào mảng Dog[] console.log(dogs[1] instanceof Dog); // false: dogs[1].bark() sẽ nổ runtime

Quy tắc

Vị trí của T	Variance	Ví dụ
Chỉ đầu ra (return, readonly)	covariant	ReadonlyArray<T>, () => T
Chỉ đầu vào (tham số)	contravariant	(x: T) => void
Cả vào lẫn ra	invariant	T[] (lý thuyết), { get(): T; set(v: T): void }

• Với strictFunctionTypes, tham số của function type được kiểm tra contravariant; nhưng method (cú pháp m(x: T): void) vẫn bivariant để tương thích với mảng và DOM.
• TS 4.7 cho annotation tường minh trên generic: interface Producer<out T>, Consumer<in T>, Both<in out T>, giúp kiểm tra nhanh và khai báo ý định.
• Quy tắc nhớ: producer (đọc) covariant, consumer (ghi/nhận) contravariant.