应用程序如何可以不产生垃圾看上去很难想象，而且这个话题已经复杂到超出本文讨论的范畴，但是如果考虑以下几个方面可能会容易理解：

• JVM将内存分成两个部分来管理：堆和栈。这就是为什么当缺少内存时会有两个不同的错误（OutOfMemoryError和StackOverflowError）。栈内存只能被当前线程和当前执行的方法访问，因此，当线程离开当前执行的方法，这块内存会被自动释放，而无需额外垃圾回收器。然而，堆内存可以被整个应用程序在任何时刻访问，这意味着独立的垃圾回收器需要区分内存块什么时候才不被使用，可以被回收。
• 基本数据类型内存总是在栈上分配，因此这对垃圾回收器没有压力。如果代码中基本上都使用基本类型，那么垃圾回收器处理的对象就少了。
• 不产生垃圾不等于不创建对象，如果对象创建满足以下几个条件，仍然可以在创建对象之后不需要垃圾回收器：
  • 应用程序或者库在初始化的时候生成有限个数的对象，然后不断复用这些对象。但是这需要依赖开发者非常熟悉应用程序的内存占用。
  • 有的时候编译器可以发现一些特定对象不会在方法外使用，这被称为逃逸分析。当确认对象生命周期不会超过方法，其内存可以分配到栈而非堆。因此，这些对象占用的内存会在当前方法结束的时候自动消除。

虽然去除垃圾回收可能实现，Kirk指出这样编写代码会非常不自然，并且会失去Java提供的很多特性。Martijn也同时指出，内存管理恰恰也是Java能够在业界成功的一个主要原因。