泛型的本质是参数化类型。即所操作的数据类型被指定为一个参数。
1.jdk 1.5/1.6 必须显式的写出泛型的类型。
2.jdk 1.7/1.8 不必显式的写出泛型的类型。
一、泛型声明
可以用<T>、<K,V>、<T extends Number>等进行泛型的声明。其中,<T extends Number>的声明方式限定了T的范围,T只能为 Number的子类。
1.参数类型用在类的创建中,泛型类。
2.参数类型用在接口的创建中,泛型接口。
3.参数类型用在方法的创建中,泛型方法。注意泛型<T>的声明位置,在方法的修饰符之后,返回值类型之前。
package me; public class GeneTest<T> { private T date; public T getDate() { return date; } public void setDate(T date) { this.date = date; } }
泛型类
package me; public interface InteGene<E> { public E getData(); public void setData(E e); }
泛型接口
package me; public class MeGeneTest { public static <T> void Gene(T test) { System.out.println(test); } public <T> T getDate(T test) { return test; } }
泛型方法
二、? ,类型通配符
通配符的几种形式:
1.无限定通配符,<?>。
2.上限通配符,<? extends Number>。表示参数类型只能是Number的子类。
3.下限通配符,<? supper Number>。表示参数类型只能是Number的父类。
package me; public class Test { public static void main(String[] args) { GeneTest<String> gts = new GeneTest<>(); gts.setDate("this is a test !"); print(gts); GeneTest<Integer> gti = new GeneTest<>(); gti.setDate(123); print(gti); } public static void print(GeneTest<?> s){ System.out.println(s.getDate()); } }
通配符的使用
上面的示例代码中,print()方法的参数使用了通配符,得以传入泛型类GeneTest<T>任意类型的参数。如果,将通配符改成具体的一种类型,例如String类型。那print()方法就只能传入泛型类GeneTest<String>类型的参数。
泛型的声明表明,在类、接口、方法的创建中,要使用一个未知的数据类型,将来可能会用到的一种数据类型。它可以是Integer类型,也可以是String类型。就把它的类型定义成 T 、K 或者是V等等。
在实例化的时候,就必须声明T具体是一个什么类型。
在定义泛型对象的使用方法时,还不知道T是什么类型,它可能是String类型,也可能是Integer类型。如果,把T定义成一个确定的泛型数据类型,参数就只能是这种数据类型。此时,就用到了通配符代替确定的泛型数据类型。
使用泛型、通配符提高了代码的复用性。
把一个对象分为声明、使用两部分的话。泛型侧重于类型的声明上代码复用,通配符则侧重于使用上的代码复用。泛型用于定义内部数据类型的不确定性,通配符则用于定义使用的对象类型不确定性。