java为什么处理trycatch而不抛出任何异常不会降低程序的速度？

Question

今天我意识到了一件对我来说很奇怪的事情：我注意到当我这么做的时候

try {
    doSomething();
} catch (Exception e) {
}

它一点也不比我刚才做的慢

doSomething();

所以我运行了一个测试，并写下了一些快速代码来证明我所看到的，这些代码基本上只是在一个名为doSomething（）的函数上循环了很多次，一次没有，一次有try-catch围绕它。如果你想自己测试它，下面是代码：

public class Main {

private static final long LOOPS = 1000000L;

public static final void main(String[] args)
{
    System.out.println("Loop without try catch: "+loopWithoutTryCatch(LOOPS));
    System.out.println("Loop with try catch: "+loopWithTryCatch(LOOPS));
}

public static long loopWithoutTryCatch(long loops)
{
    long startTime = System.currentTimeMillis();

    for (long i = 0L; i < loops; i++)
    {
        doSomething();
    }

    return System.currentTimeMillis()-startTime;
}

public static long loopWithTryCatch(long loops)
{
    long startTime = System.currentTimeMillis();

    for (long i = 0L; i < loops; i++)
    {
        try {
            doSomething();
        } catch (Exception e) {
        }
    }

    return System.currentTimeMillis()-startTime;
}

public static void doSomething()
{
    for (int i = 0; i < 250; i++)
    {
        if (i % 3 == 0)
        {
            i++;
        }
    }
}
}

我收到了以下输出：

Loop without try catch: 375
Loop with try catch: 373

我很惊讶，所以我一次又一次地测试它，但我总是得到相似的结果，两种方式几乎同时运行

现在我的问题是：为什么

我真的不太明白，据我所知，try-catch在使用前将资源写入某种表中，以便以后——如果引发任何异常——能够清理它并引用异常发生前的值

这至少需要一些时间，不是吗？ 我想这可能是因为我选择的随机示例不能正确地表示它，在我测试它的特定情况下，它不会减慢任何速度，但对我来说，这似乎非常不可能

然后我想，也许它只需要很短的时间，以至于在执行“很少”的数量时，它是不可见的，所以我再次运行了测试程序，循环总数为1000万次，但我发现的正好证明了我已经发现的：两次执行所需的时间几乎相同

那么，对于这种情况，或者仅仅是try-catch的一种特定行为，有什么合乎逻辑的解释吗

感谢您提前作出澄清

Answer 1

像您这样的代码生成的字节码遵循这种模式

 1: invoke method
 2: goto 4
 3: store exception in catch block variable
   // would contain handling code if there was any
 4: return // or whatever comes after the try-catch

Exception table
   if an exception of the type in catch block happens from 1 to 3, goto 3

所以基本上，如果没有异常发生，你用try-catch添加的所有内容都是额外的goto。否则，JVM将在异常表中查找异常，并匹配它发生的位置。然后它将准备Exception并转到指定的任何指令索引<整个行动很繁重

Answer 2

throw/catch块中的“慢度”来自抛出和捕获异常的过程，而不是为它们设置“陷阱”的过程。当抛出异常时，JVM必须

• 创建异常的实例
• 为堆栈跟踪准备空间
• 将堆栈跟踪填充到准备好的空间中
• 将堆叠物“展开”到正确的位置
• 将控件传递给异常处理程序

当所有这些都没有发生时，JVM只需在堆栈的这个级别上添加一个异常处理程序，并继续执行实际代码

对于语言设计师来说，让特性免费是一个非常重要的目标：程序员不应该被要求为他们不使用的东西付费。否则，程序员可能会试图跳过异常处理，或者回到使用状态码的C方式，以便在这里或那里节省一些CPU周期，将异常的结束拼写为一个特性