Java虚拟机的内存分区：Java栈、堆、方法区、本地方法栈、PC寄存器。还有一个常量池的概念，虚拟机会为每种类型分配一个常量池，而不是实例。
例如有一个类有很多子类，那么在父类定义的final变量，在子类是不能被改变的。可以说明是在类型上分配的。
被static修饰的变量或者方法是属于类本身，而不属于类的实例。在类被加载进虚拟机的时候就已经初始化了，他存在与方法区，方法区和堆区的时候是共享的，因此他被设计为线程安全的。假设同时有两个线程都企图访问一个名为A的类，而这个类还没有被转入虚拟机，此时只应该有一个线程去装载它，而另一个线程只能等着。所以为什么我们可以说static定义的变量是共享数据。
我们举两个例子看下他们的不同。
public interface Angry {
String greeting = "Girl!!!";
int angryLevel = Dog.getAngryLevel();
}
public class Dog {
static final String greeting = "Woof,woof";
public Dog() {
System.out.println("DOg");
}
static{
System.out.println("Dog is in");
}
static int getAngryLevel(){
System.out.println("Angry is in");
return 1;
}
}
public class Example1 {
public static void main(String[] args) {
System.out.println(Angry.greeting);
System.out.println(Dog.greeting);
//new Dog();
}
static {
System.out.println("Exampl1");
}
}
这个的输出结果是：
Exampl1
Girl!!!
Woof,woof
把new Dog();注释的代码打开，在看看结果。
Exampl1
Girl!!!
Woof,woof
Dog is in
DOg
再来看看下面的代码：
public class A{
static int a = 10;
static{
System.out.println("初始化A");
}
}
public class B extends A{
static int b = 5;
static{
System.out.println("初始化B");
}
}
public class Example2{
public static void main(String[] args){
int c = B.b;
System.out.println(c);
}
static{
System.out.println("初始化Example2");
}
}
他的输出结果是：
初始化Example1
初始化A
5
开始我一直以为调用到了这个类的方法或者变量的时候，就会执行静态代码块或者是非静态代码块。看了《深入java虚拟机》之后明白了很多。
总结下：
第一个例子：3个类都没有继承关系。接口定义的变量默认是public static final的，方法默认是public abstract。
main方法是程序的入口，虚拟机会初始化该线程所在的类，那么他会先执行静态代码块的内容，然后程序再从上往下执行，执行Angry.greeting，打印他的值，执行Dog.greeting,打印他的值。Angry和Dog都没有实例化。所以不会调用静态代码块的方法。
new 一个Dog对象，此时程序主动实例化一个对象，那么他会调用Dog的静态代码块、非静态代码块、无参构造函数。
第二个例子：B类继承了A类。在Example2中也没有主动的创建B类对象，但是程序调用了B类的静态变量，而B类又继承了A类，虚拟机会先加载并实例化A类（B的父类），所以会执行A类的静态代码块、非静态代码块、无参构造函数。
但是他却没有执行B类的静态代码块，因为程序没有主动的实例化B类对象。
有六种情形属于主动使用初始化。
1、当创建某个类的新实例时（new、克隆、反序列化、反射）
2、调用静态方法。
3、使用到某个类或接口的静态字段，或者对该字段赋值，用final修饰的静态字段除外，他被初始化为一个编译时的常量表达式。
4、当初始化某个类的子类时。
5、使用某个类的Class中的反射方法时。
6、启动有main方法的类。