使用符号函数安装递归函数

如何解决使用符号函数安装递归函数

可以使用 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))))))