typescript类型推断

TypeScript 的类型推断是指 TypeScript 在编译阶段自动推断变量的类型，根据变量的赋值和使用情况来确定其类型。这样可以减少显式的类型注解，提高开发效率。

TypeScript 的类型推断是基于以下几个原则：

1. 变量初始化：当变量被初始化时，TypeScript 根据初始值的类型推断出变量的类型。
2. 上下文类型：当变量被赋值给其他变量或作为参数传递给函数时，TypeScript 根据赋值或使用的上下文推断出变量的类型。
3. 函数返回值：当函数有返回值时，TypeScript 根据函数内部的逻辑推断出返回值的类型。
4. 隐式类型转换：当进行隐式类型转换时，TypeScript 会根据转换的规则推断出目标类型。

例如，下面的代码演示了 TypeScript 的类型推断：

let x = 10; // 推断 x 的类型为 number
let y = 'hello'; // 推断 y 的类型为 string
let z = [1, 2, 3]; // 推断 z 的类型为 number[]
let obj = { name: 'Alice', age: 30 }; // 推断 obj 的类型为 { name: string, age: number }

function add(a: number, b: number) {
  return a + b;
}
let result = add(1, 2); // 推断 result 的类型为 number

需要注意的是，类型推断并不是完全可靠的，有些情况下可能无法推断出准确的类型，或者推断出的类型并不符合预期。在这些情况下，我们可以使用显式的类型注解来明确指定变量的类型。