编程与类型系统
上QQ阅读APP看书,第一时间看更新

本章要点

▪ 常用基本类型及其用途

▪ 布尔表达式的计算

▪ 数值类型和文本编码的陷阱

▪ 数据结构的基础类型

计算机在内部用位序列来表示数据。类型为这些位序列赋予了意义。同时,类型限制了数据的取值范围。类型系统提供了一组基本类型或内置类型,并为组合这些类型规定了一组规则。

本章将介绍一些常用的基本类型(空类型、单元类型、布尔值、数字、字符串、数组和引用类型),它们的使用,以及一些要注意的常见陷阱。虽然我们每天都在使用基本类型,但是每个基本类型都有一些细节,了解之后才能有效地使用它们。例如,布尔表达式可以“短路”,而数值表达式可能溢出。

我们将首先介绍最简单的一些类型,它们只携带很少的信息甚至不携带信息,然后介绍通过各种编码表示数据的类型。最后,我们将介绍数组和引用,它们是其他更加复杂的数据结构的基础模块。