TypeScript函数参数声明与重载围绕“类型精准”和“调用明确”设计：形参须标注类型且按必填→默认→可选顺序排列；重载由多个签名与一个兼容实现组成，编译器依实参类型自上而下匹配签名并推断返回类型。
TypeScript 中函数的参数声明和重载不是堆砌语法，而是围绕“类型精准”和“调用明确”两个目标设计的。关键在于：形参定义约束输入、可选参数控制灵活性、重载签名补足联合类型的表达缺陷。
形参与可选参数的声明规则
形参必须标注类型，且顺序有严格要求：必填参数 → 有默认值的参数 → 可选参数（用?标记）。
- 必填参数：如
name: string，调用时不可省略 - 默认参数：如
prefix: string = "Mr."，不传时自动取值，类型仍需显式声明 - 可选参数：如
suffix?: string，类型实际是string | undefined，且必须放在所有必填参数之后
错误示例：function f(a?: number, b: string) 会报错，因为可选参数不能前置。
函数重载的核心结构
重载不是多个函数，而是一个函数名下多组“类型契约”——由重载签名 + 实现签名共同构成。编译器只看签名匹配，不运行时判断。
- 重载签名写在最前，无函数体，只描述“什么输入 → 什么输出”，例如：
function parse(input: string): number;function parse(input: string[]): number[]; - 实现签名写在最后，参数类型需兼容所有重载签名（通常用联合类型），返回类型也需覆盖全部可能，但具体逻辑由开发者用类型守卫（如
typeof或Array.isArray）分发 - 调用时，TS 根据你传入的实参类型，从上到下匹配第一个适用的重载签名，并据此推断返回类型——这才是类型精准的关键
重载中容易踩的坑
重载签名之间不能存在歧义，否则编译器无法唯一确定调用路径。
- 避免两个签名参数类型可互相赋值，比如
(x: string | number)和(x: string)并存，前者会吞掉后者 - 实现签名的参数类型必须能接收所有重载签名的输入，但不能比它们更宽泛；例如重载只支持
string和string[]，实现签名就不能写成any - 重载不改变运行时行为，只是增强类型检查——逻辑仍靠
if/else或类型断言手动分支
一个实用的重载组合示例
处理日期构造：支持时间戳或年月日三元组，返回统一的 Date 对象，且调用时类型精确：
// 重载签名
function createDate(timestamp: number): Date;
function createDate(year: number, month: number, day: number): Date;
<p>// 实现签名
function createDate(...args: any[]): Date {
if (args.length === 1) {
return new Date(args[0]);
} else if (args.length === 3) {
return new Date(args[0], args[1] - 1, args[2]);
}
throw new Error("Invalid arguments");
}调用 createDate(1721562240000) 返回 Date 类型，createDate(2024, 6, 21) 同样返回 Date，但两者不会互相干扰，类型系统全程可追溯。
