Я бы начал поиск со standard-slot-definition: http://www.lispworks.com/documentation/lw50/LWUG/html/lwuser-173.htm

Возможно, что это переносимо по реализациям, если использовать closer-mop. Во всяком случае, там этот символ экспортируется.

https://github.com/arielnetworks/cl-annot не?

На жабе я бы пометил такое поле с помощью какой-нибудь аннотации, например @DontUpdateThisField

Тебе нужен свой метакласс в котором ты можешь прикрутить к полям любые желаемые атрибуты.

То что нужно, спасибо!

По сути - оно, но как-то слишком радикально.

Да, так и сделаю, спасибо.

На всякий случай. Тут ссылка по-новее будет: http://www.lispworks.com/documentation/lw61/LW/html/lw-243.htm

Помучавшись, я решил свою проблему создав метакласс matainfo-aware-class, слоты которого cодержат слот metainfo, хранящий дополнительную информацию: @pastebin.

Как я понимаю, метаклассы не наследуются?

По-моему должны наследоваться, но я не проверял. Просто должен соблюдаться протокол, а он во многом состоит из методов обобщенных функций. По идее, они или должны перекрываться, или будут вызваны методы для метакласса-предка. Это я так понимаю, но надо проверять.

У меня то просто такие действия приводят к сообщению о несовместимости классов и необходимости создания соответсвующего validate-superclass метода:

(defclass a () () (:metaclass metainfo-aware-class))
(defclass b (a) ())

При этом проблема решается путем явного ообъявления метакласса для b.

Похоже, что метакласс не наследуется и по умолчанию в качестве него выступает standard-class (spec), что выглядит довольно уныло. Впрочем, попробую поковыряться еще в MOP, вдруг найдется метод повозволяющий реализовать и наследования метакласса.

А ты вот какой метакласс имел в виду?! Я думал о наследовании самого метакласса как класса самого по себе. В твоем случае возможно, что и нет.

вдруг найдется метод повозволяющий реализовать и наследования метакласса

Возможно, что и не найдется. Во всяких AllegroGraph и CL-SQL используются свои макросы (defclass* и define-table-class, ЕМНИП). Возможно не только поэтому, но все же.

Как я понимаю, при определении класса будет вызван ensure-class-using-class, аргументами которого являются определяемый класс, его суперкласс и метакласс. Так что можно попробовать в нем вытягивать метакласс суперкласса и куда-нибудь его подсовывать. :)

что выглядит довольно уныло

Дело в том, что метакласс может быть только один, а наследование множественным. Как тогда определять метакласс потомка с несколькими предками? По сути метакласс - это модификатор стандартного протокола для данного класса и вся иерархия классов должна задавать его явно. Запили себе макрос типа (def-annotate-class ...) и не заморачивайся.

Есть готовое

https://github.com/farzadbekran/cl-attribs

Запили себе макрос типа (def-annotate-class ...) и не заморачивайся

Или можно использовать https://github.com/arielnetworks/cl-annot.git

@metaclass attributes-class
(defclass test (a b c)
   ((slot-a :accessor slot-a :initform nil :initarg :slot-a :attributes (:attrib1 "a-1" :attrib2 "a-2")))

Все равно перед каждым классом нужно будет писать @metaclass attributes-class. Я предложил сделать макрос именно чтобы не повторять указание метакласса постоянно, т.к. он не наследуется.

Спасибо, я как раз почти то же самое сделал.

По моему с этим мороки куда больше, чем с определением макроса - везде писать (annot:enable-annot-syntax). Да и решает этот пакет гораздо больше задач, чем мне фактически нужно.

Так что cl-attribs + макрос, как предложил no-such-file, выглядит идеальным вариантом.