ponylang - Pony 的 `_final` 终结器方法的实际用例

Question

Pony 在类中的终结器方法的实际用例是什么（除了通过 FFI 或类似的东西与 C 代码交互）？Pony 的文档指定默认情况下方法签名必须fun _final()具有框的接收器引用能力，并且不能发生消息传递。这似乎非常严格，并且阻止了 Java 风格的 finalize 方法中最常见的用例，例如调试（确定对象何时被 GC）或修改字段值。是否有一个简洁的实际示例来说明典型的终结器用例会是什么样子（除了与用另一种语言编写的代码交互，在这种情况下，我明白了）？

标签： ponylang