Generic constraint là gì?

Question

Accepted Answer

Một **generic constraint** (`T extends ...`) giới hạn các type mà một generic parameter có thể nhận, để bạn có thể sử dụng an toàn một số property hoặc method nhất định trên nó. Không có constraint, một generic có thể là *bất cứ thứ gì*, nên bạn không thể giả định nó có bất kỳ thành viên nào. ```ts // ❌ không có constraint, bạn không thể truy cập .length — T có thể là một number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Lỗi: 'length' không tồn tại trên 'T' } // ✅ giới hạn T vào những thứ CÓ length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ string có length longest([1, 2], [3]); // ✅ array có length longest(1, 2); // ❌ number không có length ``` Constraint là một *lời hứa*: "`T` sẽ luôn có ít nhất shape này," điều này cho phép compiler cho dùng `.length` trong khi vẫn giữ `T` chính xác (kiểu trả về là kiểu array/string thực tế, không phải kiểu constraint). ## Giới hạn vào các key (rất phổ biến) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` đảm bảo `key` là một property thực sự của `obj` — và `T[K]` trả về chính xác kiểu của nó. ## Type parameter mặc định ```ts interface Box { value: T; } // T mặc định là string nếu không được chỉ định ``` ## Tại sao điều này quan trọng Constraint là sự cân bằng giữa tính linh hoạt và độ an toàn: chúng cho phép code generic dựa vào một shape tối thiểu (có `.length`, có key `K`, extend một base nào đó) trong khi vẫn bảo toàn type cụ thể của người gọi. Chúng thiết yếu cho các hàm tiện ích, truy cập object type-safe, và bất kỳ generic nào cần *làm* gì đó với type parameter của nó.