Java泛型---桥方法

桥方法

桥方法是为了解决类型擦除后与多态的冲突。为了理解什么是桥方法。下面举实例，假设有一个泛型类Pair，它用来保存两个值，first与second，first永远比second大。
现在，创建一个子类去继承它。

1. package Test;import java.time.LocalDate;public class Pair{   private T first;   private T second;   public Pair(){};   public Pair(T first, T second) {       this.first = first;       this.second = second;   }   public T getFirst() {       return first;   }   public void setFirst(T first) {       this.first = first;   }   public T getSecond() {       return second;   }   public void setSecond(T second) {       this.second = second;   } }class DateInterval extends Pair {   public void setSecond(LocalDate second){       if(second.compareTo(getFirst()) >=0)           super.setSecond(second);   }}

复制代码

那么呢，这个子类重写了父类的setSecond,这是我们的意图，要去重写这个方法，那么注意看子类的方法。由于它继承的是Pair类，所以这个方法的参数也要是LocalData，毕竟要时这个日期保持在第二。现在回到泛型类Pair，它的方法类型擦除后是什么样子

1. public void setSecond(Object second){   this.second = second; }

复制代码

很明显，两个方法的参数不一样，并没有达到重写的目的，而是变成了重载。问题就在这里，如果我们编写下面的代码

1.        DateInterval dateInterval = new DateInterval(); //创建一个实例        Pair pair = dateInterval; //父类引用子类实例        pair.setSecond(LocalDate.now());

复制代码

上面的代码是典型的多态概念的体现，根据对象的实际类型而非声明类型来决定调用哪个方法的过程，所以此时，预期中肯定是调用实例的方法。但此时，多态特性与类型擦除产生了冲突，编译器会生成一个桥方法。如果没有桥方法，那它会调用本身的方法，也就是原始类型的setsecond(Objects second)方法。为了解决这个问题，编译器在DateInterval类中生成一个桥方法

1. public void setSecond(Object second){  setSecond((LocalData) Second);}

复制代码

强制调用预期的方法。这就是桥方法，通过搭建一座看不见的桥，使程序符合Java特性。然而，这样看不见的特性，怎么去证明它确实存在？其一是，这样的桥方法是编译器自动生成，如果你手动编写这样的方法，会与编译器生成的产生冲突，从而报错。

其二是通过JDK自带查看字节码的工具，对编译后的.class文件执行以下命令。
bash javap -c -v DataInterval.class

欲重写父类的方法字节码

编译器自动生成的setSecond方法，可以很明显的看到它方法的参数是Object。至于其余的代码，我们主要看这一行：
java 5: invokevirtual #25                 // Method setSecond:(Ljava/time/LocalDate;)V
类似的，重写父类的get方法

1. class DateInterval extends Pair{    //编译器自动生成桥方法    public LocalDate getSecond(){        //返回父类的second值并转为LocalDate类        return (LocalDate) super.getSecond();    }    }

复制代码

编译器会生成下面的桥方法

1. LocalDate getSecond(); Object getSecond();//父类继承

复制代码

总之，对Java泛型的转换，记住以下几点：

• 虚拟机中没有泛型，只有普通的类和方法。
  
• 所有类型参数都会替换为他们的限定类型。
  
• 会合成桥方法来保持多态
  
• 为保持类型安全性，必要时会强制插入类型转换。
  

来源：程序园用户自行投稿发布，如果侵权，请联系站长删除
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！