en commun LISP, est-il portable d'utiliser Par exemple: < PRE> XXX Est-ce que cela a quelque chose à voir avec la manière dont les conditions sont placées dans la hiérarchie de la classe de fermeture? instance de marque au lieu de de la condition de la page pour faire des objets de condition? (Subtypep 'Condition' Classe standard) retourne false dans SBCL et Clisp. Cependant, make-instance peut faire des conditions dans les deux implémentations. Est-ce garanti par la norme?
3 Réponses :
Il n'est pas portable, selon la 4ème note de bas de page de la LISP commune pratique Chapitre 19:
"Dans certaines implémentations courantes du LISP, les conditions sont définies comme sous-classes d'objet standard, auquel cas la valeur de la fente, la note-instance et l'instance d'initialisation fonctionnera, mais il n'est pas portable de s'appuyer sur elle. "
lien vers la page particulière:
http://www.gigamonkeys.com /book/beyond-exception-Adling-conditions-and-Restarts.html
Non, il est explicitement pas portable pour le faire. Du Spécification :
Le code conforme doit respecter les restrictions suivantes liées aux conditions:
définir la condition , pasdéficide , doit être utilisé pour définir de nouveaux types de conditions.condition de la condition , pasmake-instance , doit être utilisé pour créer des objets de condition explicitement.- the
: rapport Option dedéfinir-la condition , pasdéfmethod pourimpression-objet , doit être utilisé Définir un journaliste de condition.valide-valide ,Slot-limite ,Slot-makunbound etavec des emplacements ne doit pas être utilisé sur les objets de condition. Au lieu de cela, les fonctions d'accesseur appropriées (définies pardéfinir-la condition ) doivent être utilisées
Vous pouvez vérifier si le système de condition dans une certaine implémentation utilise des opérations closes de fermeture et de support non par mais peut-être en utilisant quelque chose comme: La norme LISP commune ne nécessite pas d'implémentation à utiliser à proximité de la mise en œuvre Conditions . Ainsi, le système de condition de la norme est défini sans support pour Clos: pas de support pour C'est l'un des verrues de la norme commune LISP à partir de 1994. make-instance requis, aucun support pour la création de sous-classes via déferne requis, ... Ainsi un ne peut pas non plus compter sur d'autres caractéristiques de Clos étant utilisées.