Остаточные параметры и оператор разворота с типами

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

Типизация остаточных параметров

function sum(...nums: number[]): number {
  return nums.reduce((a, b) => a + b, 0);
}
console.log(sum(1, 2, 3, 4)); // 10

Остаточные параметры после обязательных

function log(level: string, ...messages: string[]): void {
  console.log(level, messages.join(' '));
}
log('INFO', 'Server', 'started', 'on', 'port', '3000');

Передача массивов в функции с помощью разворачивания

function add(a: number, b: number): number { return a + b; }
const args: [number, number] = [1, 2];
add(...args); // OK — tuple spread is type-safe

Разворачивание обычных массивов

const nums = [1, 2]; // number[] — length unknown
// add(...nums); // Error: spread must match parameters
const pair: [number, number] = [1, 2];
add(...pair); // OK — tuple has known length

Остаточные параметры и объект arguments

Разворачивание объектов (не остаточные параметры)

const a = { x: 1, y: 2 };
const b = { z: 3 };
const c = { ...a, ...b }; // { x: number; y: number; z: number }

Переопределение свойств при разворачивании

const base = { color: 'red', size: 5 };
const updated = { ...base, color: 'blue' };
// { color: 'blue', size: 5 }

Типизированное разворачивание в массивах

const a: number[] = [1, 2];
const b: number[] = [3, 4];
const c: number[] = [...a, ...b]; // [1, 2, 3, 4]

Остаточные элементы вариативных кортежей

type Strings = string[];
type StringsAndNumber = [...Strings, number];
const t: StringsAndNumber = ['a', 'b', 42];

Остаточные элементы при деструктуризации

const [first, ...rest]: number[] = [1, 2, 3, 4];
// first: number, rest: number[]

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

Итоги