我正在设计一种语言。首先，我想决定要生成什么代码。这种语言将具有类似 JavaScript 的词法闭包和基于原型的继承。但是我不喜欢垃圾回收并尽可能避免使用。所以问题是：是否有一种优雅的方法来实现闭包，而不必将堆栈帧分配到堆上并留给垃圾回收器？
我的第一个想法：
我不会使用高级语言或遵循任何调用约定，因此我可以随意破坏堆栈。
（编辑：我知道引用计数是一种垃圾收集的形式，但我使用 gc 更常见的含义）
这个主题或许可以帮到你，尽管有些答案已经在那里被回答过了。
一个帖子提出了一个好观点：
看起来你想要在“没有真正垃圾收集”的情况下为闭包进行垃圾收集。请注意，闭包可用于实现 cons 单元。因此，你的问题似乎是关于“在没有真正垃圾收集”的情况下进行垃圾收集——有相关丰富的文献。将问题限制在闭包上并不能真正改变它。
所以答案是：不行，没有一种优雅的方法可用于闭包而没有真正的 GC。最好的方法只是对你的闭包进行一些限制性的修改。如果你有一个合适的 GC，所有这些都是不必要的。
那么，我的问题反映了这里其他问题的一些内容——为什么你不想实现 GC？一个简单的标记+清除或停止+复制只需要大约 2-300 行（Scheme）代码，并且在编程方面并不那么糟糕。就程序执行速度而言：
我知道我来晚了，但我无意中看到了这个问题。
我认为完全支持闭包确实需要垃圾回收，但在某些特殊情况下，堆栈分配是安全的。确定这些特殊情况需要进行一些逃逸分析。我建议你看看BitC语言论文，比如BitC中的闭包实现。（尽管我怀疑这些论文是否反映了当前的计划。）BitC的设计者们遇到了和你一样的问题。他们决定为编译器实现一个特殊的非收集模式，拒绝所有可能逃逸的闭包。如果打开它，将会严重限制语言的使用。然而，这个功能还没有实现。
我建议你使用垃圾收集器-这是最优雅的方式。你应该考虑到，一个构建良好的垃圾收集器比malloc更快地分配内存。BitC的人真的很重视性能，他们仍然认为即使对于操作系统Coyotos的大多数部分，GC也是可以的。你可以通过简单的方法来减轻缺点：
许多人因为在Java中的经验而害怕垃圾收集器。Java有一个很棒的收集器，但由于生成了大量垃圾，用Java编写的应用程序存在性能问题。此外，庞大的运行时和花哨的JIT编译对于桌面应用程序来说并不是一个好主意，因为会导致更长的启动和响应时间。
C++ 0x标准定义了没有垃圾回收的lambda表达式。简单来说，当lambda闭包中包含不再有效的引用时，规范允许出现非确定性行为。例如（伪代码）：
(int)=>int create_lambda(int a)
{
return { (int x) => x + a }
}
create_lambda(5)(4) // undefined result
a）。然而，该堆栈帧已经被弹出，并且一旦函数返回，它不一定可用。在这种情况下，它可能会起作用并返回9作为结果（假设编译器语义正常），但无法保证。使用引用计数并对循环进行垃圾回收（我不太喜欢这个方法）
设计语言时可以避免出现循环：如果只能创建新对象而不能改变旧对象，并且创建对象不会形成循环，则永远不会出现循环。Erlang基本上是这样工作的，尽管在实践中它确实使用了垃圾回收。
问题是：有没有一种优雅的方法来实现闭包，而不需要将堆栈帧分配到堆上并交由垃圾回收器处理？
对于一般情况，垃圾回收是唯一的解决方案。
或者干脆不要做垃圾收集。在某些情况下，最好忘记内存泄漏，并在完成后让进程清理它。
根据您对GC的顾虑，您可能会担心定期进行GC扫描。在这种情况下，当项目超出范围或指针更改时，您可以执行选择性GC。但我不确定这会有多昂贵。
@Allen
如果包含函数退出时无法使用闭包，那么闭包有什么用处呢？从我的理解来看，这正是闭包的全部意义所在。
free函数，这当然不是 Pascal、C、C++ 等语言的工作方式！ :-) - J Dfree或delete，那并不会对语言产生负面影响。这是否反映了程序员的水平则是一个主观问题。希望这样能澄清一些事情。 - Mike Dunlavey迟做总比不做好？
你可能会对这个感兴趣：差分执行。
这是一个鲜为人知的控制结构，其主要用途是编程用户界面，包括在使用过程中可以动态更改的界面。它是模型-视图-控制器范例的重要替代品。
我提到它是因为人们可能认为这样的代码会严重依赖闭包和垃圾回收，但该控制结构的副作用是至少在 UI 代码中消除了这两个问题。