在TypeScript中如何支持类型推断？

在 TypeScript 中，类型推断是自动进行的，这意味着在很多情况下，你不需要显式地声明变量的类型。TypeScript 编译器会根据初始化变量的值或函数返回的值来推断其类型。

以下是一些 TypeScript 类型推断的例子：

1. 变量类型推断：

let x = 3; // x 被推断为 number 类型
x = "hello"; // 错误：不能将字符串赋值给 number 类型

在这个例子中，TypeScript 推断出 x 是 number 类型，因为它被初始化为 3。所以，当我们尝试将字符串赋值给 x 时，TypeScript 会报错。

2. 函数返回类型推断：

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

let sum = add(1, 2); // sum 的类型被推断为 number
sum = "hello"; // 错误：不能将字符串赋值给 number 类型

在这个例子中，TypeScript 根据 add 函数的返回值推断出其返回类型为 number。因此，当我们尝试将字符串赋值给 sum 时，TypeScript 会报错。

3. 对象类型推断：

let user = { name: "Alice", age: 30 }; // user 的类型被推断为 { name: string, age: number }
user.name = 123; // 错误：不能将 number 赋值给 string 类型

在这个例子中，TypeScript 根据对象的初始化值推断出 user 的类型。所以，当我们尝试将数字赋值给 user.name 时，TypeScript 会报错。

总的来说，TypeScript 的类型推断功能可以大大简化代码，并减少显式的类型声明。然而，在某些情况下，你可能仍然需要显式地声明类型，以确保代码的正确性和可读性。