TypeScript通过类型注解和类型推断实现静态类型检查。开发者可显式标注变量、函数参数及返回值类型，如const age: number = 25；同时编译器能根据初始值自动推断类型，如const count = 42被推断为number。两者结合提升代码安全与可维护性。
TypeScript 是 JavaScript 的超集，它在 JavaScript 基础上引入了静态类型系统。这个类型系统允许开发者在编码阶段就发现潜在的错误，提升代码可维护性和开发体验。其核心机制包括类型注解和类型推断，这两者共同构成了 TypeScript 类型检查的基础。
类型注解：显式声明变量类型
类型注解是开发者主动为变量、函数参数、返回值等添加类型说明的方式，使用 : 类型名 的语法结构。
例如：
const age: number = 25;const name: string = "Alice";
function greet(person: string): string {
return "Hello, " + person;
}
在这个例子中，number、string 都是类型注解。它们明确告诉编译器该变量应存储什么类型的值。如果后续代码尝试将字符串赋给 age，TypeScript 编译器会报错。
立即学习“Java免费学习笔记（深入）”；
类型注解在以下场景尤为重要：
- 函数参数和返回值：避免传入错误类型或误用返回结果
- 对象结构定义：使用接口（interface）或类型别名（type）描述复杂数据结构
- 第三方库交互：当无法自动推断时，手动标注类型以确保安全调用
类型推断：编译器自动识别类型
TypeScript 能在没有显式注解的情况下，根据初始化值自动推断变量类型，这称为类型推断。
例如：
const count = 42; // 推断为 numberconst message = "Hi"; // 推断为 string
const numbers = [1, 2, 3]; // 推断为 number[]
一旦推断完成，该变量的类型就被固定。后续赋值必须符合推断出的类型，否则会报错。
类型推断遵循“从右到左”原则，即基于赋值右侧的值来确定左侧变量的类型。对于复杂表达式，TypeScript 会进行控制流分析，综合判断可能的类型。
常见推断规则包括：
- 初始值决定基础类型（如数字、字符串、布尔）
- 数组元素类型统一时推断为具体类型数组，混合则可能为联合类型
- 函数返回值基于 return 表达式自动推断
联合类型与上下文类型
当一个值可能有多种类型时，TypeScript 使用联合类型（Union Type），例如 string | number。这在处理 API 返回值或用户输入时很常见。
此外，TypeScript 还支持上下文类型（Contextual Typing），即根据变量所处的位置反向推断其类型。例如在事件监听中：
document.addEventListener("click", function(e) {// e 被自动推断为 MouseEvent
});
尽管没有标注 e 的类型，但编译器根据 addEventListener 的定义知道回调函数接收 MouseEvent 参数，因此自动赋予 e 正确类型。
类型兼容性与最佳公共类型
在多个分支返回不同值时，TypeScript 会寻找“最佳公共类型”进行推断。例如：
let item = Math.random() > 0.5 ? "hello" : 100;// item 被推断为 string | number
这里字符串和数字没有共同父类型，因此最终类型是两者的联合。如果有更具体的共同基类（如类继承关系），编译器会选择最合适的公共类型。
基本上就这些。TypeScript 的类型系统通过注解和推断协同工作，在保持 JavaScript 灵活性的同时增强了类型安全性。合理利用两者，既能减少冗余代码，又能有效防止类型错误。不复杂但容易忽略的是，理解推断规则有助于写出更简洁且类型安全的代码。
