Java泛型方法与桥方法

Java泛型中有存在一种方式叫做类型擦除,也就是说泛型在编译期间进行类型检验上做到有效安全,但是在运行当中,会将该泛型类型用顶层父类(若无继承关系则用Object)代替,然后再进行强转换成目标类型,这种类型擦除也存在在泛型方法中,但是方法的擦除带来了两个复杂的问题。

public class ParentString<String> {
    String src;
    public void setSrc(String src){
        this.src=src;
    }
}

public class ChildString extends ParentString<String> {
    String s="childString";
    public void setSrc(String src){
        src=https://www.linuxidc.com/Linux/2016-10/s;
    }
}

在类型擦除之后,代码演变成如下的样子

public class ChildString extends ParentString {
    String s="childString";
    public void setSrc(String src){
        src=https://www.linuxidc.com/Linux/2016-10/s;
    }
}

然而令人奇怪的是,由于类型擦除导致的还有另外一个从ParentString继承来的setSrc方法,即 setSrc(Object String)。

  由于参数的类型不同,这是两个不同的方法,但是这种情况不应该出现的。考虑一下下面的语句序列

ChildString childString=new ChildString();
        ParentString<String> parentString=childString;
        parentString.setSrc("aaa");

  这里在一般的情况下是通过多态的关系,parentString引用了子类ChildString的方法,问题在于类型擦除与多态发生了冲突。要解决这个问题,就需要在ChildString中生成一个桥方法(bridge method)

public void setSrc(Object src){
        setSrc((String)src);
    }

  值得注意的还有一点,桥方法不仅用于泛型类型,目的是用来被合成保持多态。在一个方法覆盖另一个方法时可以指定一个更严格的返回类型。

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/163455f4dd2fdf2e2d17e19d8df04bff.html