Как ограничить generic ключами объекта (keyof)?

Question

Generic ограничивают ключами объекта с помощью конструкции K extends keyof T. Это гарантирует, что K может быть только одним из ключей объекта T. Такой подход позволяет связать тип ключа с типом возвращаемого значения и получить точную типизацию. Это базовый и самый распространённый паттерн в TypeScript.

YeaHub · Accepted Answer

Ограничение generic — это способ сказать компилятору, какие значения допустимы.ОпределениеGeneric constraint — ограничение на параметр типа с помощью extends.Базовый примерfunction getValue(obj: T, key: K): T[K] { return obj[key]; } Что здесь происходитT — тип объекта.K — тип ключа.K extends keyof T — ключ может быть только существующим.T[K] — тип значения зависит от ключа.Пример использованияconst settings = { theme: "dark", retry: 3, }; getValue(settings, "theme"); // string getValue(settings, "retry"); // number getValue(settings, "url"); // ошибка Зачем это нужноЗащита от опечаток.Корректные типы без as.Улучшенное автодополнение.Безопасные универсальные утилиты.Расширенный пример: запись значенияfunction setValue( obj: T, key: K, value: T[K] ) { obj[key] = value; } ПоведениеsetValue(settings, "retry", 5); // ok setValue(settings, "retry", "5"); // ошибка ВыводОграничение generic через K extends keyof T — фундаментальный приём TypeScript для построения строгих и безопасных API при работе с объектами.