简述什么是TypeScript 类型批注 ？
在TypeScript中，类型批注（Type Annotations）是一种语法，允许你显式指定变量、函数参数、函数返回值等的类型。类型批注提供了一种方式来告诉TypeScript编译器期望的数据类型，使得编译器可以在编译时进行类型检查，帮助开发者捕获类型错误和潜在的问题。
使用类型批注的语法
类型批注使用冒号（:）后跟类型名称的形式来声明。以下是一些基本的类型批注示例：
- 变量：
let name: string = "Alice";
在这个示例中，变量name被批注为string类型，表示name应该是一个字符串。
- 函数参数：
function greet(name: string): void {
console.log("Hello, " + name + "!");
}
这里，函数greet的参数name被批注为string类型，表示这个函数期望接收一个字符串参数。同时，函数的返回值类型被批注为void，表示这个函数没有返回值。
- 函数返回值：
function add(x: number, y: number): number {
return x + y;
}
在这个示例中，函数add接收两个number类型的参数，并返回一个number类型的结果。
类型批注的好处
- 提高代码清晰度：类型批注使得函数的预期输入和输出非常清晰，提高了代码的可读性。
-
编译时类型检查：TypeScript编译器会使用类型批注来检查类型的正确性，帮助开发者在代码运行前发现潜在的类型错误。
-
更好的开发体验：类型批注使得开发工具（如Visual Studio Code）能够提供更准确的代码补全、提示和重构功能。
-
文档作用：类型批注本身也充当了代码的文档，使得其他开发者更容易理解代码的意图。
总的来说，类型批注是TypeScript提供的一个核心特性，它不仅增强了JavaScript的表达能力，还通过静态类型检查帮助开发者编写更健壮、更易于维护的代码。