Skip to main content
set x
ソース リンク

sbcl1.2.1では治っているようです。

; SLIME 2014-08-01
CL-USER> (defstruct foo (x nil :read-only t) y z)
FOO
CL-USER> (defvar foo (make-foo :x 9))
FOO
CL-USER> (setf (foo-x foo) 8)
; in: SETF (FOO-X FOO)
;     (FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; ==>
;   (SB-C::%FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; 
; caught STYLE-WARNING:
;   undefined function: (SETF FOO-X)
; 
; compilation unit finished
;   Undefined function:
;     (SETF FOO-X)
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNDEFINED-FUNCTION (SETF FOO-X) {1004B1EF03}>.
CL-USER> (lisp-implementation-version)
"1.2.1"
CL-USER> (lisp-implementation-type)
"SBCL"

ただし、スロット直アクセスは出来るようです。

CL-USER> (setf (slot-value foo 'x) 9)
9

これを防ぐには、スロット名をインターンされていないシンボル #:x にしましょう。
どのパッケージにも属さないシンボルなので、後の参照を不可能にすることが出来ます。

CL-USER> (defstruct bar (#:x nil :read-only t) y z)
BAR
CL-USER> (defvar bar (make-bar :x 9))
BAR
CL-USER> (setf (slot-value bar '#:x) 7)
; Evaluation aborted on #<SIMPLE-ERROR "~@<When attempting to ~A, the slot ~S is missing from the ~
CL-USER> (setf (slot-value bar 'x) 7)
; Evaluation aborted on #<SIMPLE-ERROR "~@<When attempting to ~A, the slot ~S is missing from the ~
          object ~S.~@:>" {1005C844E3}>.

一方、アクセサ名は現在のパッケージにインターンされるので、参照することが出来ます。
このことは、http://www.lispworks.com/documentation/HyperSpec/Body/m_defstr.htm の :conc-name セクションにて明記されています。

CL-USER> (bar-x bar)
9

sbcl1.2.1では治っているようです。

; SLIME 2014-08-01
CL-USER> (defstruct foo (x nil :read-only t) y z)
FOO
CL-USER> (defvar foo (make-foo :x 9))
FOO
CL-USER> (setf (foo-x foo) 8)
; in: SETF (FOO-X FOO)
;     (FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; ==>
;   (SB-C::%FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; 
; caught STYLE-WARNING:
;   undefined function: (SETF FOO-X)
; 
; compilation unit finished
;   Undefined function:
;     (SETF FOO-X)
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNDEFINED-FUNCTION (SETF FOO-X) {1004B1EF03}>.
CL-USER> (lisp-implementation-version)
"1.2.1"
CL-USER> (lisp-implementation-type)
"SBCL"

sbcl1.2.1では治っているようです。

; SLIME 2014-08-01
CL-USER> (defstruct foo (x nil :read-only t) y z)
FOO
CL-USER> (defvar foo (make-foo :x 9))
FOO
CL-USER> (setf (foo-x foo) 8)
; in: SETF (FOO-X FOO)
;     (FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; ==>
;   (SB-C::%FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; 
; caught STYLE-WARNING:
;   undefined function: (SETF FOO-X)
; 
; compilation unit finished
;   Undefined function:
;     (SETF FOO-X)
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNDEFINED-FUNCTION (SETF FOO-X) {1004B1EF03}>.
CL-USER> (lisp-implementation-version)
"1.2.1"
CL-USER> (lisp-implementation-type)
"SBCL"

ただし、スロット直アクセスは出来るようです。

CL-USER> (setf (slot-value foo 'x) 9)
9

これを防ぐには、スロット名をインターンされていないシンボル #:x にしましょう。
どのパッケージにも属さないシンボルなので、後の参照を不可能にすることが出来ます。

CL-USER> (defstruct bar (#:x nil :read-only t) y z)
BAR
CL-USER> (defvar bar (make-bar :x 9))
BAR
CL-USER> (setf (slot-value bar '#:x) 7)
; Evaluation aborted on #<SIMPLE-ERROR "~@<When attempting to ~A, the slot ~S is missing from the ~
CL-USER> (setf (slot-value bar 'x) 7)
; Evaluation aborted on #<SIMPLE-ERROR "~@<When attempting to ~A, the slot ~S is missing from the ~
          object ~S.~@:>" {1005C844E3}>.

一方、アクセサ名は現在のパッケージにインターンされるので、参照することが出来ます。
このことは、http://www.lispworks.com/documentation/HyperSpec/Body/m_defstr.htm の :conc-name セクションにて明記されています。

CL-USER> (bar-x bar)
9
ソース リンク

sbcl1.2.1では治っているようです。

; SLIME 2014-08-01
CL-USER> (defstruct foo (x nil :read-only t) y z)
FOO
CL-USER> (defvar foo (make-foo :x 9))
FOO
CL-USER> (setf (foo-x foo) 8)
; in: SETF (FOO-X FOO)
;     (FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; ==>
;   (SB-C::%FUNCALL #'(SETF FOO-X) #:NEW1940 #:FOO1941)
; 
; caught STYLE-WARNING:
;   undefined function: (SETF FOO-X)
; 
; compilation unit finished
;   Undefined function:
;     (SETF FOO-X)
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNDEFINED-FUNCTION (SETF FOO-X) {1004B1EF03}>.
CL-USER> (lisp-implementation-version)
"1.2.1"
CL-USER> (lisp-implementation-type)
"SBCL"