泛型:
泛型其实就是一种参数化的集合,它限制了你添加进集合的类型。泛型的本质就是一种参数化类型。多态也可以看作是泛型的机制。一个类继承了父类,那么就能通过它的父类找到对应的子类,但是不能通过其他类来找到具体要找的这个类。泛型的设计之处就是希望对象或方法具有最广泛的表达能力。
下面来看一个例子说明没有泛型的用法
这段程序不能正常运行,原因是Integer类型不能直接强制转换为String类型
如果我们用泛型进行改写后,示例代码如下
这段代码在编译期间就会报错,编译器会在编译阶段就能够帮我们发现类似这样的问题。
泛型的使用
一般泛型有三种使用方式:1.用泛型表示类 2.用泛型表示接口 3.用泛型表示方法
用泛型表示类
泛型可以加到类上面,来表示这个类的类型
用泛型表示接口
泛型接口与泛型类的定义及使用基本相同。
一般泛型接口常用于生成器(generator)中,生成器相当于对象工厂,是一种专门用来创建对象的类。
用泛型表示方法
泛型通配符
List是泛型类,为了表示各种泛型List的父类,可以使用类型通配符,类型通配符使用问号(?)表示,它的元素类型可以匹配任何类型。例如
上界通配符:<? extends ClassType>该通配符为ClassType的所有子类型。它表示的是任何类型都是 ClassType类型的子类。
下界通配符:<? super ClassType>该通配符为ClassType的所有超类型。它表示的是任何类型的父 类都是 ClassType。