4、运行时数据区线程共享区（方法区）

方法区

栈、堆、方法区的交互关系

方法区的理解

对于HotSpotJVM而言，方法区还有一个别名，叫做Non-Heap（非堆），目的就是要和堆分开。

所以，方法区看做是一块独立于Java堆的内存空间。

• 方法区（Method Area）与Java堆一样，是各个线程共享的内存区域；
• 方法区在JVM启动时被创建，并且它的实际的物理内存空间和Java堆区一样都可以是不连续的；
• 方法区的大小，和堆空间一样，可以选择固定大小或者可扩展；
• 方法区的大小，决定了系统可以保存多少个类，如果系统定义了太多的类，导致方法区溢出，虚拟机同样会抛出内存溢出错误，java.lang.OutOfMemoryError:Metaspace；
• 关闭JVM就会释放这个区域的内存。

HotSpot中方法区的演进

• 在JDK1.7以前，习惯上把方法区，称为永久代，JDK1.8开始，使用元空间取代了永久代；
• 元空间的本质和永久代类似，都是对JVM规范中方法区的实现。不过元空间与永久代最大的区别在于：元空间不在虚拟机设置的内存中，而是使用本地内存；
• 永久代、元空间二者并不只是名字变了，内部结构也调整了；

设置方法区大小

JDK1.8及以后：

• 元数据区大小可以使用参数-XX:MetaspaceSize和-XX:MaxMetaspaceSize指定；
• 默认值依赖于平台：Windows下，-XX:MetaspaceSize是21M，-XX:MaxMetaspaceSize的值是-1，没有限制；
• 与永久代不同，如果不指定大小，默认情况下，虚拟机会耗尽所有可用的系统内存。如果元数据区发生溢出，虚拟机一样会抛出异常OutOfMemoryError:Metaspace；

方法区的内部结构

《深入理解Java虚拟机》》书中对方法区（Method Area）存储内容描述如下：

它用于存储已被虚拟机加载的类型信息、运行时常量池、常量、静态变量、即时编译器编译后的代码缓存等。

可以使用jclasslib查看class文件的信息。

运行时常量池 vs 常量池

• 方法区，内部包含了运行时常量池；
• 字节码文件，内部包含了常量池；
• 要搞清楚方法区，需要理解清楚classFile，因为加载类的信息都在方法区；
• 要搞清楚方法区的运行时常量池，需要理解清楚classFile中的常量池；

class文件中常量池的理解

包括各种数量值、字符串值、类、字段和方法的符号引用。

为什么需要常量池？

一个Java源文件中的类、接口，编译后产生一个字节码文件。而Java中的字节码需要数据支持，通常这种数据会很大以至于不能直接存到字节码中，换一种方式，可以存到常量池中，这个字节码包含了指向常量池的引用，在动态链接时会用到运行时常量池。

public class SimpleClass {
    public void sayHello() {
        System.out.println("Hello");
    }
}

里面使用了String、System、PrintStream及Object等结构，这里的代码量已经很小了，如果代码多，引用到的结构会更多，这就需要常量池了！

常量池，可以看做是一张表，虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量等类型。

运行时常量池

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

方法区的演进细节

在JDK1.7之前运行时常量池逻辑包含字符串常量池存放在方法区,
此时hotspot虚拟机对方法区的实现为永久代

在JDK1.7 字符串常量池被从方法区拿到了堆中, 这里没有提到运行时常量池,
也就是说字符串常量池被单独拿到堆,运行时常量池剩下的东西还在方法区, 
也就是hotspot中的永久代

在JDK1.8 hotspot移除了永久代用元空间(Metaspace)取而代之, 
这时候字符串常量池还在堆, 运行时常量池还在方法区, 
只不过方法区的实现从永久代变成了元空间(Metaspace) 

静态变量保存在Class实例的尾部，Class对象存在堆上。

Class对象是存放在堆区的，不是方法区，类的元数据（元数据并不是类的Class对象！Class对象是加载的最终产品，类的方法代码，变量名，方法名，访问权限，返回值等等都是在方法区的）才是存在方法区的。