Classes that have public close or Dispose methods, i.e. manual_destroy(), allow the class to be used after is is freed.
The cost of synchronizing access to all public methods and the release method would be pretty low. They could throw an exception if already freed.
Classes that have public
closeorDisposemethods, i.e.manual_destroy(), allow the class to be used after is is freed.The cost of synchronizing access to all public methods and the release method would be pretty low. They could throw an exception if already freed.