java-泛型-详解.ppt

* * * * * * * * * * * * * * * * * * * * * public class SubGenericT1, T2, T3 extends GenericT1, T2 { private T3 f3; public void setF3(T3 f3) { this.f3 = f3; } public T3 getF3() { return f3; } } 继承中的泛型 继承时如需保留父类泛型，需要在声明时加入父类泛型 如果不保留父类中的泛型声明，则继承下来的T1与T2自动变为Object类型 建议父类中的泛型声明在子类中都要保留 继承时指定父类的泛型类型 如果在继承时，不想保留父类中的泛型，但也不想使用默认的Object类型，此时可以直接指定父类中的泛型。 public class SubGenericT3 extends GenericString, Object { private T3 f3; public void setF3(T3 f3) { this.f3 = f3; } public T3 getF3() { return f3; } } public class IC implements I{ public Object getT1(){ } //对接口方法getT1的实现 public Object getT2(){ } //对接口方法getT2的实现 //.... } 泛型接口 接口也可包含泛型的声明: 实现泛型接口时，类在定义时可以不声明泛型接口中的泛型，此时接口中的泛型也会自动变为Object类型： public interface IT1, T2{ T1 getT1(); T2 getT2(); //.... } public class ICT1,T2 implements IT1,T2{ public T1 getT1(){ } //对接口方法getT1的实现 public T2 getT2(){ } //对接口方法getT2的实现 //.... } //声明泛型接口的变量，并利用泛型实现类进行实例化 IString,Integer i=new ICString,Integer(); 泛型接口的实现 如果需要在实现泛型接口时，保留接口中的泛型，类在定义时就必须要保留泛型接口中的泛型声明： //实现接口I时，直接指定泛型T1、T2的类型 class IC implements IString,Integer{ //由于指定接口I中T1类型为String,getT1返回类型必须为String public String getT1(){ } //由于指定接口I中T2类型为Integer,getT2返回类型必须为Integer public Integer getT2(){ } //.... } 实现泛型接口时指定泛型类型 在实现泛型接口时，也可直接指定接口中的泛型的实际类型： 泛型和枚举 由于枚举类型不能直接实例化，所以枚举的定义中不能含有泛型的声明，但枚举中可包含泛型方法的定义。 public enum TrafficLight{ Red,Amber,Green; private int duration; public static T void avgDuration(CollectionT carType){ //.... } //.... } 类型去除(Type Erasure) JDK1.5引入的泛型实际上是一种编译器层次上的语法糖,在虚拟机层次上并不直接支持泛型。编译器在编译时会自动去除有关泛型的定义，这样的处理方式有以下特点： 字节码与1.5以前的版本相同，保持了字节码的兼容性 安全性不受影响 性能不受影响-没增加也没减少 泛型的实际类型信息保存在类文件里 类型去除影响的一些Java语法 由于JDK1.5采用类型去除处理泛型语法，造成了一些比较晦涩的Java语法变化： instanceof运算符不能用于包含泛型类型的判断 if(a instanceof java.util.ListString) //错误 方法的重载出现了一些怪异的语法现象，一些看似合理的方法重载不能通过编译，这些有望在JDK1.7中得到解决： //print方法1 void print(java.uti