函数推断

TypeScript编译器会自动识别出类型，即为函数推断。在实际的使用场景中，如果没有描述类型，编译器会自动推断类型。编译器自动识别类型的方法是“按上下文归类”，是类型推论的一种。它帮助我们更好地为程序指定类型。
所以TypeScript可以根据赋值表达式、函数调用等上下文信息推断变量的类型，而无需显式地指定类型注解。

TypeScript的类型推断主要有以下几种情况：

变量声明时的赋值表达式：

typescript

let num = 10; // 推断为number类型
let str = "hello"; // 推断为string类型
let arr = [1, 2, 3]; // 推断为number[]类型
let obj = { name: "Alice", age: 20 }; // 推断为{ name: string, age: number }类型

在这些示例中，编译器根据变量的赋值表达式推断出相应的类型。

函数的返回值推断：

typescript

function greeting(name: string) {
  return "Hello, " + name;
}

let message = greeting("Alice"); // 推断message为string类型

在这个示例中，编译器通过变量message的赋值来推断函数greeting的返回值类型。

函数参数的推断：

typescript

function multiply(a: number, b: number) {
  return a * b;
}

let result = multiply(5, 10); // 推断结果类型为number

在这个示例中，编译器根据函数multiply的参数类型推断出函数调用时传入的参数类型，从而推断出结果类型。

除了上述情况外，还有其他一些推断类型的情况，例如：

推断函数表达式的参数类型和返回值类型；
推断数组和对象字面量的元素类型和属性类型；
推断函数的上下文类型；
推断泛型类型参数的类型。

需要注意的是，类型推断是TypeScript的一种辅助功能，有时不能准确地推断出变量的类型，或者我们希望显式地指定类型以提高代码的可读性和健壮性时，可以使用类型注解来显式地指定变量的类型。

函数推断 ​

函数推断