Javac会通过调用引用对象的getClass()来判空,主要有几处:
(1)JCMethodInvocation()方法中,如下实例:
class A{ class B{} } public class Test06 extends A.B{ public Test06(A a){ a.super(); } }
要保证a不能为null值。
(2)visitNewClass()方法中对明确指定的encl属性不能为空
(3)visitStringSwitch()方法中的给switch传递的参数
String fruit = ""; switch (fruit) {}
JLS明确规定,switch()中的参数不能为null,那么Javac是通过调用对象的getClass()方法进行判空的。
对于程序的fruit树节点,如下:
要调用Attr.makeNullcheck()方法传递fruit树节点,返回结果如下:
生成的字节码如下:
public void md(); descriptor: ()V flags: ACC_PUBLIC Code: stack=2, locals=2, args_size=1 0: ldc #2 // String 2: astore_1 3: aload_1 4: dup 5: invokevirtual #3 // Method java/lang/Object.getClass:()Ljava/lang/Class; 8: pop 9: pop 10: return