オプショナル引数やデフォルト引数を含め、関数の型はどのように付けますか?

Question

Accepted Answer

引数と戻り値に型を付けます。TypeScript はオプショナル引数、デフォルト引数、残余引数(rest parameter)をサポートしています。

```ts
// basic
function add(a: number, b: number): number { return a + b; }

// optional parameter (?) — must come after required ones
function greet(name: string, title?: string): string {
  return title ? `${title} ${name}` : name; // title is string | undefined
}

// default parameter — implies optional
function inc(n: number, by: number = 1): number { return n + by; }

// rest parameter — typed as an array
function sum(...nums: number[]): number {
  return nums.reduce((a, n) => a + n, 0);
}
```

## 関数型の式(function type expressions)

関数の *シグネチャ* を型として記述できます。コールバックや関数を保持する変数に便利です。

```ts
type BinaryOp = (a: number, b: number) => number;
const multiply: BinaryOp = (a, b) => a * b; // params inferred from BinaryOp

// callback parameter
function apply(op: (x: number) => number, val: number) { return op(val); }
```

## オーバーロード(複数のシグネチャ)

```ts
function parse(x: string): number;
function parse(x: number): string;
function parse(x: any): any { return typeof x === "string" ? +x : String(x); }
```

## なぜ重要なのか

関数に正確な型を付けることは、TypeScript の価値の核心です。呼び出し側はチェック済みの引数と既知の戻り値の型を得られ、オプショナル引数やデフォルト引数は実世界の柔軟性をモデル化し、関数型エイリアスは高階のコード(コールバック、イベントハンドラ、ミドルウェア)を自己文書化された安全なものにします。