> Как работает перегрузка функций в TypeScript (TypeScript)

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

Перегрузка функций в TypeScript - это механизм, позволяющий объявить несколько сигнатур для одной функции, но с одной реализацией. Компилятор выбирает подходящую сигнатуру на основе типов и количества аргументов во время вызова. Это не настоящая перегрузка как в C++ или Java, а лишь декларация типов для улучшения type safety и автодополнения. Реализация должна проверять типы аргументов вручную.

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

TypeScript не поддерживает настоящую перегрузку функций на уровне runtime, как это делают некоторые компилируемые языки. Вместо этого он предоставляет синтаксический сахар для описания нескольких возможных способов вызова функции с разными типами параметров. Это работает следующим образом:

• Сначала пишутся несколько сигнатур перегрузки (overload signatures) - они описывают возможные комбинации параметров и возвращаемые типы.
• Затем идёт одна реализация (implementation signature), которая должна быть совместима со всеми объявленными сигнатурами.
• При вызове функции TypeScript использует первую подходящую сигнатуру для проверки типов и вывода возвращаемого типа.

Важно: сигнатуры перегрузки не компилируются в JavaScript - они существуют только на уровне типов. Вся логика проверки аргументов ложится на разработчика внутри реализации.

На практике

Перегрузка функций чаще всего используется в библиотеках и API, где один метод может принимать разные типы данных. Например, функция создания элемента DOM может принимать либо строку с тегом, либо объект с конфигурацией. В реальных проектах стоит избегать излишней перегрузки - если сигнатур больше 3-4, лучше разбить функцию на несколько отдельных.

Типичные сценарии:

• Фабричные функции с разными наборами параметров
• Функции, работающие с разными типами данных (строка/массив/объект)
• API-методы с опциональными параметрами разного типа

Пример кода

TYPESCRIPT
// Сигнатуры перегрузки
function createUser(name: string): User;
function createUser(name: string, age: number): User;
function createUser(name: string, age?: number, email?: string): User;

// Реализация
function createUser(name: string, age?: number, email?: string): User {
  if (age !== undefined && email !== undefined) {
    return { name, age, email };
  }
  if (age !== undefined) {
    return { name, age };
  }
  return { name };
}

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

Начни с чёткого определения: перегрузка - это декларация нескольких сигнатур для одной реализации. Подчеркни, что это не runtime-механизм, а только типизация. Объясни разницу между сигнатурами перегрузки и сигнатурой реализации. Приведи пример из практики, где это действительно упрощает API. Упомяни, что в сложных случаях лучше использовать union types или generic.

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

• Понимание разницы между compile-time и runtime поведением TypeScript
• Умение правильно проектировать сигнатуры перегрузки
• Знание ограничений: реализация должна быть совместима со всеми сигнатурами
• Способность выбрать между перегрузкой, union types и generics

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

• Путаница с порядком сигнатур: TypeScript выбирает первую подходящую, поэтому более специфичные сигнатуры должны идти раньше
• Неправильная сигнатура реализации: она должна быть совместима со всеми объявленными сигнатурами, иначе будет ошибка компиляции
• Избыточное использование: когда достаточно union types или опциональных параметров
• Забывают, что перегрузка не влияет на runtime - нужно вручную проверять типы аргументов