首页 > 代码库 > Java 泛型

Java 泛型

 

一、什么是泛型

  泛型是Java SE 1.5增加的特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。

 

二、泛型的作用

  Java引入泛型的目的是为了类型安全。泛型可以将运行时的错误提前到编译时的错误。

  Java 语言中的泛型基本上完全在编译器中实现,由编译器执行类型检查和类型推断,然后生成普通的非泛型的字节码。这种实现技术称为 擦除(erasure)(编译器使用泛型类型信息保证类型安全,然后在生成字节码之前将其清除)。

 

三、泛型的定义

  1、修饰类或接口,放在类或接口名后面

    public class TestClassDefine<T, S extends T>{}

  2、修饰方法,放在作用域限定符(public、private等)后面

    public <T, S extends T> T testGenericMethodDefine(T t, S s){}

 

四、泛型的特点

  1、使用泛型T,因为不知道T的具体类型,也就不知道T中包含什么属性和方法,也就不能在定义泛型类、接口、方法的时候调用T的属性和方法等信息。

  2、泛型可以使用继承等修饰符:<T, S extends T> 、<T extends Collection>等

  3、可以使用通配符<? extends ClassName>

    • 在使用泛型类、接口、方法时,如果不知道要传入什么类型的值时,可以使用<? extends ClassName>,表示ClassName对应的子类都可以。
    • 也可以直接使用<?>,表示<? extends Object>。
    • 当然,使用了通配符后,在使用?表示的成员时,因为不知道是哪个类,所以可以调用的属性或方法会受到相应的限制。

 

Java 泛型