TypeScript Type Innference(类型判断)

TypeScript Type Inference（类型判断）是 TypeScript 编译器所提供的一种类型推断机制，即在编译时自动推断变量、函数返回值等类型信息，从而使代码更加简洁、易读、易于维护。

TypeScript的类型推断包括以下两种情况：

1. 变量定义时初始化赋值；
2. 函数返回类型推断。

变量定义时初始化赋值

当定义变量并进行初始化赋值操作的时候，TypeScript 将会自动根据变量的初始化值来推断变量的类型。

例如：

let num = 10; // 类型推断为number
let str = "hello"; // 类型推断为string
let bool = true; // 类型推断为boolean

上述代码中，变量 num、str、bool 的数据类型都是通过变量初始化时的赋值自动推断得出。在这个过程中，TypeScript 根据变量初始化的赋值来推断变量的类型，从而省去了我们进行一些繁琐的类型声明操作。

另外需要注意的是，在 TypeScript 中，只有在变量初始化时，TypeScript 才会进行类型的推断，因此在变量定义之后也没有赋值就直接使用的话，会出现编译错误。

let num; // 错误：变量“num”没有明显类型，需要一个显式类型。
console.log(num); 

函数返回类型推断

函数返回类型推断是指根据函数体中的 return 语句自动推断出函数的返回类型，这种类型推断是基于类型推断的另一种情况。

示例：

function add(a: number, b: number) {
  return a + b; // 类型推断为number类型
}

let result = add(1, 2); // 类型推断为number类型

在上面代码中，TypeScript 会自动推断 add 函数的返回类型为number类型，并将这个类型赋值给变量 num。这里不用定义返回值类型为 number，是因为 TypeScript 可以自己通过函数的返回值类型来推断出函数的返回值类型。

再看一个示例：

function getString(data: string | number) {
  if (typeof data === "string") {
    return data.toUpperCase(); // 类型推断为string类型
  } else {
    return data.toFixed(2); // 类型推断为number类型
  }
}

let str = getString("hello"); // 类型推断为string类型
let num = getString(12.345); // 类型推断为string类型

上述代码中，在函数 getString 的代码体内根据参数值的类型变化来返回不同的类型，TypeScript 会根据 return 语句来推断不同的返回类型，同时也为返回的变量 str、num 推断出不同的数据类型。

总之，TypeScript 的类型推断机制可以在编码时帮助我们更加简洁，避免出现类型不匹配的问题。