🎬 HoRain 云小助手：个人主页

⛺️生活的理想，就是为了理想的生活!

---

⛳️ 推荐

前些天发现了一个超棒的服务器购买网站，性价比超高，大内存超划算！忍不住分享一下给大家。点击跳转到网站。

目录

⛳️ 推荐

💻 方法重载与静态分派

🔄 方法重写与动态分派

🧠 进阶概念与实用建议

💎 总结

---

理解Java中方法重载（Overload）和重写（Override）的底层原理，关键在于弄懂JVM是如何在编译时和运行时确定具体要执行哪个方法的。简单来说，重载是编译器在编译阶段通过静态分派决定的，而重写是JVM在运行阶段通过动态分派和虚方法表机制决定的。

为了让你快速抓住核心，我们先通过一个表格来梳理它们的主要区别。

特性	方法重载 (Overload)​	方法重写 (Override)​
核心机制​	静态分派	动态分派
判定依据​	依赖参数的静态类型​	依赖方法接收者的实际类型​
发生时机​	编译期​	运行期​
字节码指令​	多样化（如invokestatic, invokespecial, invokevirtual）	主要为 invokevirtual
JVM结构​	不依赖特定数据结构	依赖虚方法表​

下面，我们深入看看这些机制是如何运作的。

💻 方法重载与静态分派

方法重载的本质是静态分派。这意味着具体调用哪个重载方法，在代码编译时就已经由编译器根据参数的静态类型（又称声明类型）确定了。

• 关键概念：静态类型 vs. 实际类型

  请看这个例子：Human man = new Man();。其中，Human是变量 man的静态类型，而 Man是其实际类型。编译器在重载时，只认静态类型。

• 示例分析

  public class StaticDispatch {
      static class Human {}
      static class Man extends Human {}
      static class Woman extends Human {}
  
      public void sayHello(Human guy) {
          System.out.println("Hello, guy!");
      }
      public void sayHello(Man man) {
          System.out.println("Hello, man!");
      }
      public void sayHello(Woman woman) {
          System.out.println("Hello, woman!");
      }
  
      public static void main(String[] args) {
          Human man = new Man();  // 静态类型=Human，实际类型=Man
          Human woman = new Woman();
          StaticDispatch sr = new StaticDispatch();
          sr.sayHello(man);    // 输出 "Hello, guy!"
          sr.sayHello(woman); // 输出 "Hello, guy!"
      }
  }

  尽管 man的实际类型是 Man，但它的静态类型是 Human。因此，编译器选择了 sayHello(Human)这个版本，并将对应的符号引用写入字节码。

• 类型匹配优先级

  编译器在选择重载方法时有一套优先级：精确匹配 > 自动类型提升（如int到long） > 自动装箱/拆箱 > 可变长参数。如果找不到唯一的最佳匹配，编译器会报错。

🔄 方法重写与动态分派

方法重写的本质是动态分派。具体调用父类还是子类的方法，需要程序运行时才能根据对象的实际类型来决定。

• 核心指令：invokevirtual

  JVM字节码中，普通实例方法（即可被重写的方法）的调用通过 invokevirtual指令实现。该指令的执行逻辑是动态分派的核心。

  1. 找到操作数栈顶元素所指向对象的实际类型。

  2. 在实际类型对应的类中，查找与常量池中描述符和名称都相符的方法。如果找到且权限校验通过，则返回方法直接引用。

  3. 否则，按照继承关系自下而上在各个父类中重复此过程。

  4. 如果始终找不到，则抛出异常。

• 性能优化：虚方法表

  如果每次方法调用都执行一遍上述查找，效率会很低。为此，JVM为每个类在方法区建立一个虚方法表。vtable可以理解为一个方法指针数组，其中存放着各个方法的实际入口地址。

  • 如果子类没有重写父类的某个方法，那么子类vtable中该方法对应的入口地址指向的是父类的方法实现。

  • 如果子类重写了父类的方法，那么子类vtable中相应的入口地址会被替换为指向子类自身实现版本的指针。

    这样，在执行 invokevirtual时，JVM只需获取对象的实际类型，然后在其vtable中通过简单的索引偏移就能找到要调用的方法地址，大大提升了效率。

• 示例分析

  public class DynamicDispatch {
      static abstract class Human {
          protected abstract void sayHello();
      }
      static class Man extends Human {
          @Override
          protected void sayHello() { System.out.println("Man says hello!"); }
      }
      static class Woman extends Human {
          @Override
          protected void sayHello() { System.out.println("Woman says hello!"); }
      }
  
      public static void main(String[] args) {
          Human man = new Man();
          Human woman = new Woman();
          man.sayHello();   // 输出 "Man says hello!"
          woman.sayHello(); // 输出 "Woman says hello!"
          man = new Woman();
          man.sayHello();   // 输出 "Woman says hello!"
      }
  }

  变量 man的静态类型始终是 Human，但JVM执行 invokevirtual指令时，会根据其实际类型（先是 Man，后是 Woman）来查找vtable，从而调用正确的 sayHello方法。

🧠 进阶概念与实用建议

了解底层原理后，我们再来看看一些相关的进阶知识点和实用建议。

• 分派类型：Java语言的静态分派（重载）属于多分派（同时考虑方法接收者和参数类型），而动态分派（重写）属于单分派（仅考虑方法接收者）。

• 非虚方法：静态方法、私有方法、实例构造器、父类方法（通过super调用）以及final方法，这些方法无法被重写，没有多态性。它们被称为非虚方法，在类加载的解析阶段就会将符号引用转换为直接引用，属于静态绑定。

• @Override注解的重要性：强烈建议在重写方法时使用 @Override注解。这能帮助编译器进行检查，避免因方法签名书写错误（如参数类型不一致）而意外创建重载方法而非重写方法。

💎 总结

简单来说：

• 重载是“编译时决策”，编译器根据引用声明的类型（静态类型）和方法签名来选择具体方法。

• 重写是“运行时决策”，JVM根据对象实际指向的类型（实际类型），通过虚方法表来动态定位具体的方法实现。

希望这些解释能帮助你更深入地理解Java多态的运作机制。如果在实际编码中遇到相关疑惑，欢迎随时提出，我们可以继续探讨。

❤️❤️❤️本人水平有限，如有纰漏，欢迎各位大佬评论批评指正！😄😄😄

💘💘💘如果觉得这篇文对你有帮助的话，也请给个点赞、收藏下吧，非常感谢!👍 👍 👍

🔥🔥🔥Stay Hungry Stay Foolish 道阻且长,行则将至,让我们一起加油吧！🌙🌙🌙