泛型方法与桥方法

  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=s;
    }
}

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

public class ChildString extends ParentString {
    String s="childString";
    public void setSrc(String src){
        src=s;
    }
}

  但是,由于类型擦除,父类中的方法变成

setSrc(Object src)

  这个时候子类无法覆盖父类的方法。

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

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

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

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

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

  还有另外一个知识点作为补充

  泛型方法与桥方法

 

  转载请说明原文出处:http://www.cnblogs.com/xxzhuang/p/5968331.html  多谢合作。

  

    

上一篇:这可能是新手最容易入门的JVM讲解(不过是一场恋爱)


下一篇:接口介绍-Servlet Context