defstruct - :read-only 不是只读的

问题描述

在我为 :read-only x 读到的 CLHS 中:“当 x 为真时,这指定不能更改此插槽;它将始终包含在构造时提供的值。”

我可以做到这一点(ccl、SBCL):

CL-USER> (defstruct foo
           (one 0 :read-only t))
FOO
CL-USER> (defparameter *foo* (make-foo))
*FOO*
CL-USER> *foo*
#S(FOO :ONE 0)
CL-USER> (setf (slot-value *foo* 'one) 1)
1 (1 bit,#x1,#o1,#b1)
CL-USER> *foo*
#S(FOO :ONE 1)

Lisp 不应该禁止更改此插槽吗?

解决方法

slot-value 不是您访问其类用 defstruct 定义的对象的字段的方式。这些对象根本没有可移植的命名槽:它们命名了访问器

某些实现会提供此类对象的字段名称,并且还可能允许使用 slot-value 访问它们:但是,此类行为完全不可移植。

如果您使用标准定义的语言工作,那么您应该无法修改使用 :read-only 选项定义的结构字段的值。

,

规范说:

setf 将不接受此插槽的阅读器功能

slot-value 不是由 defstruct 创建的阅读器函数。读取器函数是 foo-one(除非您使用 :conc-name 关键字覆盖命名方案)。所以如果你尝试这样做,你应该得到一个错误

(setf (foo-one *foo) 1)