类型系统中的本质：探究 TypeScript 中的底层和顶层类型

TypeScript 中的类型系统

TypeScript 是一种静态类型的编程语言，这意味着在编译时就可以检查类型错误。TypeScript 的类型系统基于结构类型，即类型的兼容性取决于它们的结构是否相同。

TypeScript 中有两种类型的类型：底层类型和顶层类型。

底层类型

底层类型是 TypeScript 中最基本的数据类型，包括：

• 数值类型（number）
• 布尔类型（boolean）
• 字符串类型（string）
• 空类型（null）
• 未定义类型（undefined）
• 元组类型（tuple）
• 数组类型（array）
• 对象类型（object）

底层类型是 TypeScript 中其他所有类型的基础。

顶层类型

顶层类型是 TypeScript 中的特殊类型，它们不属于底层类型。顶层类型包括：

• any 类型
• unknown 类型

顶层类型被用于特殊的情况，它们可以打破 TypeScript 的类型系统，但也可能带来意想不到的错误。

any 类型

any 类型可以表示任何值，它允许你将任何值赋给 any 类型的变量。any 类型可以被隐式转换为任何其他类型，因此它可以被用于类型不确定的情况。

但是，any 类型也存在一些问题。由于 any 类型可以表示任何值，因此 TypeScript 无法对 any 类型的变量进行类型检查。这可能会导致运行时错误。

unknown 类型

unknown 类型与 any 类型类似，它也可以表示任何值。但是，unknown 类型不会被隐式转换为任何其他类型。这意味着你必须显式地将 unknown 类型的变量转换为其他类型。

unknown 类型比 any 类型更安全，因为它可以防止你意外地将不兼容的值赋给 unknown 类型的变量。但是，unknown 类型也更麻烦，因为它需要你显式地进行类型转换。

any 和 unknown 类型的正确用法

any 和 unknown 类型都是顶层类型，它们都允许你将任何值赋给它们。但是，any 类型比 unknown 类型更不安全，因为它可以被隐式转换为任何其他类型。因此，你应该尽量避免使用 any 类型。

你应该只在以下情况下使用 any 类型：

• 你需要与 JavaScript 代码交互
• 你需要编写一个通用函数或类，而你不知道它的确切类型
• 你需要编写一个临时变量，而你还没有确定它的类型

你应该在其他情况下使用 unknown 类型。unknown 类型比 any 类型更安全，因为它不会被隐式转换为任何其他类型。但是，你必须显式地将 unknown 类型的变量转换为其他类型。

结语

TypeScript 中的类型系统非常重要，它可以帮助你编写更健壮、更可维护的代码。底层类型是 TypeScript 中最基本的数据类型，而顶层类型是 TypeScript 中的特殊类型，它们可以打破 TypeScript 的类型系统。

any 类型和 unknown 类型都是顶层类型，它们都允许你将任何值赋给它们。但是，any 类型比 unknown 类型更不安全，因为它可以被隐式转换为任何其他类型。因此，你应该尽量避免使用 any 类型。