function - Common Lisp 对函数的引用

Question

在 Common Lisp 中引用函数似乎有多种不同的方式:

1. 通过符号，其中符号出现(不带引号)作为形式的汽车，如 (1+ 2) => 3 ，或在函数参数位置，如 >(mapcar '1+ '(1 2 3)) => (2 3 4);

2. 通过函数对象，其中(解释或编译的)函数对象可以出现在函数参数位置，如 (mapcar #'1+ '(1 2 3)) => (2 3 4) 或 (mapcar (symbol-function '1+) '(1 2 3)) => (2 3 4)，但不像 中那样作为形式的汽车(#'1+ 2) => 错误 或 ((符号函数 '1+) 2) => 错误;

3. 通过 lambda 表达式，其中 lambda 表达式显示为 lambda 形式的 car，如 ((lambda (x) (1+ x)) 2) => 3，或者在函数参数位置，如 (mapcar (lambda (x) (1+ x)) '(1 2 3)) => (2 3 4) [但是，Hyperspec无法将 lambda 表达式识别为“函数指示符”]。

在这三种“方式”中，对我来说，第一种似乎有点不合适，因为它似乎使 Common Lisp 运算符仅评估其参数一次的基本准则变得复杂。在上面的示例中，如果计算 '1+，它将生成符号 1+，而不是由该符号命名的函数。在这种情况下，必须进行额外的评估(可能是符号函数)才能获取函数对象。显然，这只是一种方便，但似乎破坏了一致性。 (一致的形式 #'1+ 几乎同样简单。)我的问题是“是否有任何需要使用函数符号的示例(除了作为形式的汽车 - 尽管即使这不是必需的(给定 lambda 表达式)，因此您无法完全避免上面第 1 项中的表达式？

Answer 1

作为对象名称的符号:指示符

符号通常是对象的名称，可以用来代替这些对象。

像符号(或字符串、字符)这样的东西可以代表其他东西的概念在 Common Lisp 中被称为 designator .

一些指示符示例:

函数指示符:

(funcall 'list 1 2 3)
<->
(funcall (symbol-function 'list) 1 2 3)

类，或命名类的符号:

(make-instance 'my-class)
<->
(make-instance (find-class 'my-class))

封装代号:

(package-use-list 'cl-user)
<->
(package-use-list (find-package 'cl-user))
<->
(package-use-list "CL-USER")

字符串指示符:

(string-upcase 'f)
<->
(string-upcase (symbol-name 'f))
<->
(string-upcase #\f)

因此，FUNCALL 的第一个参数没有定义为函数，而是定义为函数指示符。在这种情况下，要么是函数对象，要么是符号。如果是符号，则检索全局符号函数。

历史上 Lisp 使用符号作为各种对象的名称。这在一些后来的方言或派生语言中不太突出。

函数对象与调用命名函数与调用符号函数

...(funcall (function foo) 1 2 3)...
...(funcall #'foo 1 2 3)...

上面调用了名为foo的词法函数。如果没有词法函数foo，则调用foo的符号函数。 Lisp 文件编译器可能会假设这是同一文件中的同名函数。

...(foo 1 2 3)...

上面调用了名为foo的词法函数。如果没有词法函数foo，则调用foo的符号函数。 Lisp 文件编译器可能会假设这是同一文件中的同名函数。

...(funcall 'foo 1 2 3)...

上面调用了foo的全局符号函数。因此将通过符号进行查找。