3

考虑到这段代码:

(defclass test () ((test :initform nil :accessor test)))
#<STANDARD-CLASS TEST>
(defvar *test* (make-instance 'test))
*TEST*

这个测试:

(funcall #'test *test*)
nil

人们会期望这有效:

(setf (funcall #'test *test*) 123)

一样

(setf (test *test*) 123)
123

但这会导致:

; in: LAMBDA NIL
;     (FUNCALL #'(SETF FUNCALL) #:NEW1175 #:TMP1177 #:TMP1176)
; ==>
;   (SB-C::%FUNCALL #'(SETF FUNCALL) #:NEW1175 #:TMP1177 #:TMP1176)
; 
; caught WARNING:
;   The function (SETF FUNCALL) is undefined, and its name is reserved by ANSI CL
;   so that even if it were defined later, the code doing so would not be portable.
; 
; compilation unit finished
;   Undefined function:
;     (SETF FUNCALL)
;   caught 1 WARNING condition

为什么它不起作用,我该如何解决它?

我使用 SBCL 和 CLISP 对其进行了测试,结果相同。

4

2 回答 2

6

SETF是一种特殊形式(请参阅http://www.lispworks.com/documentation/HyperSpec/Body/05_aa.htm以了解说明它的规范部分)。您的第二个示例有效,因为 lisp 实现在(test *test*)语法上进行解释。

要了解发生了什么,请查看此会话:

This is SBCL 1.0.56.0.debian, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (defclass test () ((test :initform nil :accessor test)))

#<STANDARD-CLASS TEST>
* (defvar *test* (make-instance 'test))

*TEST*
* (macroexpand '(setf (test *test*) 123))

(LET* ((#:*TEST*606 *TEST*))
  (MULTIPLE-VALUE-BIND (#:NEW605)
      123
    (FUNCALL #'(SETF TEST) #:NEW605 #:*TEST*606)))
T
* #'(setf test)

#<STANDARD-GENERIC-FUNCTION (SETF TEST) (1)>
* (macroexpand '(setf (funcall #'test *test*) 123))

(LET* ((#:G609 #'TEST) (#:*TEST*608 *TEST*))
  (MULTIPLE-VALUE-BIND (#:NEW607)
      123
    (FUNCALL #'(SETF FUNCALL) #:NEW607 #:G609 #:*TEST*608)))
T

请注意,第一个宏扩展 grabs#'(setf test)是由您的defclass调用自动定义的编写器函数。第二个盲目地转换为#'(setf funcall),它不存在(因此出现错误)。

回答您的“我该如何解决?” 问题,我们可能需要更多地了解您正在尝试做的事情。例如,您可以使用类似的东西(setf (slot-value object slot-name)),允许您以编程方式选择插槽。

于 2012-05-28T14:39:54.923 回答
2

:accessorslot 选项定义了两个功能:读取FOO槽值和(SETF FOO)设置槽值。请注意,在 Common Lisp 中的后一种情况下,函数名不是一个符号,而是一个列表。

如果你想要一个函数和值的列表(你的评论),那么你的列表需要包含 setter 函数。

(defclass test ()
 ((foo :initform nil :accessor foo)
  (bar :initform nil :accessor bar)))

(map nil
     (lambda (function argument)
       (funcall function argument object))
     (list #'(setf foo) #'(setf bar))
     (list arg1 arg2))
于 2012-05-28T19:15:02.263 回答