> Что делает extends в TypeScript и зачем он нужен? (TypeScript)

Короткий ответ

extends в TypeScript используется для создания наследования в интерфейсах и классах, а также для ограничения generic-параметров (constraints). Он позволяет одному типу расширять другой, наследуя его свойства и методы. В условных типах extends проверяет, является ли один тип подтипом другого. Это ключевой механизм для построения иерархий типов и написания типобезопасного кода.

Подробное объяснение

extends выполняет три основные функции в TypeScript:

1. Наследование в классах: позволяет одному классу расширять другой, наследуя его поля и методы. Это классическое ООП-наследование, где дочерний класс может переопределять или дополнять родительское поведение.

2. Расширение интерфейсов: интерфейс может расширять один или несколько других интерфейсов, объединяя их контракты. Это мощный механизм композиции типов без множественного наследования классов.

3. Generic constraints: ограничивает тип-параметр, указывая, что он должен быть подтипом определённого типа. Например, T extends SomeType гарантирует, что T имеет как минимум те же свойства, что и SomeType.

4. Условные типы: T extends U ? X : Y - проверяет, является ли T подтипом U, и выбирает соответствующий тип. Это основа для построения сложных типовых трансформаций.

Ключевое отличие от implements в том, что extends создаёт иерархическую связь с наследованием реализации, а implements только проверяет соответствие контракту.

На практике

В реальных проектах extends используется для:

• Построения иерархии компонентов в React (базовый класс с общим поведением)
• Создания базовых конфигураций и их расширения
• Ограничения generic-функций, чтобы они работали только с определёнными типами данных
• Написания type-safe утилит через условные типы (например, Pick, Omit, Exclude)

Важно помнить о trade-off: глубокие иерархии наследования усложняют поддержку кода. Часто композиция через интерфейсы предпочтительнее наследования классов.

Пример кода

TYPESCRIPT
// Наследование классов
class Animal {
  constructor(public name: string) {}
  speak(): void {
    console.log(`${this.name} издаёт звук`);
  }
}

class Dog extends Animal {
  speak(): void {
    console.log(`${this.name} гавкает`);
  }
}

// Расширение интерфейсов
interface BaseConfig {
  apiUrl: string;
  timeout: number;
}

interface ExtendedConfig extends BaseConfig {
  retries: number;
  debug: boolean;
}

// Generic constraint
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

// Условный тип
type IsString<T> = T extends string ? 'yes' : 'no';
type Test1 = IsString<'hello'>; // 'yes'
type Test2 = IsString<number>;  // 'no'

Как отвечать на собеседовании

Начни с краткого определения, затем перечисли основные случаи использования. Обязательно упомяни разницу между extends в классах, интерфейсах и generic-ограничениях. Покажи понимание условных типов как продвинутой возможности. Приведи пример из реальной практики, например, как ты использовал extends для типизации API-ответов или создания базового компонента. Подчеркни, что extends - это механизм ограничения типов, а не просто наследование.

Что проверяет интервьюер

Интервьюер оценивает:

• Понимание системы типов TypeScript, а не только синтаксиса
• Умение различать наследование классов, расширение интерфейсов и generic constraints
• Знание условных типов и их практического применения
• Понимание trade-off между наследованием и композицией
• Способность объяснить, как extends работает на уровне типов, а не только runtime

Типичные ошибки

• Путаница между extends и implements - первое наследует реализацию, второе только проверяет контракт
• Использование extends в generic-ограничениях без необходимости, когда достаточно конкретного типа
• Создание слишком глубоких иерархий наследования, что усложняет поддержку
• Непонимание, что extends в условных типах работает на уровне структуры, а не имени типа
• Попытка использовать extends для расширения примитивных типов (это невозможно)