前言
本文不是对泛型的系统介绍,也不打算对其进行入门讲解,只是对遇到的一些泛型场景的补充。看过宋红康和韩顺平的javase课程可以花几分钟看看。
1.&符号在泛型中的使用,用来描述有边界的受约束泛型
class A{}
interface B{}
public class C< T extends A & B>{}
这里的泛型类型受到约束,既要是A的子类,也要实现B的接口。注意虽然B是接口但是泛型仍要用关键字extends,并且写在A的右边。为什么呢?这与类的定义是一致的,Java允许继承一个类和实现多个接口,但是在类定义时,继承的类必须写在最前面。
2.泛型方法中的泛型参数在方法被调用时确定。常见形参位置带有泛型,然后根据传入实参确定,不再详叙。还有一种少见的情况是根据引用类型来确定的,需要注意。
public class Testing {
//
public <T> T generic(){
String s1 = "generic";
return (T)s1;
}
@Test
public void test2(){
ReflectionTest r1 = new ReflectionTest();
String s1 = r1.generic();
Sort s2 = r1.generic();
}
}
这里强转成什么类型是由String s1或Sort s2决定的,此时才决定泛型类型。
返回值本身是String类,所以第一次调用不报错,第二次调用报错。
3.泛型通配符的读写情况
首先声明,在以下用到list的代码中,将get方法称为读,将add方法称为写。
@Test
public void wildcard(){
List<?> list = null;
List<String> list1 = new ArrayList<>();
list1.add("A");
list = list1;
// read
Object o = list.get(0);
System.out.println("o = " + o);
// write
list.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{}
@Test
public 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>中的全体元素调用后不报错的参数。
下面来看下边界通配符的情况
@Test
public void lowerBounded(){
List<? super Father> list;
List<Father> list1 = new ArrayList<>();
list1.add(new Father());
list = list1;
// read
Object object = list.get(0);
// write
list.add(new Father());
list.add(new Son1());
list.add(new Son2());
}
对于确定下边界的统配符来说,读写总是没问题的。读的情况不难理解。
对于写的情况,根据上述的规则:add方法中只能传递 集合<? super Father>中的全体元素调用后不报错的参数,因为此处的全体元素都是Father的父类,写入自然没有问题。