Rest-элементы и дженерики

Принципы

• Расширение кортежей через rest ([name: string, ...things: T]) позволяет сочетать фиксированную часть и вариативный хвост.
• Дженерики с ограничением T extends unknown[] гарантируют, что дополнение — это массив определённого типа.
• Методы могут принимать вариативное число аргументов с сохранением типизации (function logThings<T extends unknown[]>(name: string, ...things: T)).

Пример

type NameAndThings<T extends unknown[]> = [name: string, ...things: T];

let bobScores: NameAndThings<number[]>;
bobScores = ['Bob', 4, 9, 3];

type Grade = 'A' | 'B' | 'C';
type NameAndGrades = NameAndThings<Grade[]>;
const bobGrades: NameAndGrades = ['Bob', 'A', 'B', 'C'];

function logThings<T extends unknown[]>(name: string, ...things: T) {
  console.log(name, things);
}

Практика

• Применяйте rest-кортежи для описания аргументов команд (['command', ...args]) или событий.
• Используйте литеральные объединения (type Grade = 'A' | 'B' | 'C'), чтобы ограничить допустимые значения.
• Для функций, принимающих rest, возвращайте массив или выполняйте операции над things — TypeScript сохранит точные типы.