JVM方法区
动态类型语言和静态类型语言
动态类型语言和静态类型语言两者的区别就在于对类型的检查是在编译期还是在运行期，满足前者就是静态类型语言（更严格的语法规范），反之是动态类型语言。
说的再直白一点就是，静态类型语言是判断变量自身的类型信息;动态类型语言是判断变量值的类型信息，变量没有类型信息，变量值才有类型信息，这是动态语言的一个重要特征。
方法的重写本质
1．找到操作数栈顶的第一个元素所执行的对象的实际类型，记作d.
2．如果在类型c中找到与常量中的描述符合简单名称都相符的方法，则进行访问权限校验，如果通过则返回这个方法的直接引用，查找过程结束;如果不通过，则返回java.lang.IllegalAccessError异常（非法访问错误）。
3．否则，按照继承关系从下往上依次对c 的各个父类进行第⒉步的搜索和验证过程。
4．如果始终没有找到合适的方法，则抛出java.lang.AbstractMethodError异常（抽象方法错误）。
虚方法表
在面向对象的编程中，会很频繁的使用到动态分派，如果在每次动态分派的过程中都要重新在类的方法元数据中搜索合适的目标的话就可能影响到执行效率。因此，为了提高性能，JVM采用在类的方法区建立一个虚方法表( virtual method table）(非虚方法不会出现在表中)来实现。使用索引表来代替查找。
每个类中都有一个虚方法表，表中存放着各个方法的实际入口。
虚方法表什么时候被创建？
虚方法表会在类加载的链接阶段（解析阶段）被创建并开始初始化，类的变量初始值准备完成之后，JVM会把该类的方法表也初始化完毕。
