Parametry rest i spread z typami

Wprowadzenie

Typowanie parametrów rest

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

Parametry rest po wymaganych parametrach

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

Rozwijanie tablic w funkcjach

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

Rozwijanie zwykłych tablic

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

Parametry rest a obiekt arguments

Rozwijanie obiektów (nie parametry rest)

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

Nadpisywanie właściwości za pomocą spread

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

Typowane rozwijanie tablic

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

Rest w krotkach wariadycznych

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

Rest w destrukturyzacji

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

Szybkie sprawdzenie

Podsumowanie