lisp - defstruct - :read-only is not read only

Question

在 CLHS 中，我为 :read-only x 读到:“当 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 不应该禁止更改此插槽吗？

Answer 1

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

一些实现为此类对象的字段命名，并且可能还允许使用 slot-value 访问它们:但是这种行为是完全不可移植的。

如果您在标准定义的语言中工作，那么您不应该能够修改使用 :read-only 选项定义的结构字段的值。