TypeScript 类型推论（Type Inference）是一种编译器自动推断变量类型的机制。在很多情况下，TypeScript 能够根据代码的上下文自动推断出变量的类型，这使得我们在编写代码时不必显式地指定每一个类型，从而提升了代码的简洁性和可读性。以下是对 TypeScript 类型推论的详细介绍。

基本类型推论

当变量被声明并初始化时，TypeScript 会根据初始化的值推断出变量的类型。

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

即使没有显式地声明类型，TypeScript 也能够推断出变量的类型。例如，num 被推断为 number，因为它被初始化为 10。

最佳通用类型

当推断数组的类型时，TypeScript 会基于数组元素的类型推断出数组的类型。

let numbers = [1, 2, 3, 4]; // 推断为 number[]
let strings = ["a", "b", "c"]; // 推断为 string[]
<