Обобщённое ограничение (T extends ...) ограничивает, какие типы может иметь параметр обобщения, чтобы вы безопасно использовали определённые свойства или методы на нём. Без ограничения обобщение может быть чем угодно, поэтому вы не можете предполагать наличие каких-либо членов.
longestBad<T>(: T, : T) {
a. > b. ? a : b;
}
longest<T { : }>(: T, : T): T {
a. > b. ? a : b;
}
(, );
([, ], []);
(, );
Ограничение — это обещание: "T всегда будет иметь по крайней мере эту форму," что позволяет компилятору разрешить .length, при этом сохраняя точность T (тип возврата — это фактический тип массива/строки, а не ограничение).
function pluck<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}
K extends keyof T гарантирует, что key — это действительное свойство obj — и T[K] возвращает его точный тип.
interface Box<T = string> { value: T; } // T defaults to string if not specified
Ограничения — это баланс между гибкостью и безопасностью: они позволяют обобщённому коду полагаться на минимальную форму (имеет .length, имеет ключ K, расширяет некоторую базу) при сохранении конкретного типа вызывающей стороны.
Они необходимы для служебных функций, безопасного доступа к типам объектов и любого обобщения, которое должно что-то сделать со своим параметром типа.