Java语言中方法重写的本质

最新推荐文章于 2022-05-28 23:01:54 发布

Mr_tianyanxiaobai

最新推荐文章于 2022-05-28 23:01:54 发布

阅读量731

点赞数 2

分类专栏： JVM 文章标签： jvm

本文链接：https://blog.csdn.net/Mr_tianyanxiaobai/article/details/118524307

版权

JVM 专栏收录该内容

26 篇文章 0 订阅

订阅专栏

本文深入解析Java中的方法重写与动态分派。动态分派基于对象实际类型确定调用方法，若子类有重写，优先调用子类方法。非法访问错误（IllegalAccessError）发生在尝试访问无权访问的属性或方法时。示例代码展示了在对象初始化过程中方法调用的细节，强调成员变量和方法访问的规则。理解这些概念有助于增强对Java多态性的理解。

摘要由CSDN通过智能技术生成

Java语言中方法重写的本质

找到操作数栈顶的第一个元素所执行的对象的实际类型，记作 C。
如果在类型C中找到与常量中的描述符合简单名称都相符的方法，则进行访问权限校验。
- 如果通过则返回这个方法的直接引用，查找过程结束
- 如果不通过，则返回java.lang.IllegalAccessError 异常
否则，按照继承关系从下往上依次对C的各个父类进行第2步的搜索和验证过程。
- 如果始终没有找到合适的方法，则抛出java.lang.AbstractMethodError异常。

上面这个过程也被称为动态分派：根据对象的实际类型，来确认调用的方法版本，子类有重写方法，则调用子类的重写方法，否则去父类找对应的方法，这就是 invokevirtual 指令的执行逻辑，这是 java 里面对于方法重写的本质。

IllegalAccessError介绍

程序试图访问或修改一个属性或调用一个方法，这个属性或方法，你没有权限访问。一般的，这个会引起编译器异常。这个错误如果发生在运行时，就说明一个类发生了不兼容的改变。
比如，你把应该有的jar包放从工程中拿走了，或者Maven中存在jar包冲突

举例

public class FieldHasNoPolymorphic {
    static class Father{
        public int money = 1;
        public Father(){
            money = 2;
            showMeTheMoney();
        }
        public void showMeTheMoney(){
            System.out.println("I am Father, i have $" + money);
        }
    }
    static class Son extends Father{
        public int money = 3;
        public Son(){
            money = 4;
            showMeTheMoney();//第二行的结果
        }
        public void showMeTheMoney(){
            System.out.println("I am Son, i have $" + money);
        }
    }
    public static void main(String[] args){
        Father gay = new Son();
        System.out.println("This gay has $" + gay.money);
    }

}

上面代码的输出结果如下：
在这里插入图片描述

第一行结果的原因

首先进入FieldHasNoPolymorphic 的init 函数，然后开始运行它的main函数。main函数的字节码如下：
接下来进入 Son 的init()

在这里插入图片描述

进入 father 的 init（）：
然后father里面有 invokevirtual，根据动态分配的原则，首先会选择调用实际类型的重写，方法。因此这里虽然 father已经给money赋值了，但是任然会调用 son 的showmoney 方法。
由于此时son里面的money还没有被复制，因此输出了 0 （这个0应该是在编译过程中的JVM类加载阶段为money付的默认值
）。