如何解决为什么某些垃圾回收和OOP编程语言没有析构函数?
考虑以下情况
当我们在类内部使用C API创建一些使用malloc(例如Object* create_obj()
)分配到堆中的数据时,我们必须在类生存期结束时,可以手动释放内存。
当一种语言具有析构函数时,我们可以轻松地将void free_obj()
放在类析构函数中,这样用户不必手动调用free_obj
即可等待类被垃圾回收。
我的问题
-
为什么某些垃圾回收和OOP编程语言(Java [Java已经弃用了
free_obj
]和Ruby)没有析构函数? -
当您像上述情况那样连接低级API时,不需要析构函数吗?如果没有必要,解决以下问题的最佳实践是什么?
解决方法
Java和Ruby等语言具有终结器,但没有析构函数。主要原因是确定性破坏以语言设计人员不想做的方式限制了实现。
确定性的最终确定不可能实现现代高性能垃圾收集器采用的许多性能技巧。 Ruby和Java甚至都不保证完全收集对象。对于Ruby或Java实现,即使无法访问,也永远不要收集对象是完全合法的。
即使CPython具有非常简单的垃圾收集器,也不能保证确定性的终结。它仅保证对非循环对象图进行确定性确定。而且Python社区已经非常清楚地表明,这是CPython的内部私有实现细节,并且是Python语言语义的 not 部分,这意味着其他实现(例如PyPy,IronPython,Jython)不必实现它,因此可以自由实现更好的垃圾收集器。
,在基于分配的语言中,析构函数是必需的,但在诸如Ruby之类的GC语言中,析构函数是可选的。析构函数模式不应与垃圾回收混淆,正如您所说的那样,它们代表将对象生命周期与作用域匹配。
对象存活一段时间,然后将该对象消耗的内存部分标记为可用于将来的对象。 Ruby提供了两组内存:malloc heap
和Ruby object heap
。 malloc heap
不会释放回操作系统,除非Ruby在gc末尾未使用内存。后者(malloc heap
的子集)是大多数Ruby对象所在的位置。 Ruby垃圾收集器将重点放在这里并经常清理,这意味着在大多数情况下不需要析构函数。并非会收集每个对象,但是像Ruby这样的语言不能保证做到这一点。
在Ruby变量中引用一个对象,这意味着一个对象存储在某个地方,而变量仅保存对象ID。如果我们在已被另一个变量收集或销毁的对象上调用析构函数,它将返回nil
但可能相同的对象ID,这可能在运行时引起问题。>
Ruby的define_finalizer
并不常见,因此不鼓励开发人员使用它。该方法无法引用要释放的对象,因为释放该对象后会执行回调,因此无法保证会调用该方法。如果finalizer
proc持有对self
的引用,这将使该对象不可能被垃圾回收,这意味着它将永远不会被回收。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。