SBCL & Lambda表达式

Question

在SBCL中，如何将lambda表达式放入结构槽(例如，(setf (struct-slot1 struct1) '(lambda (x) (* x x))) )，以便可以用funcall或apply调用它？SBCL编译器抱怨：wanted one of (FUNCTION SYMBOL)。有没有一种方法可以安装这样的lambda而不编译它或者给它一个显式的名称？为什么lambda表达式不是函数？我想做这样的事情：(funcall (function (struct-slot1 struct1)) 3)。谢谢你的见解。(ps:通常在运行之前我会编译lambda，但是在调试期间我需要查看lambda的内部。)

Answer 1

这不是SBCL特定的，而是根据ANSI通用Lisp标准。

将 Lambda表达式作为列表转换为函数

以下是你的选择：

CL-USER 168 > (funcall (coerce '(lambda (x) (* x x))
                               'function)
                       4)
16

CL-USER 169 > (funcall (compile nil '(lambda (x) (* x x)))
                       4)
16

CL-USER 170 > (funcall (eval '(lambda (x) (* x x))) ; because LAMBDA is a macro, too
                       4)
16

CL-USER 171 > (funcall (eval '(function (lambda (x) (* x x))))
                   4)
16

但是请注意，lambda表达式引用的是空词法环境。因此，它无法访问来自周围代码的任何词法变量。

Lambda表达式不是函数对象

为什么lambda表达式不是函数？

因为它只是一个列表，而不是代码。要将lambda表达式转换为代码，必须将其转换为函数对象。

其他一些(通常是旧的) Lisps允许您使用lambda表达式作为代码，但不允许使用Common。这是由标准定义的。

你不能做(funcall '(lambda (x) (+ x x)) 3)。您必须首先将lambda表达式转换为函数对象。

函数是一种特殊的运算符-> syntax+semantics

(函数(函数(struct-slot1 struct1)) 3)

这已经是语法错误了。FUNCTION是一个特殊的运算符，需要一个函数名或lambda表达式。(struct-slot1 struct1)也不是。(struct-slot1 struct1)是从结构中检索值的代码。但它不是一个函数名，它将是一个符号或列表(setf <some-symbol>)。它也不是lambda表达式，类似于(lambda (...) ...)。