public interface List { //接口中的类型E可以作为类型使用 void add(E x); Iterator iterator(); } public interface Iterator { //在接口里E完全可以作为类型使用 E next(); } public interface Map { //在接口里K,V完全可以作为类型使用 Set keySet(); V put(K key,V value); }
public class Apple { //使用T类型形参定义实例变量 private T info; //使用类型形参T定义构造器 public Apple(T info) { this.info=info; } public T getInfo() { return info; } public void setInfo(T info) { this.info = info; } public static void main(String[] args) { //由于传给T形参的是String,所以构造器参数指定是String Apple a1=new Apple<>("苹果"); System.out.println(a1.getInfo()); //传给T形参的类型是Double，所以构造器参数指定是Double Apple a2=new Apple<>(5.66); System.out.println(a2.getInfo()); }}
泛型类派生子类
//使用Apple类时为T形参传入String类型//如果使用T类型参数时，所有使用T类型形参的地方都将会被替换成String类型public class A extends Apple
//使用Apple类时不传入实际的形参public class A extends Apple
public class A2 extends Apple{ public String getInfo() { //super.getInfo()方法返回值是Object类型 //必须使用toString()方法才返回String类型 return super.getInfo().toString(); }}
不存在泛型类
instanceof运算符不能使用泛型类，因为系统中不会存在正真的泛型类
List list1=new ArrayList<>();List list2=new ArrayList<>();//下面将返回True,不管泛型的实际参数是什么，运行时总有相同的classSystem.out.println(list1.getClass()==list2.getClass());
public class R { //下面语句错误，不能在静态变量声明中使用类型形参 static T info; T age; public void foo(T msg){} //下面语句错误，不能在静态方法声明中使用类型形参 public stativ void bar(T msg){}}
List c=new ArrayList ();//下面程序引起编译错误c.add(new Object());
设定类型通配符的上限
将Canvas类修改成下面的形式，就可以把List对象当成List
//定义一个抽象类Shapepublic abstract class Shape{ public abstract void draw(Canvas c);}//定义Shape的子类Circlepublic class Circle extends Shape{ //实现画图方法 public void draw(Canvas c) { System.out.println("在画布"+c+"上画一个圆") }}//定义Shape的子类Rectanglepublic class Rectangle extends Shape{ //实现画图方法 public void draw(Canvas c) { System.out.println("在画布"+c+"上画一个矩形") }}public class Canvas{ //同时在画布上绘制多个形状，使用被限制的泛型通配符 public void drawAll(List shapes) { for(Shape s : shapes) { s.draw(this); } }}
设定类型形参的上限
设定类型形参的上限时，要么传给类型形参的类型是上限类型，要么是上限类型的子类
public class Apple { T col; public static void main(String[] args) { Apple a1=new Apple<>(); Apple a2=new Apple<>(); //下面代码将会引发编译异常，因为String不是Number的子类型 Apple as=new Apple<>(); }}
程序需要为类型形参设定多个上限（至多有一个父类上限，可以有多个接口上限）
public class Apple { .......}
三、泛型方法
定义泛型方法
public class GenericMethodTest { //声明一个泛型方法，该方法中带一个T类型形参 static void fromArrayToCollection(T[] a,Collection c) { for(T o:a) { c.add(o); } } public static void main(String[] args) { Object[] oa=new Object[100]; Collection
在方法中一个类型形参是另一个类型形参的子类时，可以使用如Collection
public class RightTest{ //声明一个泛型方法，两个形参存在继承关系时，只需要提供一个T形参 static void test(Collection from,Collection to) { for(T ele : from) { to.add(ele); } } public static void main(String[] args) { List
class Foo{ public Foo(T t) { System.out.println(t); }}public class GenericConstructor{ public static void main(Stringp[] args) { //泛型方法中的T参数是String new Foo("张三"); //泛型方法中的T参数是Integer new Foo(10); //显示指定泛型构造器的T参数是String类型 //传给构造器的实参也是String类型 new Foo("张三"); //下面语句将出现编译错误 new Foo(10); }}
菱形语法
class Foo { public Foo(T t) { System.out.println(t); }}public class GenericConstructor{ public static void main(Stringp[] args) { //Foo类声明中的E形参是String类型 //泛型方法中的T参数是Integer类型 Foo f1=new Foo<>(10); //显示指定泛型构造器中声明的T形参是Integer类型 Foo f2=new Foo (5); //如果显示指定泛型构造器中声明的T形参是Integer类型 //就不能使用菱形语法，下面语句错误 //Foo f3=new Foo<>(5); }}
设定通配符下限
public class MyUtil{ //下面dest集合元素的类型必须与src集合元素的类型相同，或是其父类 public static T copy(Collection dest,Collection src) { T last=null; for(T ele : src) { last=ele; dest.add(ele); } return last; } public static void main(String[] args) { List ln=new ArrayList<>(); List li=new ArrayList<>(); li.add(5); //此处可以确保最后一个被复制的类型是Integet类型 Integer last=copy(ln,lu); System.out.println(ln); }}
四、擦除和转换
当把一个具有泛型信息的对象赋给一个没有泛型信息量的变量是，所有在尖括号之间的类型信息都将被扔掉。
class Apple { T size; public Apple() {} public Apple(T size) { this.size=size; } public void setSize(T size) { this.size=size; } public T getSize() { return this.size; }}public class ErasureTest{ public static void main(String[] args) { Apple a=new Apple<>(6); //a的getSize()方法返回Integer对象 Integer as=a.getSize(); //把a对象赋给Apple对象，丢失尖括号里的类型信息 Apple b=a; //b只知道size类型是Number Number size1=b.getSize(); //下面语句将发生编译错误 //Integet size2=b.getSize(); }}
擦除
public class ErasureTest2{ public static void main(String[] args) { List li=new ArrayList<>(); li.add(5); li.add(6); List list=li; //下面代码引起警告，编译、运行时完全正常 List ls=list; //但是要访问集合里面的元素就会发生运行时异常 System.out.println(ls.get(0)); }}
上面的类转换成下面的类：
public class ErasureTest2{ public static void main(String[] args) { List li=new ArrayList<>(); li.add(5); li.add(6); System.out.println((String)li.get(0)); }}