小马的_final终结器方法的实际用例

Question

类内Pony的finalizer方法的实际用例（除了通过FFI与C代码进行接口之外）是什么？ Pony的文档规定，默认情况下，方法签名必须为fun _final()，且接收方具有框的引用功能，并且不会发生任何消息传递。这似乎是很严格的限制，并且阻止了Java风格的finalize方法中的大多数常见用例，例如调试（确定对象何时进行GC处理）或修改字段值。是否有一个简洁的实际示例说明典型的终结器用例是什么样子（除了与以另一种语言编写的代码交互，在这种情况下，我理解了）？