Javac中的nullcheck-优快云博客

本文深入探讨了Java编译器javac如何通过调用getClass()方法进行空值检查，特别是在方法调用、new类实例化及switch语句中的实现细节。通过具体代码示例，展示了编译器确保变量非空的机制，并解释了字节码层面的处理过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

转载于:https://www.cnblogs.com/extjs4/p/9855708.html