方法区的内部结构

 

《深入理解Java虚拟机》书中对方法区存储内容描述如下：它用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等

 

类型信息

　　对每个加载的类型（ 类class、接口interface、枚举enum、注解annotation），JVM必须在方法区中存储以下类型信息：

• • 这个类型的完整有效名称（全名=包名.类名）
  • 这个类型直接父类的完整有效名（对于interface或是java. lang.Object，都没有父类）
  • 这个类型的修饰符（public， abstract， final的某个子集）
  • 这个类型直接接口的一个有序列表

 

域信息（成员变量）

• JVM必须在方法区中保存类型的所有域的相关信息以及域的声明顺序
• 域的相关信息包括：域名称、 域类型、域修饰符（public， private， protected， static， final， volatile， transient的某个子集

 

方法信息

　　JVM必须保存所有方法的以下信息，同域信息一样包括声明顺序：

• • 方法名称
  • 方法的返回类型（或void）
  • 方法参数的数量和类型（按顺序）
  • 方法的修饰符（public， private， protected， static， final， synchronized， native ， abstract的一个子集）
  • 方法的字节码（bytecodes）、操作数栈、局部变量表及大小（ abstract和native 方法除外）
  • 异常表（ abstract和native方法除外）
    • 每个异常处理的开始位置、结束位置、代码处理在程序计数器中的偏移地址、被捕获的异常类的常量池索引

 

非final静态变量

• 静态变量和类关联在一起，随着类的加载而加载，他们成为类数据在逻辑上的一部分
• 类变量被类的所有实例所共享，即使没有类实例你也可以访问它

/**
 * 以下代码不会报空指针异常
 */
public class MethodAreaTest {
    public static void main(String[] args) {
        Order order = null;
        order.hello();
        System.out.println(order.count);
    }
}

class Order {
    public static int count = 1;

    //全局常量 static final 被声明为final的类变量的处理方法则不同，每个全局常量在编译的时候就被分配了
    public static final int number = 2;


    public static void hello() {
        System.out.println("hello!");
    }
}

 public static int count;
    descriptor: I
    flags: ACC_PUBLIC, ACC_STATIC

  public static final int number;
    descriptor: I
    flags: ACC_PUBLIC, ACC_STATIC, ACC_FINAL
    ConstantValue: int 2

//反编译信息如上，可以看到被声明为static final的常量number在编译的时候就被赋值了，这不同于没有被final修饰的static变量count是在类加载的准备阶段被赋值

 

运行时常量池

　　class文件常量池

• 一个有效的字节码文件中除了包含类的版本信息、字段、方法以及接口等描述信息外，还包含一项信息那就是常量池表（Constant Poo1 Table），包括各种字面量和对类型域和方法的符号引用
• 一个 java 源文件中的类、接口，编译后产生一个字节码文件。而 Java 中的字节码需要数据支持，通常这种数据会很大以至于不能直接存到字节码里，换另一种方式，可以存到常量池这个字节码包含了指向常量池的引用。
• 在动态链接的时候会用到运行时常量池. - 比如如下代码，虽然只有 194 字节，但是里面却使用了 string、System、Printstream 及 Object 等结构。这里代码量其实已经很小了。如果代码多，引用到的结构会更多

Public class Simpleclass {
    public void sayhelloo() {
        System.out.Println (“hello”) 
　　}
}

• 几种在常量池内存储的数据类型包括：数量值、字符串值、类引用、字段引用、方法引用
• 常量池可以看做是一张表，虚拟机指令根据这张常量表找到要执行的类名，方法名，参数类型、字面量等信息

 

　　运行时常量池

• 运行时常量池（ Runtime Constant Pool）是方法区的一部分
• 常量池表（Constant Pool Table）是Class文件的一部分，用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中
• 运行时常量池，在加载类和接口到虚拟机后，就会创建对应的运行时常量池
• JVM为每个已加载的类型（类或接口）都维护一个常量池。池中的数据项像数组项一样，是通过索引访问的
• 运行时常量池中包含多种不同的常量，包括编译期就已经明确的数值字面量，也包括到运行期解析后才能够获得的方法或者字段引用。此时不再是常量池中的符号地址了，这里换为真实地址
  • 运行时常量池，相对于Class文件常量池的另一重要特征是：具备动态性
    • String.intern()
• 运行时常量池类似于传统编程语言中的符号表（symbol table） ，但是它所包含的数据却比符号表要更加丰富一些
• 当创建类或接口的运行时常量池时，如果构造运行时常量池所需的内存空间超过了方法区所能提供的最大值，则JVM会抛OutOfMemoryError异常

 

附：JVM学习目录