Equivalenza di instanceof per CLOS? Come verificare se l'istanza è ereditata da un altro oggetto?

Question

CL-USER> (defclass a()()) 
CL-USER> (defclass b (a)()) 
CL-USER> (make-instance 'b) 
#<STANDARD-CLASS B> 

Quale funzione di predicato è possibile chiamare sulla mia istanza b, che restituisce T se è stata ereditata da un? In vena di:

CL-USER> (instanceof 'a *) 
T 

Answer 1

Classe nomi sono anche di tipo nomi, in modo da:

(typep * 'a) 

Vedi Integrazione tipi e classi: http://clhs.lisp.se/Body/04_cg.htm

Oppure si potrebbe fare questo:

(defmethod is-an-a-p ((x a)) 
    t) 
(defmethod is-an-a-p ((x t)) 
    nil)