在 Practical Common Lisp 章节17. Object Reorientation: Classes部分访问者函数中,我发现很难理解SETF
的扩展方式。
功能:
(defun (setf customer-name) (name account)
(setf (slot-value account 'customer-name) name))
bank-account
类定义:
(defclass bank-account ()
((customer-name
:initarg :customer-name
:initform (error "Must supply a customer name."))
(balance
:initarg :balance
:initform 0)
(account-number
:initform (incf *account-numbers*))
account-type))
我不明白:
(setf (customer-name my-account) "Sally Sue")
中的确实(customer-name my-account)
返回类customer-name
的SETFable广告位值bank-account
,然后SETF
用来设置“Sally Sue”的价值?
实际上是(setf (customer-name my-account) "Sally Sue")
调用上面的函数吗?
如上定义的是setf customer-name
函数?
是customer-name
中的(setf customer-name)
和身体中引用相同内容的'customer-name
?
部分陈述
第二个元素是一个符号,通常是用于访问SETF函数将设置的位置的函数的名称
如果是这种情况那么为什么当函数可以用来访问这个地方时,在函数定义中使用slot-value
函数呢?
答案 0 :(得分:8)
在许多情况下,访问和设置数据需要两件事:
因此可以定义一个setter函数和一个getter函数。对于简单的情况,它们看起来也很简单。但对于复杂的情况,他们可能不会。现在,如果你知道了getter的名字,那么setter的名字是什么?或者:如果你知道setter的名字,那么getter的名字是什么?
Common Lisp认为您只需要知道getter的名称。
调用getter,比如GET-FOO
然后调用setter函数(SETF GET-FOO)
。总是
可以通过以下方式调用setter函数:(setf (get-foo some-bar) new-foo)
。总是
所以你写了GET-FOO
函数。您还可以编写(SETF GET-FOO)
函数,Common Lisp将其注册为setter函数。
(SETF GET-FOO)
是一个列表。它也是一个功能的名称。这里我们有一个例外:Common Lisp有时允许列表作为函数名。因此,并非所有函数名都是符号,有些实际上是列表。
(setf (customer-name my-account) "Sally Sue")
实际上是对定义的setter的调用。 my-account
是一个变量,其值将绑定到setter的account
变量。 "Sally Sue"
是一个字符串,它将绑定到setter的name
变量。
作为开发人员,您只需了解吸气剂:
使用getter:(customer-name my-account)
使用setter:(setf (customer-name my-account) "Sally Sue")
。 SETF
是一个宏,它扩展为setter函数的调用。
(defun (setf customer-name) (name account)
(setf (slot-value account 'customer-name) name))
上面定义了一个名为(setf customer-name)
的setter函数。
CL-USER 80 > (function (setf customer-name))
#<interpreted function (SETF CUSTOMER-NAME) 40A00213FC>
当通过SETF
宏调用该函数时,它会调用另一个setter - 这次使用通过插槽名称访问插槽值。
答案 1 :(得分:1)
setf
是一个非常复杂的宏,它知道如何将其第一个参数(通常看起来像一个函数调用)解码为“地方”,然后调用将地点设置为新值所需的任何形式。将(customer-name my-account)
视为在setf
表达式中返回任何内容是没有用的。 setf
宏将HyperSpec中定义的规则应用于其地点形式,并且作为默认情况,将转换
(setf (foo arg0 arg1 ...) new-val)
到
(funcall #'(setf foo) new-val arg0 arg1 ...)
Practical Common Lisp 中的段落以略微椭圆的方式解释了当您在:accessor
槽定义中指定defclass
选项时幕后发生的事情。