问题描述
可以使用 symbol-function（而不是 defun）以编程方式在 Common Lisp 中安装函数：
* (setf (symbol-function 'factorial)
(compile nil (lambda (n)
(if (= n 1)
1
(* n (factorial (- n 1)))))))
; in: SETF (SYMBOL-FUNCTION 'FACTORIAL)
; (FACTORIAL (- N 1))
;
; caught STYLE-WARNING:
; undefined function: COMMON-LISP-USER::FACTORIAL
;
; compilation unit finished
; Undefined function:
; FACTORIAL
; caught 1 STYLE-WARNING condition
#<FUNCTION (LAMBDA (N)) {1003F2222B}>
但如上所述，如果函数是递归的，SBCL 会发出警告，因为该函数是匿名的。
使用 defun 时不会遇到此问题，因为正如 hyperspec 所说：
“对 defun 求值导致 function-name 成为 lambda 表达式指定的函数的全局名称。
在使用 symbol-function 时是否可以通过提供正确的函数名称来避免警告？
（PS：起初，我以为 compile 函数可以给出函数名，但这只适用于宏。）
解决方法
声明 factorial 为 fbound 足以消除警告：
(compile nil
(lambda (n)
(declare (ftype function factorial))
(if (= n 1)
1
(* n (factorial (- n 1))))))
您可以使用 my define-functions hack，但一般的技巧是您需要告诉系统事物是一个函数，并且您通常需要全局以及在内部执行此操作函数体，所以编译器不会在稍后调用这个东西时抱怨。这就是 define-function / define-functions 安排要做的。如果你想手动完成，你可能想要这个：
(declaim (ftype function factorial))
(setf (fdefinition 'factorial) (compile nil ...))
这几乎是 define-function 扩展成的（实际上它扩展成 define-functions 然后为它做工作）。
请注意，您可以将函数的名称赋予 compile：这与宏无关。但是，您仍然会收到相同的警告：
(compile 'fact (lambda (n)
(if (= n 1)
1
(* n (fact (- n 1))))))
会将函数安装为 fdefinition 的 fact，但编译器在编译函数时并不知道。
使用局部递归函数可能很有用
CL-USER 2 > (setf (symbol-function 'factorial)
(compile nil
(lambda (n)
(labels ((%factorial (n)
(if (= n 1)
1
(* n (%factorial (- n 1))))))
(%factorial n)))))
#<Function 13 40600030D4>
CL-USER 3 > (factorial 4)
24
这样就可以清楚地说明递归调用的去向。
人们可以将其隐藏在某种命名的 lambda 宏后面。可以这样使用：
(compile nil
(nlambda factorial (n)
(if (= n 1)
1
(* n (factorial (- n 1))))))