为什么Java编译器允许通过null对象访问静态变量？

Question

我指着一些窍门，发现了这一点。在以下代码中：

public class TestClass1 {

    static int a = 10;

    public static void main(String ar[]){
        TestClass1 t1 = null ;
        System.out.println(t1.a); // At this line
    }
}

t1对象是null。为什么这段代码没有抛出NullPointerException？

我知道这不是访问static变量的正确方法，但问题在于NullPointerException。

Answer 1

如果要使用以下方法反汇编您的班级文件，请向当前答案中添加一些其他信息：

javap -c TestClass1

你会得到：

Compiled from "TestClass1.java"
public class TestClass1 extends java.lang.Object{
static int a;

public TestClass1();
  Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   return

public static void main(java.lang.String[]);
  Code:
   0:   aconst_null
   1:   astore_1
   2:   getstatic   #2; //Field java/lang/System.out:Ljava/io/PrintStream;
   5:   aload_1
   6:   pop
   7:   getstatic   #3; //Field a:I
   10:  invokevirtual   #4; //Method java/io/PrintStream.println:(I)V
   13:  return

static {};
  Code:
   0:   bipush  10
   2:   putstatic   #3; //Field a:I
   5:   return
}

在这里，您可以看到该getstatc指令在第7行完成了对静态字段的访问。每当通过代码访问静态字段时，getstatic都会在.class程序文件中生成相应的指令。

*static指令具有特殊性，即它们不需要在调用它们之前就对要在堆栈中的对象实例进行引用（例如，invokevirtual确实需要在堆栈中引用对象），它们仅使用字段来解析字段/方法运行时常量池的索引，以后将用于解决字段引用位置。

这是技术警告的原因，因为在编写时某些IDE会向您抛出 “应该以静态方式访问静态字段” 的警告t1.a，因为对象实例对于解析静态字段是不必要的。