TypeScript 编程

第 3 章. 关于类型

本作品已使用人工智能进行翻译。欢迎您提供反馈和意见：[e-mail]

在上一章中，我介绍了类型系统的概念，但我从未定义过类型系统中的类型的真正含义。

类型

一套价值观和你能用它们做的事情。

如果听起来令人困惑，让我举几个熟悉的例子：

• boolean 类型是所有布尔类型的集合（只有两个：true 和false ），以及可以对它们执行的操作（如||,&&, 和! ）。

• number 类型是所有数字的集合，以及可以对它们执行的操作（如+,-, *,/,%,||,&&, 和? ），包括可以对它们调用的方法，如.toFixed,.toPrecision,.toString, 等等。

• string 类型是所有字符串的集合，以及可以对它们执行的操作（如+,||, 和&& ），包括可以对它们调用的方法，如 .concat和.toUpperCase 等方法。

当你看到某个东西的类型是T 时，你不仅知道它是一个T ，而且还清楚地知道你能用T 做什么（以及不能做什么）。记住，使用类型检查器的目的就是阻止你做无效的事情。 而类型检查程序知道哪些是有效的，哪些是无效的，就是通过查看你正在使用的类型以及你是如何使用它们的。

在本章中，我们将介绍 TypeScript 中可用的类型，并介绍每种类型的基本功能。图 3-1给出了一个概览。

图 3-1. Typescript 的类型层次结构

谈类型

当程序员谈论类型时，他们使用一个精确、通用的词汇来描述其含义。 我们将在本书中通篇使用这个词汇。

假设有一个函数，它接收某个值，然后返回 该值乘以自身的值：

function squareOf(n) {
  return n * n
}
squareOf(2)     // evaluates to 4
squareOf('z')   // evaluates to NaN

显然，这个函数只对数字有效--如果向squareOf 传递的不是数字，结果将是无效的。 因此，我们要做的就是明确注释参数的 类型：

function squareOf(n: number) {
  return n * n
}
squareOf(2)     // evaluates to 4
squareOf('z')   // Error TS2345: Argument of type '"z"' is not assignable to
                // parameter of type 'number'.

现在，如果我们在调用squareOf 时使用的不是数字，Typescript 就会立即抱怨。这是一个微不足道的示例（我们将在下一章详细讨论函数），但它足以介绍一些概念，这些概念是在 TypeScript 中讨论类型的关键。关于最后一个代码示例，我们可以说以下几点：

1. squareOf的参数n 受限于 number 。

2. 2 值的类型可分配给（等同于：与）number 。

在没有类型注解的情况下，squareOf 的参数是不受约束的，你可以向它传递任何类型的参数。 一旦我们对它进行了约束，TypeScript 就会为我们工作，验证我们在调用函数时是否每次都使用了兼容的参数。在这个例子中，2 的类型是number ，它可以赋值给squareOf ...