我非常确定，JVM将绝对确保它至少有足够的内存在内存耗尽之前抛出异常。

大多数运行时环境将在启动时预分配或预留足够的内存来处理内存不足的情况。我想大多数理智的JVM实现都会这样做。

我非常确定，JVM将绝对确保它至少有足够的内存在内存耗尽之前抛出异常。

有趣的问题:-)。虽然其他人已经给出了很好的理论方面的解释，我决定尝试一下。这是在Oracle JDK 1.6.0_26, Windows 7 64位。

测试设置

我写了一个简单的程序来耗尽内存(见下文)。

程序只是创建一个静态的java.util。列表，并不断向其中填充新的字符串，直到抛出OOM。然后它捕获它，并继续在一个无休止的循环中填充(可怜的JVM…)

测试结果

从输出中可以看到，抛出OOME的前四次都带有堆栈跟踪。在此之后，如果调用printStackTrace()，后续oome只打印Java .lang. outofmemoryerror: Java堆空间。

因此，JVM显然会尽可能地输出堆栈跟踪，但如果内存非常紧张，它就会像其他答案所建议的那样忽略跟踪。

同样有趣的是OOME的哈希代码。注意，前几个OOME都有不同的哈希值。一旦JVM开始省略堆栈跟踪，散列总是相同的。这表明JVM将使用fresh(预分配?)尽可能长地使用OOME实例，但如果出现紧急情况，它将重用相同的实例，而不是没有任何可抛出的实例。

输出

注意:我截断了一些堆栈跟踪，以使输出更容易阅读(“[…]”)。

iteration 0
iteration 100000
iteration 200000
iteration 300000
iteration 400000
iteration 500000
iteration 600000
iteration 700000
iteration 800000
iteration 900000
iteration 1000000
iteration 1100000
iteration 1200000
iteration 1300000
iteration 1400000
iteration 1500000
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 1069480624
Keep on trying...
java.lang.OutOfMemoryError: Java heap space
    at java.util.Arrays.copyOf(Unknown Source)
    at java.util.Arrays.copyOf(Unknown Source)
    at java.util.ArrayList.ensureCapacity(Unknown Source)
    at java.util.ArrayList.add(Unknown Source)
    at testsl.Div.gobbleUpMemory(Div.java:23)
    at testsl.Div.exhaustMemory(Div.java:12)
    at testsl.Div.main(Div.java:7)
java.lang.OutOfMemoryError: Java heap space
    at java.util.Arrays.copyOf(Unknown Source)
[...]
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 616699029
Keep on trying...
java.lang.OutOfMemoryError: Java heap space
    at java.util.Arrays.copyOf(Unknown Source)
[...]
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 2136955031
Keep on trying...
java.lang.OutOfMemoryError: Java heap space
    at java.util.Arrays.copyOf(Unknown Source)
[...]
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 1535562945
Keep on trying...
java.lang.OutOfMemoryError: Java heap space
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 1734048134
Keep on trying...
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 1734048134
Keep on trying...
java.lang.OutOfMemoryError: Java heap space
Ouch: java.lang.OutOfMemoryError: Java heap space; hash: 1734048134
Keep on trying...
[...]

这个项目

public class Div{
    static java.util.List<String> list = new java.util.ArrayList<String>();

    public static void main(String[] args) {
        exhaustMemory();
    }

    private static void exhaustMemory() {
        try {
            gobbleUpMemory();
        } catch (OutOfMemoryError e) {
            System.out.println("Ouch: " + e+"; hash: "+e.hashCode());
            e.printStackTrace();
            System.out.println("Keep on trying...");
            exhaustMemory();
        }
    }

    private static void gobbleUpMemory() {
        for (int i = 0; i < 10000000; i++) {
            list.add(new String("some random long string; use constructor to force new instance"));
            if (i % 10000000== 0) {
                System.out.println("iteration "+i);
            }
        }

    }
}

Exceptions indicating an attempt to violate the boundaries of a managed-memory environment are handled by the runtime of said environment, in this case the JVM. The JVM is its own process, which is running your application's IL. Should a program attempt to make a call that extends the call stack beyond the limits, or allocate more memory than the JVM can reserve, the runtime itself will inject an exception, which will cause the call stack to be unwound. Regardless of the amount of memory your program currently needs, or how deep its call stack, the JVM will have allocated enough memory within its own process bounds to create said exception and inject it into your code.

JVM从来不会真正耗尽内存。它提前对堆堆栈进行内存计算。

JVM的结构，第3章，第3.5.2节说明:

如果Java虚拟机堆栈可以动态扩展，并且尝试扩展但可用内存不足 以影响扩展，或如果内存不足，可以作出 可用来创建一个新的初始Java虚拟机堆栈 线程时，Java虚拟机抛出OutOfMemoryError错误。

对于堆，请参见章节3.5.3。

如果计算需要的堆比自动存储管理系统(Java虚拟机)所能提供的多 抛出一个OutOfMemoryError。

在分配对象之前，它会提前进行计算。

JVM尝试为内存中称为永久生成区域(或PermSpace)的对象分配内存。如果分配失败(即使在JVM调用垃圾收集器尝试&分配空闲空间之后)，它会抛出OutOfMemoryError。即使异常也需要内存空间，因此错误将被无限期地抛出。

进一步阅读。此外，OutOfMemoryError可能发生在不同的JVM结构中。