Javac中的nullcheck

Posted 2021-01-15 extjs4

 

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