标签：cal check tcl ast javac span LLC des info
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
标签：cal check tcl ast javac span LLC des info
原文地址：https://www.cnblogs.com/extjs4/p/9855708.html
