前言
本文不是对泛型的系统介绍,也不打算对其进行入门讲解,只是对遇到的一些泛型场景的补充。看过宋红康和韩顺平的javase课程可以花几分钟看看。
1.&符号在泛型中的使用,用来描述有边界的受约束泛型
class A{}
interface B{}
public class C< T extends A & B>{}
这里的泛型类型受到约束,既要是A的子类,也要实现B的接口。注意虽然B是接口但是泛型仍要用关键字extends,并且写在A的右边。
2.泛型方法中的泛型参数在方法被调用时确定。常见形参位置带有泛型,然后根据传入实参确定,不再详叙。还有一种少见的情况是根据引用类型来确定的,需要注意。
public class Testing {
//public <T> T generic(){String s1 = "generic";return (T)s1;}@Testpublic void test2(){ReflectionTest r1 = new ReflectionTest();String s1 = r1.generic();Sort s2 = r1.generic();}
}
这里强转成什么类型是由String s1或Sort s2决定的,此时才决定泛型类型。
返回值本身是String类,所以第一次调用不报错,第二次调用报错。
3.泛型通配符的读写情况
首先声明,在以下用到list的代码中,将get方法称为读,将add方法称为写。
@Testpublic void wildcard(){List<?> list = null;List<String> list1 = new ArrayList<>();list1.add("A");list = list1;
// readObject o = list.get(0);System.out.println("o = " + o);// writelist.add("B");//此处报错list.add(null);//添加null不报错}
对于读的情况不难理解。
对于写的情况。将通配符可以看作是一个范围,或者一个可列集合(特指数学概念,不是java中的接口)。List< Integer >显然在List<?>集合中。
List<Integer> list2 = new ArrayList<>();
list = list2;
是允许的,但这样list.add(“B”);就会报错。
add方法中只能传递 集合List<?>中的全体元素调用后不报错的参数。但此集合元素是无限的,显然无法做到。
下面来看有上边界通配符的情况
class Father{}
// interface B{}
class Son1 extends Father{}
class Son2 extends Father{}
@Testpublic void upperBounded(){List<? extends Father> list = null;List<Father> list1 = new ArrayList<>();list1.add(new Father());list = list1;// read 没问题Father father = list.get(0);
// write 除了null,剩下的报错list.add(null);list.add(new Father());list.add(new Son1());}
这里可能对 list.add(new Father());list.add(new Son1());报错产生困惑。还是如上所述,<? extends Father>只是范围,或者说一个有限的可列集合(此处单指数学概念,并非java接口),它包含了所有< Son1>< Son2>……只要是Father子类的泛型情况。List< Son2 >显然在List<? extends Father>集合中。
List< Son 2> list1 = new ArrayList<>();list = list1;是允许的,但这样 list.add(new Father());list.add(new Son1());就会报错。
add方法中只能传递 集合<? extends Father>中的全体元素调用后不报错的参数。
下面来看下边界通配符的情况
@Testpublic void lowerBounded(){List<? super Father> list;List<Father> list1 = new ArrayList<>();list1.add(new Father());list = list1;
// readObject object = list.get(0);// writelist.add(new Father());list.add(new Son1());list.add(new Son2());}
对于确定下边界的统配符来说,读写总是没问题的。读的情况不难理解。
对于写的情况,根据上述的规则:add方法中只能传递 集合<? super Father>中的全体元素调用后不报错的参数,因为此处的全体元素都是Father的父类,写入自然没有问题。