重载

       在同一个类中,如果多个方法有相同的名字、不同的参数,即称为重载,比如一个类中有多个构造方法。String类中的valueOf也是比较著名的案例,它有9个方法,可以将输入的基本数据类型、数组、Object等转化成为字符串。在编译器的眼里,方法名称+参数类型+参数个数,组成一个唯一键,称为方法签名,JVM通过这个唯一键决定调用哪种重载的方法。注意,方法返回值并非是这个组合体中的一员,所以在使用重载机制时,不能有两个方法名称完全相同,参数类型和个数也相同,但是返回类型不同的方法。如下示例代码:

 public class SameMethodSignature {

    public void methodForOverload() {}
   
    // 编译出错,返回值并不是方法签名的一部分
    public final int methodForOverload() {
      return 7;
   }
  
   //编译出错,访问控制符也不是方法签名的一部分
   private void methodForOverload() {}

   // 编译出错,静态标识符也不是方法签名的一部分
   public static void methodForOverload() {}

   // 编译出错,final标识符也不是方法前面的一部分
  public final void methodForOverload(){} 
}

    重载似乎是比较容易理解和掌握的变成技能,有时仅凭肉眼判断就能知道应调用哪种重载方法,特别是如下代码所示的第一种方法和第二种方法。前者是无参的,后者参数是int param,但是后边的三种方法,只是参数类型不同罢了。这时,如果调用methodForOverload(7),猜猜,到底调用的是谁呢?

  public class OverloadMethods {

   // 第一种方法:无参
   public void overloadMethod() {
    System.out.println("无参方法")
   }
  
  // 第二种方法:基本数据类型
  public void methodForOverload(int param) {
   System.out.println("参数为基本类型的int方法");
 }

 // 第三种方法:包装数据类型
 public void methodForOverload(Integer param) {
   System.out.println("参数为包装类型的Integer方法");
 }

 // 第四种方法:可变参数,可以接受0-n个Integer对象
 public void methodForOverload(Integer ...param) {
    System.out.println("可变参数方法");
 }  

 // 第五种方法:Object对象
 public void methodForOverload(Object param) {
  System.out.println("参数为Object方法");
 }
}

     先看这五种方法的字节签名有何异同点。

 // V表示Void返回值
public overloadMethod() V

// I就是代表int基本数据类型,而非Integer
public methodForOverload(I) V

// L表示输入的参数是对象,然后跟着package+类名 (第一处)
public methodForOverload(Ljava/lang/Integer;) V

// varargs 表示可变参数 (第二处)
public varargs methodForOverload(Ljava/lang/Integer;) V

// L同样表示对象参数
public methodForOverload(Ljava/lang/Object;) V

第一处与第二处的区别是后者加了varargs标识,即可变参数,参数个数可以是0或者多个,也就是说,它和第一、二、三个方法都是有可能会争抢地盘的。首先,如果调用methodForOverload(),假如在无参方法缺席的情况下,也会调用到可变参数方法。但是如果无参方法在场,就不需要可变参数了。现在对这个类来说,methodForOverload(7)到底花落谁家?JVM在重载方法中,选择合适的目标方法的顺序如下:
  (1)精确匹配
  (2)如果是基本数据类型,自动转换成更大表示范围的基本类型
  (3)通过自动的拆箱与装箱
  (4)通过子类向上转型继承路线依次匹配
  (5)通过可变参数匹配
    精确匹配优先,这是毫无疑问的。int在和Integer的较量中胜出,因为不需要自动装箱,所以7会调用int参数的方法。如果是new Integer(7)的话,Integer参数的方法胜出。
  如果本方法只有methodForOverload(long),则可以接受methodForOverload(3)的实参调用;反之,如果只有methodForOverload(int),而传入long值,则会编译出错。基本数据类型转为表示范围更大的基本数据类型优先于自动装箱,即int转为long,优先于装箱为Integer。
  注意,null可以匹配任何类对象,在查找目标方法时,是从底层子类依次向上查找的。在本类中,如果methodForOverload(null),则会调用参数为Integer的方法。第一,因为Integer是一个类;第二,它是Object的子类。在示例代码中,如果还有单个String类型的方法,则会编译出错,因为null不知道该选择Integer还是String。
  根据上述匹配顺序,可变参数在竞争中明显处于弱势地位。如果调用methodForOverload(13,14),此时有两个参数,虽然有自动装箱的开销,但可变参数仍会执行这种方法请求。
    最后,有些程序员好奇心特别强,刚才不是说7是匹配基本数据类型优先,而 new Integer(7)是匹配包装类优先的,那如果这样定义:

 public void methodForOverload(int param1,Integer param2) {}
 public void methodForOverload(Integer param3,int param4) {}

  这种定义方式就是在考验编译器的忍耐底线,虽然编译器的内心是崩溃的,但是这样的定义是可以通过编译的,这也是一种重载方式。但是调用methodForOverload(13,14)会彻底让编译器失控。
  最后,假如一个类只有mehotdForOverload(Object param)和methodForOverload(Integer ...param)两种方法,根据目标方法匹配顺序,methodForOverload(7)会自动装箱,然后向上转向,遇到Object。这个规则优先于调用可变参数的重载方法。
  父类的公有实例方法与子类的公有实例方法可以存在重载关系。不管继承关系如何复杂,重载在编译时可以根据规则知道调用哪种目标方法。所以,重载又称为静态绑定。

posted @ 2023-04-24 23:37  雨晨漫步  阅读(55)  评论(0编辑  收藏  举报