Ответ.

История вопроса

Изначально JavaScript не имел строгой типизации классов и их конструкторов, что приводило к ошибкам в рантайме. TypeScript добавил систему типов для более безопасного программирования и поддержал типизацию конструкторов с наследованием, что важно для разработки крупных приложений.

Проблема

Типизация конструкторов в TypeScript требует одновременного учета сигнатуры конструктора, типа создаваемого экземпляра и особенностей наследования. Проблемы возникают, если сигнатуры конструкторов в базовом и производном классе расходятся, или если типизировано только возвращаемое значение, а не входные параметры конструктора.

Решение

В TypeScript можно явно типизировать конструкторы через специальные сигнатуры, используя выражение new (...args: any[]) => T. При наследовании важно соблюдать согласованность сигнатур и корректно расширять базовые классы.

Пример кода:

class Animal {
  constructor(public name: string) {}
}

class Dog extends Animal {
  constructor(name: string, public breed: string) {
    super(name);
  }
}

// Тип конструктора
function createInstance<T>(C: new (...args: any[]) => T, ...args: any[]): T {
  return new C(...args);
}

const dog = createInstance(Dog, 'Rex', 'Labrador');

Ключевые особенности:

Сигнатура конструктора — отдельная сущность, объявляемая через new
Соблюдение совместимости параметров базового и производного конструктора
Возможность универсального создания экземпляров через типизированные конструкторы

Вопросы с подвохом.

Можно ли объявить в классе несколько constructor, как в Java или C#?

Нет, TypeScript не поддерживает множественные конструкторы. Для имитации перегрузки используют перегрузки сигнатур (overloads) с одной реализацией. Верный подход:

class Example {
  constructor(x: string);
  constructor(x: number);
  constructor(x: number | string) {
    // Одна реализация
  }
}

Можно ли типизировать только возвращаемый тип конструктора, проигнорировав параметры?

Нет, сигнатура конструктора обязательно включает параметры. Пример правильной типизации:

interface Constructable<T> {
  new (...args: any[]): T;
}

Если в дочернем классе объявлять конструктор без вызова super, что будет?

Будет ошибка компиляции: конструктор подкласса должен вызывать super перед обращением к this.

Типовые ошибки и анти-паттерны

Несогласованные параметры конструктора базового и производного класса
Отсутствие вызова super в дочернем конструкторе
Неверная типизация конструктора при абстрагировании через фабрики

Пример из жизни

Негативный кейс

В проекте использовали базовый класс Animal с конструктором (name), а в наследнике Dog добавили (name, breed), но забыли корректно расширить сигнатуру.

Плюсы:

Документируют новые параметры

Минусы:

Нарушается совместимость при создании экземпляров через универсальные фабрики, ошибки на этапе компиляции

Позитивный кейс

Тип конструктора вынесен отдельно, фабрика createInstance параметризована через CorrectConstructable<T>, сигнатуры соблюдены.