SBCL中使用同文件函数定义defconstant编译文件失败的问题咨询

嘿，这个问题我之前在SBCL里也踩过坑！其实根源在于SBCL对defconstant的求值时机处理：

当你用compile-file编译文件时，SBCL会在编译阶段就尝试计算defconstant的初始值，而不是等到加载编译后的.fasl文件时才做这件事。虽然你把defun f写在了defconstant前面，但defun在编译阶段只是生成了函数的编译代码，并没有把f这个符号绑定到对应的函数对象上——这个绑定操作要等到你加载编译好的文件时才会完成。所以编译程序试图求值(f 1)的时候，f还没被定义，自然就抛出了那个“undefined function”的错误。

解决办法有这几种，你可以根据需求选： #

1. 让函数在编译阶段就被定义

用eval-when包裹defun，强制它在编译、加载、执行三个阶段都被求值，这样编译时f就已经绑定到函数上了：

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defun f (x) (* x 2)))

(defconstant +n+ (f 1))

这是最符合Common Lisp标准的做法，在其他CL实现里也能正常工作。

2. 延迟常量值到加载时计算

如果你的常量不需要在编译阶段被使用（比如不会被宏引用），可以用load-time-value让初始值表达式在加载时才求值：

(defun f (x) (* x 2))

(defconstant +n+ (load-time-value (f 1)))

这样编译时不会去计算(f 1)，等加载文件时f已经被定义好了，就能正常执行。不过要注意，这种方式下常量值在编译阶段是未知的，一些依赖编译期常量的优化就做不了了。

3. 直接写死常量值（最简单的情况）

如果函数的返回值是固定可预测的（比如这里(f 1)就是2），直接把常量值写进去就行：

(defun f (x) (* x 2))

(defconstant +n+ 2)

当然，这只适用于函数逻辑简单、返回值固定的场景，如果函数依赖动态环境或者复杂计算，就没法这么干了。

额外说明 #

其实Common Lisp标准里并没有强制要求defconstant的初始值在编译阶段求值，但SBCL为了做编译优化，默认这么处理了。所以第一种方法是最稳妥的通用方案。

内容的提问来源于stack exchange，提问作者Flux