8 类型推断

在上一章中，我们讨论了 TypeScript 中的类型注解，了解了如何为变量显式声明类型。在本章中，我们将学习类型推断，这是 TypeScript 的一项重要特性，它能让我们在不显式声明类型的情况下，自动推测出变量的类型。

什么是类型推断？

类型推断是 TypeScript 自动为变量推断出其类型的一种机制。即使我们没有显式指定变量的类型，TypeScript 也会根据初始值来推断出该变量的类型。这使得代码更加简洁，同时还能保持一定的类型安全性。

示例：基本类型的推断

让我们看一个简单的例子：

let num = 10;  // TypeScript 推断 num 的类型为 number
let str = "Hello, TypeScript!";  // TypeScript 推断 str 的类型为 string

在这个例子中，我们没有为 num 和 str 变量显式注解类型，TypeScript 根据它们的初始值自动推断出它们的类型。num 被推断为 number 类型，而 str 被推断为 string 类型。

我们也可以使用 console.log 来输出变量的类型：

console.log(typeof num);  // 输出: number
console.log(typeof str);  // 输出: string

类型推断的复杂类型

类型推断不仅限于基本类型，也适用于复杂类型。看看下面的例子：

let array = [1, 2, 3];  // TypeScript 推断 array 的类型为 number[]
let obj = { name: "Alice", age: 25 };  // TypeScript 推断 obj 的类型为 { name: string; age: number; }

在这个场景中，array 被推断为一个包含数字的数组，而 obj 被推断为一个包含特定结构的对象。这使得 TypeScript 在针对 array 和 obj 进行操作时，可以提供更好的类型检查。

当类型推断失败时

类型推断并不是万无一失。在某些情况下，如果 TypeScript 不足以确定一个变量的类型，它会将其推断为 any 类型：

let anything;  // anything 的类型被推断为 any
anything = 10;
anything = "Now I'm a string!";

在上面的例子中，anything 被推断为 any 类型，这意味着它可以接受任何类型的值。这虽然提供了灵活性，但失去了类型检查的安全性。因此，在实际开发中，我们应该尽量避免使用 any，以保持代码的可维护性和可读性。

变量初始值推断与后续赋值

当我们给变量赋新值时，TypeScript 可能会因为新值的类型而更改变量的类型。例如：

let unionType = 10;  // 现在是 number
unionType = "A string";  // TypeScript 允许这是因为它是任何类型

在这个例子中，unionType 最初被推断为 number，但由于后续赋值为字符串，TypeScript 自动将其视为 any，这使得代码容易出现潜在的错误。

小结

类型推断是 TypeScript 的一项强大功能，可以在不注明类型的情况下为你的变量提供类型支持，使得你可以专注于业务逻辑而不必过多担心类型问题。在编写代码时，合理利用类型推断可以让你的开发过程更加顺畅。

在我们的下一章中，我们将深入讨论函数与接口，探索如何定义和调用函数，以及如何使用接口来定义复杂的数据结构。这个部分将大大增强我们对 TypeScript 的掌握。敬请期待！