你如何为函数进行类型标注，包括可选参数和默认参数？

Question

Accepted Answer

你为参数和返回值进行类型标注，TypeScript 支持可选参数、默认参数和 rest 参数。

```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);
}
```

## 函数类型表达式

你可以将函数的*签名*描述为一个类型 — 这对回调函数和持有函数的变量很有用：

```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 的核心价值 — 调用者会获得参数检查和已知的返回类型，可选/默认参数模拟了真实场景的灵活性，而函数类型别名使高阶代码（回调函数、事件处理器、中间件）自文档化且类型安全。