第四节：特殊数据结构.pdfVIP

第四章：特殊数据结构 在之前的章节⾥，我们讨论了列表，Lisp 最多功能的数据结构。本章将演⽰如何使 Lisp 其它的数据结构：数组 （包含向量与字符串），结构以及哈希表。它们或许不像 列表这么灵活，但存取速度更快并使 了更少空间。 Common Lisp 还有另⼀种数据结构：实例 （instance ）。实例将在 11 章讨论，讲述 CLOS 。 4 .1 数组 (Array) 4 .2 ⽰例：⼆叉搜索 (Example: Binary Search) 4 .3 字符与字符串 (Strin s and Characters) 4 .4 序列 (Sequences) 4 .5 ⽰例：解析⽇期 (Example: Parsin Dates) 4 .6 结构 (Structures) 4 .7 ⽰例：⼆叉搜索树 (Example: Binary Search Tree) 4 .8 哈希表 (Hash Table) Chapter 4 总结 (Summary) Chapter 4 习题 (Exercises) 4.1 数组 (Array) 在 Common Lisp ⾥，你可以调 make-array 来构造⼀个数组，第⼀个实参为⼀个 指定数组维度的列表。要构造⼀个 2 x 3 的数组，我们可以： (setf arr (make-array (2 3) :initial-element nil)) #Simple-Array T (2 3) BFC FE Common Lisp 的数组⾄少可以达到七个维度，每个维度⾄少可以容纳 1023 个元素。 :initial-element 实参是选择性的。如果有提供这个实参，整个数组会 这个值 作为初始值。若试著取出未初始化的数组内的元素，其结果为未定义 （undefined ）。 aref 取出数组内的元素。与 Common Lisp 的存取函数⼀样， aref 是零索引的 （zero-indexed ）： (aref arr 0 0) NIL 要替换数组的某个元素，我们使 setf 与 aref ： (setf (aref arr 0 0) b) B (aref arr 0 0) B 要表⽰字⾯常量的数组 （literal array ），使 #na 语法，其中 n 是数组的维度。举例 来说，我们可以这样表⽰ arr 这个数组： #2a((b nil nil) (nil nil nil)) 如果全局变量 *print-array* 为真，则数组会 以下形式来显⽰： (setf *print-array* t) T arr #2A((B NIL NIL) (NIL NIL NIL)) 如果我们只想要⼀维的数组，你可以给 make-array 第⼀个实参传⼀个整数，⽽不 是⼀个列表： (setf vec (make-array :initial-element nil)) #(NIL NIL NIL NIL) ⼀维数组又称为向量 （vector ）。你可以通过调 vector 来⼀步骤构造及填满向 量，向量的元素可以是任何类型： (vector a b 3) #(a b 3) 字⾯常量的数组可以表⽰成 #na ，字⾯常量的向量也可以 这种语法表达。 可以 aref 来存取向量，但有⼀个更快的函数叫做 svref ，专门 来存取向量。 (svref vec 0) NIL 在 svref 内的 “sv” 代表“简单向量” （“simple vector” ），所有的向量缺省是简单向 量。 [1] 4.2 ⽰例：⼆叉搜索 (Example: Binary Search) 作为⼀个⽰例，这⼩节演⽰如何写⼀个在排序好的向量⾥搜索对象的函数。如果我们 知道⼀个向量是排序好的，我们可以⽐ （65页）find 做的更好， find 必须依序检 查每⼀个元素。我们可以直接跳到向量中间开始找。如果中间的元素是我们要找的对 象，搜索完毕。要不然我们持续往左半部或往右半部搜索，取决于对象是⼩于或⼤于 中间的元素。 图 4 .1 包含了⼀个这么⼯作的函数。其实这两个函数： bin-search 设置初始范围及 发送控制信号给 finder ， finder 寻找向量 vec内 obj 是否介于 start 及 en