Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

理解 Perceus

Perceus 是 X 语言最独特的特性,它使 X 语言能够在不需要垃圾回收器(GC)的情况下保证内存安全,同时也不需要开发者手动管理内存。理解 Perceus 的工作原理很重要。

所有程序在运行时都必须管理它们使用计算机内存的方式。一些语言有垃圾回收(GC),在程序运行时定期寻找不再使用的内存;在其他语言中,程序员必须显式分配和释放内存。X 语言使用第三种方法:Perceus 编译时引用计数

Perceus 由 Microsoft Research 开发,最初用于 Koka 语言。它在编译时插入所有必要的内存管理操作,因此运行时没有任何开销。

因为 Perceus 对许多程序员来说是一个新概念,需要一些时间来理解。好消息是,你不需要理解 Perceus 的所有细节就能编写 X 语言代码——编译器会为你处理所有复杂的工作!

在本章中,我们将讨论 Perceus 的工作原理,以及它如何让你在享受 GC 便利性的同时获得手动内存管理的性能。