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