|
泛型是java SE 1.5 的新特性，泛型的本质是参数化类型，也就说所操作的额数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。 在Java SE1.5之前，没有泛型的情况下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显示的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常。这是一个安全隐患。 泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高了代码的重用率。 泛型的使用中还有一些规则和限制： 1、 泛型的类型参数只能是类类型，包括自定义类，不能是简单的类型。 2、 同一种泛型可以对应多个版本（因为参数类型是不确定的）不同版本的泛型类实例是不兼容的。 3、 泛型的参数可以有多个 4、 泛型的参数类型可以使用extends语句，例如：<Textends superclass>习惯上称为“有界类型”。 5、 泛型的参数类型还可以使通配符类型。例如：Class<?>classType = Class.forName(java.lang.String); Java语言中的泛型基本是在编译器中实现的，由编译器执行类型检查和类型推断，然后生成普通的非泛型字节码，这称为擦除技术——编译器使用泛型类型信息保证类型安全，然后在生成字节码之前将其清除。 泛型不是协变的 Java中的数组是协变的，也就是说，如果Integer扩展了Number，那么不仅Integer是Number，而且Integer[]也是Number[]，在要求Number[]的地方完全可以传递或者赋予Integer[]。 （更正式的说，如果Number是Integer的超类型，那么Number[]也是Integer[]的超类型） 但是List<Number>不是List<Integer>的超类型，在需要List<Number>的地方是不可以使用List<Integer>的。1、因为如果在使用List<Number>的地方使用List<Integer>将破坏要提供的类型的安全泛型。 2、数组能够协变而泛型不能协变的另一个原因是，不能实例化泛型类型的数组，如：newList<String>[3]是不合法的，除非类型参数是一个未绑定的通配符（newList<?>[3]是合法的）。如果允许声明泛型类型数组会造成的后果：因为数组协变会破坏泛型的类型安全，所以不允许实例化泛型类型的数组，除非类型是未绑定的通配符。 构造延迟
因为存在擦除功能，所以List<Integer>和List<String>是同一个类，编译器在编译时List<V>时只生成一个类。因此在编译List<V>类时，编译器不知道V所表示的类型，所以它就不能像知道类所表示的具体类型那样处理List<V>类定义中的类型参数。 因为运行时不能区分List<String>和List<Integer>（运行时都是List），用泛型类型参数标示类型的变量的构造就造成了问题，运行时缺乏类型信息，这给泛型容器类和希望创建保护性副本的类型类提出了难题。 JDK1.5引入的java语言中，包括泛型 泛型又称为参数或者模板，适合继承不同而互补的一种组件服用机制。 继承和泛型的不同之处在于——在一个系统中，继承层次是垂直方向，从抽象到具体；而泛型是水平方向上的，当运用继承，不同类型将拥有相同的接口，并获得了多态性当运用泛型，将拥有许多不同的类型，并得以相同的算法作用在它们身上。因此一般来说，当类型与实现方法无关时，使用泛型，否则使用继承。 泛型技术最直接的联想到的用途就是建立容器类型。 采用泛型可以增强代码的可读性和健壮性。 编写泛型类要注意： 1、 在定义一个泛型类的时候，在<>之间定义形式类型参数，例如：“class TestGen<K,V>”，其中K、V不是代表值，而是表示类型， 2、 实例化泛型对象时，一定要在类名后面指定类型参数的值——类型。共要有两次书写。 TestGen<String,String> t = newTestGen<String,String>(); 3、 泛型中<K extendsObject>,extends 并不代表继承，它是类型的范围限制。 | 
收藏
淘帖
踩
