Stelian Ionescu stelian.ionescu-zeus@poste.it writes:
Yes. Given that SBCL has a conservative GC on x86 and x86_64 you have no guarantee that a finalizer will ever be executed. Also, I'm not sure how it would interact with the fact that the entire array(contents and header) is allocated in foreign memory. It's better not to risk and if some day we'll be sure that it's unnecessary on all implementations, we could safely deprecate free-static-vector and use finalizers.
It would certainly be very nice to have a portable way of letting the GC dispose of garbage but stop it from moving buffers around.
Allegro already supports this just fine, for example.