Javac中的nullcheck

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