common-lisp - CL中的fdefiniton和函数(特殊运算符)有什么区别？

Question

所以我正在阅读 Quicklisp 代码，试图理解它并从中学习。 我见过这个宏:

(defmacro neuter-package (name)
      `(eval-when (:compile-toplevel :load-toplevel :execute)
         (let ((definition (fdefinition 'error-unimplemented)))
           (do-external-symbols (symbol ,(string name))
             (unless (fboundp symbol)
               (setf (fdefinition symbol) definition))))))

据我所知，fdefinition 和 function(#') 之间的唯一区别是 fdefinition 是可设置的。我对吗？ 如果是，那么省略let部分并将setf更改为

不是更简单(或者可能更有效)

(setf (fdefinition symbol) #'error-unimplemented)

Answer 1

FDEFINITION 是一个函数。 FUNCTION 是一个特殊的运算符。 FDEFINITION 因此获得了一个评估的参数。

(setf (fdefinition symbol) #'error-unimplemented)

上面的意思是将全局函数定义设置为函数ERROR-UNIMPLMENTED。它也可能是具有该名称的词法绑定(bind)函数。

(flet ((error-unimplemented (...) ...))
  (neuter-package "FOO"))

上面将使用词法绑定(bind)函数。

另请注意，在某些情况下，Lisp 编译器可能会假设使用了特定的当前函数ERROR-UNIMPLMENTED。例如，用于内联或无需查找的调用。

但是代码使用FDEFINITION。

(setf (fdefinition symbol) (fdefinition 'error-unimplemented))

上面将在运行时从符号中查找全局函数...

(flet ((error-unimplemented (...) ...))
  (neuter-package "FOO"))

上面不会使用词法绑定(bind)函数。