关于资源引用的寿命的声明

摘要

通过指定表示资源的引用的寿命来提高系统编程中的安全性的语言扩展。根据语言扩展，寿命以这样的方式引用特定作用域，其中编译器生成将引用的寿命强制执行为基于特定作用域的寿命(例如，不比其长)的计算机可执行指令。相应地，可以预先指定资源寿命具有特定作用域。这会帮助执行资源管理，因为典型的受管理的语言程序可以允许资源无限制地存在。此外，由于资源具有定义的有限寿命，因此，它们可以更方便地在栈上(而不是在对上)被分配，以便更有效的处理。