Comment puis-je obtenir le garbage collector Lisp pour supprimer la mémoire étrangère C++ allouée dans mes emplacements de classe?

Question

Ma classe ressemble à ceci:

(defclass matrix() 
    ((rows :initarg :rows :initform 2) 
    (cols :initarg :cols :initform 2) 
    (matrix :accessor matrix))) 

J'ai une spécialisation de la méthode instance d'initialisation qui crée l'objet pour la fente de la matrice en appelant une bibliothèque C++. J'ai une fonction matrix-destroy qui va libérer la mémoire allouée en C++.

Ce que je veux, c'est que le garbage collector puisse appeler matrix-destroy sur l'emplacement matriciel. Existe-t-il une manière idiomatique de le faire en langage courant?

Answer 1

Pour exécuter une fonction après que le garbage collector a collecté un objet, vous devez définir un finaliseur pour cet objet. La norme Common Lisp n'inclut pas les finaliseurs, mais les implémentations les fournissent. Il existe une bibliothèque de compatibilité appelée Trivial Garbage que vous pouvez utiliser pour les définir de manière portative.

La définition d'un finaliseur se fait simplement en appelant FINALIZE sur l'objet auquel vous souhaitez attacher le finaliseur. La fonction de finalisation ne doit contenir aucune référence à l'objet lui-même, car cela empêcherait sa collecte. Vous devez également garder à l'esprit que le finaliseur peut être exécuté à tout moment dans n'importe quel thread, il doit donc être réentrant et ne pas dépendre d'un environnement dynamique spécifique.

Le manuel SBCL contient un court exemple de finaliseurs dans 7.4 Garbage Collection. Vous pouvez également voir un projet existant qui les utilise, tel que cl-sdl2, qui les utilise pour libérer des surfaces SDL, des textures et autres. Voir SDL-COLLECT pour l'emplacement du finaliseur et CREATE-RGB-SURFACE pour un exemple d'où SDL-COLLECT est appelé.