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) => error或((symbol-function '1+) 2) => error;

3. 通过lambda表达式,其中lambda表达式显示为lambda形式的汽车((lambda (x) (1+ x)) 2) => 3,或者在函数参数位置中显示(mapcar (lambda (x) (1+ x)) '(1 2 3)) => (2 3 4)[但是,Hyperspec不会将lambda表达式识别为"函数指示符"].

在这三种"方式"中,对我而言,第一种似乎有些不合适,因为它似乎使Common Lisp运算符仅仅评估其参数一次的基本准则复杂化.如果在上面的示例'1+中进行评估,它将生成符号1+,而不是符号命名的函数.在这种情况下,可能需要进行额外的评估symbol-function才能获得功能对象.显然,这只是一种便利,但它似乎打破了一致性.(一致的形式#'1+几乎一样简单.)我的问题是'是否有任何示例需要使用符号作为函数(除了作为表单的汽车 - 尽管即使这不是必需的,给定lambda表达式),这样你就不能像上面第1项那样完全避免表达？

Answer 1

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

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

类似于符号(或字符串,字符)的东西可能代表其他东西的概念在Common Lisp中被称为指示符.

指示符的一些示例:

功能代号:

(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.因此,将通过符号进行查找.