和 之间有什么区别？和#'在 Lisp 中？

Question

两者看起来

(mapcar 'car '((foo bar) (foo1 bar1))) 

和

(mapcar #'car '((foo bar) (foo1 bar1)))

工作原理都是一样的。

我还知道 ' 表示（引号符号），#' 表示（函数函数名称）。

但根本的区别是什么？为什么这两个在之前的mapcar中都可以工作？

Answer 1

'foo

计算结果为符号 FOO。

#'foo

计算结果为绑定到名称 FOO 的函数。

在 Lisp 中，当符号 FOO 具有函数绑定时，可以将符号作为函数调用。这里 CAR 是一个具有函数绑定的符号。

但这不起作用：

(flet ((foo (a) (+ a 42)))
  (mapcar 'foo '(1 2 3 4 5)))

这是因为 FOO 作为符号无法访问本地词法函数，并且当 foo 不是其他地方定义的函数时，Lisp 系统会抱怨。

我们需要这样写：

(flet ((foo (a) (+ a 42)))
  (mapcar #'foo '(1 2 3 4 5)))

这里的 (function foo) 或其简写符号 #'foo 指的是词法局部函数 FOO。

另请注意，在

(funcall #'foo ...)

vs

(funcall 'foo ...)

中，后者可能会多做一次间接寻址，因为它需要从符号中查找函数，而 #'foo 直接表示函数。

总结：

如果符号具有函数绑定，则可以通过符号调用函数。

Answer 2

为什么这两个都可以在以前的mapcar中使用？

mapcar 的文档说：

如果函数是一个符号，则它会被强制转换为函数，就像 符号功能。

Answer 3

尝试将匿名函数 (lambda) 传递给您的 mapcar，您会发现 #' 是必需的，因为引用本身需要一个绑定到函数的符号，但该符号不存在于未命名的函数中：

CL-USER> (mapcar '(lambda (x) (format t "it is ~d" x)) (list 3 5 7))
; Evaluation aborted on #<TYPE-ERROR expected-type: (OR FUNCTION SYMBOL)
             datum: (LAMBDA (X) (FORMAT T "it is ~d" X))>.

vs:

CL-USER> (mapcar #'(lambda (x) (format t "it is ~d" x)) (list 3 5 7))
it is 3it is 5it is 7
(NIL NIL NIL)