函数是类型安全的单元。在 TypeScript 中，函数不仅具有参数列表和返回值类型，还可以根据其类型、名称和参数类型进行重载。除了这些属性之外，TypeScript 还为函数提供了以下特性：
- 默认参数
- 可选参数
- 剩余参数
- 函数重载
然而，在 TypeScript 中准确描述函数类型并非易事。因此，正确理解函数签名是编写可靠代码的必要条件。
函数签名的概念
函数签名是函数类型定义的本质。它是函数类型的接口，描述了函数需要的参数和返回值。函数签名有以下特征：
- 一个函数签名定义了函数的参数类型和返回类型
- 函数签名与函数功能无关
- 可以多次重载一个函数，重载是基于函数签名完成的
在 TypeScript 中，使用函数签名可以定义一个函数类型，而不仅仅是函数本身。这使得 TypeScript 可以判断函数参数和返回值类型是否正确，从而保证函数的类型安全。
函数签名的语法
在 TypeScript 中定义函数签名，语法如下：
(parameter: type, parameter: type, ...) => return-type;
其中，
parameter是函数的参数名。type是函数的参数类型。...是剩余参数符号（可选）。return-type是函数的返回类型。
因此，函数签名通过它的参数和返回类型定义函数的结构。下面是函数签名的示例代码：
type Operation = (first_operand: number, second_operand: number) => number;
以上代码是一个类型别名，它定义了一个函数类型，该函数接受两个 number 类型的参数，并返回另一个 number 类型的值。
函数重载和函数签名
在 TypeScript 中，可以重载函数以匹配不同的参数类型和数量，但是重载函数的参数和返回值必须符合原始函数签名。例如：
function add(x: string, y: string): string;
function add(x: number, y: number): number;
function add(x: any, y: any): any {
return x + y;
}在上面的示例中，我们定义了一个具有三个重载的函数 add。每个重载都有一个唯一的参数列表和返回类型。最后一个函数定义了实际的实现，它接受任何类型的参数，并返回一个相应的结果。但是，该函数必须遵循函数签名（即第一个和第二个重载）所定义的约束条件。
函数类型和函数签名
在 TypeScript 中，函数类型是具有应用程序接口的类型。函数类型本质上是函数签名约束的集合。函数类型定义了函数签名，以及其所有属性，包括参数，默认值和返回类型。例如：
type Performer = {
name: string;
perform: (genre?: string) => void;
};在上面的示例中，我们定义了一个函数类型 Performer。它具有一个 name 字符串属性和一个名为 perform() 的函数。在这里，perform() 函数的签名被限制为只有一个可选的 genre 参数，该参数没有返回值。函数签名是函数类型的核心， 它为函数翻译成必要的接口声明。
总结
在 TypeScript 中，函数签名是平滑函数重载的关键。正确的函数签名可以让 TypeScript 判断函数的类型安全性。你可以使用函数签名实现自定义函数类型，并在类型描述中使用函数签名和函数类型。这些用途都是 TypeScript 的强大功能，可以让你构建更可靠和健壮的应用程序。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/64b3bb0248841e9894ff72fd