0Pricing
TypeScript Academy · Урок

Ограничения обобщений с помощью extends

Ограничивайте параметры типов определёнными структурами

«Ограничения обобщений с помощью extends» — бесплатный урок TypeScript Academy на CoddyKit. Это урок 3 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения TypeScript Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс TypeScript Academy содержит 4 уроков всего.

Добро пожаловать

Ограничения обобщений сужают набор типов, которые можно передать в качестве аргументов типов. Используйте `extends`, чтобы потребовать от T наличия определённых свойств или соответствия определённой форме.

Проблема без ограничений

Без ограничений TypeScript не знает, какие операции допустимы для T, поэтому разрешает только операции, общие для всех типов.
function getLength<T>(val: T): number {
  // return val.length; // Error — T might not have .length
}

Добавление ограничения

Используйте `T extends Shape`, чтобы потребовать от T наличия как минимум свойств Shape.
function getLength<T extends { length: number }>(val: T): number {
  return val.length;
}
getLength('hello');  // OK — string has .length
getLength([1, 2]);   // OK — array has .length
// getLength(42);   // Error — number has no .length

Ограничение интерфейсом

Ограничьте T требованием реализовать определённый интерфейс.
interface Named { name: string; }
function greet<T extends Named>(person: T): string {
  return 'Hello, ' + person.name;
}

Ограничение keyof

Используйте `K extends keyof T`, чтобы ограничить K ключами T. Это обеспечивает безопасный доступ к свойствам.
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
const age = getProperty({ name: 'Alice', age: 30 }, 'age'); // number

Расширение объединения

T можно ограничить типом-объединением, разрешив в качестве аргумента типа только определённые значения.
type Status = 'active' | 'inactive' | 'banned';
function setStatus<T extends Status>(status: T): void {
  console.log('Setting status:', status);
}

Ограничение конструктором

Ограничьте T так, чтобы он был классом с конструктором. Тогда внутри функции можно создавать экземпляры.
function create<T>(ctor: new () => T): T {
  return new ctor();
}

Несколько ограничений с пересечением

Ограничьте T требованием соответствовать нескольким интерфейсам с помощью пересечения типов.
interface Serializable { serialize(): string; }
interface Loggable { log(): void; }
function process<T extends Serializable & Loggable>(item: T): void {
  item.log();
  console.log(item.serialize());
}

Наследование ограничений

Ограничения работают с наследованием. Если T расширяет базовый класс, можно вызывать все методы базового класса.
class Animal { breathe() { return 'breathing'; } }
function care<T extends Animal>(a: T): string { return a.breathe(); }

T расширяет самого себя (рекурсивное ограничение)

Ограничения могут ссылаться на самих себя, что полезно для рекурсивных структур данных.
interface Comparable<T> { compareTo(other: T): number; }
function max<T extends Comparable<T>>(a: T, b: T): T {
  return a.compareTo(b) >= 0 ? a : b;
}

Сообщения об ошибках ограничений

Если аргумент типа не удовлетворяет ограничению, TypeScript выдаёт понятную ошибку, указывая и аргумент, и ограничение.

Быстрая проверка

Чем ограничивает K выражение `K extends keyof T`?

Итоги

Используйте `T extends SomeType`, чтобы ограничивать параметры обобщённых типов. Это позволяет вызывать определённые методы T, применять keyof для безопасного доступа к свойствам и создавать типобезопасные служебные функции.

Часто задаваемые вопросы

Урок «Ограничения обобщений с помощью extends» бесплатный?

Да — полный текст урока «Ограничения обобщений с помощью extends» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс TypeScript Academy, подпишись на CoddyKit PRO. Курс TypeScript Academy содержит 4 уроков всего.

Чему я научусь в уроке «Ограничения обобщений с помощью extends»?

Ограничивайте параметры типов определёнными структурами Ты практикуешь TypeScript Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать TypeScript Academy?

Предыдущий опыт не требуется. TypeScript Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 3 из 4.

Сколько времени занимает урок «Ограничения обобщений с помощью extends»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке TypeScript Academy?

Да. Каждый урок TypeScript Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Обобщённые функции: параметры типов
  2. Обобщённые интерфейсы и псевдонимы типов
  3. Ограничения обобщений с помощью extends
  4. Параметры типов по умолчанию
← Назад к TypeScript Academy