Lisp 类型系统：类型声明与检查

Lisp 通常被视为动态类型语言的代表，但这并不意味着它缺乏类型系统。相反，Common Lisp 拥有一个极其强大且复杂的类型系统，允许开发者在不牺牲灵活性的前提下，通过类型声明提升代码的运行效率和安全性。理解并正确使用类型声明与检查机制，是编写高性能 Lisp 程序的关键。

1. 理解 Lisp 的类型声明机制

在 Lisp 中，变量本身没有固定的类型，类型属于“值”。这意味着你可以在任何时刻将任何类型的对象赋值给变量。然而，为了让编译器生成更高效的机器码，或者为了在开发阶段捕获错误，我们可以主动告诉编译器“这个变量应该是什么类型”。

核心目的：

• 提升性能：编译器得知类型后，可以去除运行时的类型检查，并使用更底层的机器指令。
• 增强安全：通过类型检查，可以在函数入口或运算前拦截不合法的数据。

2. 使用 declare 进行局部类型声明

declare 是最常用的类型声明方式，它通常放置在函数体、let 绑定或其他作用域体的最开头，用于告诉编译器关于局部变量的类型信息。

2.1 声明变量类型

编写一个带有类型声明的函数步骤如下：

1. 定义函数名与参数列表。
2. 在函数体内部的第一行，插入 declare 表达式。
3. 在 declare 内部，使用 type 说明符指定类型。

(defun safe-add (x y)
  "声明 x 和 y 必须为整数"
  (declare (type integer x y))
  (+ x y))

在上述代码中，(declare (type integer x y)) 告诉编译器：变量 x 和 y 在此作用域内将是 integer（整数）。如果编译器开启了优化选项，它会据此生成直接的整数加法指令，而不是通用的加法函数调用。

2.2 声明函数返回值类型

除了声明变量，还可以声明函数的返回值类型，这有助于编译器优化调用处的代码。

1. 在 declare 表达式中，使用 ftype 或 values 说明符。
2. 指定返回值的具体类型。

(defun square (n)
  (declare (type number n)
           (optimize (speed 3) (safety 0))) ; 开启速度优化
  (the number (* n n)))

这里 (the number ...) 是一种断言形式，它告诉编译器 (* n n) 的结果一定是 number 类型。

3. 使用 the 进行类型断言

the 是一个特殊的操作符，用于在代码中断言某个表达式的结果属于特定类型。如果实际运行时的值与声明不符，且开启了安全性检查，程序会报错。

1. 定位到需要进行断言的表达式。
2. 使用 (the 类型 表达式) 的形式进行包裹。

(let ((x 10))
  (the fixnum (+ x 1)))

在这个例子中，代码断言 (+ x 1) 的结果是一个 fixnum（即立即数范围内的整数，通常比普通 integer 更快）。如果 x 的值导致结果超出 fixnum 范围，行为取决于编译器的设置。

4. 运行时类型检查：check-type 与 typep

如果你希望在代码运行时主动验证类型是否符合预期，而不是仅仅为了优化，可以使用 check-type 宏或 typep 函数。

4.1 使用 check-type 进行条件校验

check-type 主要用于参数校验。如果类型不匹配，它会直接进入调试器的重启流程。

1. 在函数体开头，写入 (check-type 变量 类型)。

(defun process-data (data)
  (check-type data string "输入必须是字符串")
  (length data))

如果调用 (process-data 123)，程序会暂停并提示错误，允许你修正 data 的值。

4.2 使用 typep 进行逻辑判断

当需要在代码中根据类型进行逻辑分支时，使用 typep 谓词。

1. 调用 (typep 对象 类型)。
2. 根据返回值 T 或 NIL 编写逻辑分支。

(defun describe-obj (obj)
  (if (typep obj 'number)
      "这是一个数字"
      "这不是一个数字"))

5. 全局编译器策略设置：declaim

仅仅在代码中写 declare 有时是不够的，因为默认的编译器策略（通常在 SBCL、CMUCL 等实现中）会将安全性置于速度之上。你需要调整全局的编译质量参数。

1. 在文件顶部，使用 declaim 设定优化级别。
2. 配置 speed（速度）、safety（安全性）、debug（调试）和 compilation-speed（编译速度）的权重（0-3）。

(declaim (optimize (speed 3) (safety 0) (debug 0)))

参数含义对照表：

6. 类型检查与断言的执行流程

当编译器遇到类型声明并配合优化选项时，其内部处理逻辑可以通过以下流程表示。这展示了声明如何转化为具体的执行策略。

7. 常见数据类型说明符

为了正确编写声明，必须熟悉 Lisp 的常见类型说明符。以下是基础分类与示例。

编写复合类型声明时，可以使用 (array string (*)) 表示字符串数组，或 (or null string) 表示“可能是字符串或者空值”。

8. 实战：编写类型优化的数值计算函数

结合上述知识，我们编写一个计算向量点积的高性能函数。

1. 定义函数 dot-product，接收两个向量 v1 和 v2。
2. 使用 declaim 全局开启速度优化，降低安全性。
3. 声明参数类型为 (simple-array double-float (*))（双精度浮点数组）。
4. 声明返回值类型为 double-float。
5. 在循环中，使用 aref 访问元素，并利用 the 断言累加和的类型。

(declaim (optimize (speed 3) (safety 0) (debug 1)))

(defun dot-product (v1 v2)
  "计算两个双精度浮点向量的点积"
  (declare (type (simple-array double-float (*)) v1 v2)
           (inline dot-product))
  (let ((len (length v1))
        (sum 0.0d0))
    (declare (type fixnum len)
             (type double-float sum))
    (loop for i from 0 below len do
          (incf sum (the double-float (* (the double-float (aref v1 i))
                                         (the double-float (aref v2 i))))))
    sum))

在这个例子中，(incf sum ...) 内部使用了多层 the 断言。配合 (optimize (speed 3) (safety 0))，编译器生成的代码将非常接近 C 语言甚至 Fortran 的运行速度，因为它不再检查 v1 和 v2 是否真的是数组，也不检查 aref 取出的值是否真的是数字，直接执行浮点乘法和加法指令。