简介

之前咱们在讲 Virtual call 的时候有提到，virtual call 办法会依据传递的参数实例的不同而进行优化，从而优化成为 classic call, 从而晋升执行效率。

明天咱们考虑一下，在 virtual call 中执行 nullcheck 的时候，如果曾经晓得传递的参数是非空的。JIT 会对代码进行优化吗？

一起来看看吧。

一个一般的 virtual call

咱们来剖析一下在办法中调用 list.add 办法的例子：

public class TestNull {public static void main(String[] args) throws InterruptedException {List<String> list= new ArrayList();
        list.add("www.flydean.com");
        for (int i = 0; i < 10000; i++)
        {testMethod(list);
        }
        Thread.sleep(1000);
    }
    private static void testMethod(List<String> list)
    {list.get(0);
    }
}

代码很简略，咱们在循环中调用 testMethod 办法，而这个办法外面又调用了 list.get(0) 办法，来获取 list 的第一个参数。

单纯的看 testMethod，这个办法是有可能抛出 NullPointerException 的，然而从整体运行的角度来看，因为咱们的 list 是有值的，所以不会抛出异样。

应用 JIT Watcher 看看运行后果：

先看第二个和第三个红框，咱们能够看到代码先做了参数类型的比拟，而后对 testMethod 进行了优化，这里还能够看到 get 办法是内联到 testMethod 中的。

代码优化的局部咱们找到了，那么异样解决呢？如果 list 为空，应该怎么解决异样呢？

第一个红框，大家能够看到是一个隐式的异样解决，它重定向到 1152b4f01 这个地址。

第四个红框就是这地址，示意的是异样解决的代码。

一般办法中的 null check

咱们在下面的一般办法外面加上一个 null check：

public class TestNull1 {public static void main(String[] args) throws InterruptedException {List<String> list= new ArrayList();
        list.add("www.flydean.com");
        for (int i = 0; i < 10000; i++)
        {testMethod(list);
        }
        Thread.sleep(1000);
    }

    private static void testMethod(List<String> list)
    {if(list !=null){list.get(0);
        }
    }
}

下面咱们增加了一个 list！=null 的判断。

运行看下后果：

相比较而言，咱们能够看到，代码其实没有太多的变动，阐明 JIT 在代码优化的过程中，将 null check 优化掉了。

那么 null check 到底在什么中央呢？看我标红的第二个框，这里是之前的异样解决区域，咱们能够看到外面有一个 ifnull，表明这里做了 null check。

反优化的例子

下面的两个例子，咱们能够看出在 virtual method 中，JIT 对 null check 进行了优化。接下来咱们再看一个例子，在这个例子中，咱们显示的传递一个 null 给 testMethod，而后再次循环 testMethod，如下所示。

for (int i = 0; i < 10000; i++)
        {testMethod(list);
        }
        Thread.sleep(1000);
        testMethod(null);
for (int i = 0; i < 10000; i++)
        {testMethod(list);
        }

咱们看下 JIT 的后果：

看下后果有什么不同呢？

第一，ifnull 当初是显示调用的，并不蕴含在隐式异样中。
第二，隐式异样也不见了，因为应用显示的 ifnull。

总结

JIT 会依据不同的状况，对代码进行不同水平的优化，心愿大家可能喜爱。

本文作者：flydean 程序那些事

本文链接：http://www.flydean.com/jvm-assembly-nullcheck/

本文起源：flydean 的博客

欢送关注我的公众号: 程序那些事，更多精彩等着您！