Restパラメーターと型付きSpread

ようこそ

Restパラメーターの型付け

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

必須パラメーターの後ろのRestパラメーター

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

Restパラメーターとargumentsオブジェクト

オブジェクトのスプレッド（Restパラメーターではありません）

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]

可変長タプルのRest

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

分割代入でのRest

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

クイックチェック

まとめ