TypeScript基础知识（九）类型推断和类型兼容性

类型推断（Type Inference）

类型推断（Type Inference）是 TypeScript 中的一个重要特性，它允许编译器自动推导变量的类型，而无需显式地指定类型注解。以下是关于类型推断的一些概念、特点、优缺点和应用场景，同时还提供了一个代码案例。

概念：
类型推断是指 TypeScript 编译器根据赋值表达式的右侧值来推导变量的类型，然后将该类型应用于变量。编译器会根据变量的声明和初始化值的类型进行推断。

特点：

1. 自动推断类型：编译器会根据上下文自动推断出变量的类型。
2. 灵活性：类型推断可以自动适应变化的代码，无需频繁修改类型注解。
3. 静态类型检查：类型推断使编译器能够在编译时检查类型错误，提高代码的可靠性。

优点：

1. 减少冗余代码：无需显式地添加类型注解，减少了代码中的冗余信息。
2. 增加可读性：类型推断可以使代码更简洁、更易读。
3. 提高开发效率：减少了手动添加类型注解的工作量，提高了开发效率。

缺点：

1. 可读性降低：在某些情况下，类型推断可能会导致可读性下降，特别是当代码中一些复杂的类型推断无法一目了然时。
2. 难以调试：当类型推断错误时，由于缺少显式类型注解，调试可能会变得更困难。

应用场景：

1. 在变量声明时不添加类型注解，让编译器根据赋值表达式自动推断类型。
2. 在函数的返回类型、参数类型等地方，可以利用类型推断来简化代码。

代码案例：

function add(a