简介

之前咱们在讲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的博客

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