文章目录
- 1、前言
- 2、java中泛型?、T
- 2.1、?、T的概念
- 2.2、?、T的用法
- 2.1.1、T用法
- 2.1.2、?用法
- 2.3、T、?在继承上的体现
- 2.4、有限制通配符
- 2.4.1、? extends A:
- 2.4.2、? super A:
- 2.5、无限制通配符和有限制通配符的数据读写问题
- 2.5.1、无限制通配符读写
- 2.5.2、有限制通配符读写
- 1、? extends A:
- 2、? super A:
- 3、看下一些开源工具类中是如何使用
1、前言
关于java泛型中的?
和T
的区别之前一直停留在一些概念上,而并没有真正明白到底什么时候用?
,什么时候用T
。
并且之前虽然有写过抽象类,但一直用的是T、Q
,没有用过?
,所以一直不明白?
到底怎么个用法,什么时候用。
但在这里还是得再提下T
,?
的概念。
2、java中泛型?、T
2.1、?、T的概念
T
:代表一种类型。
?
:通配符,泛指所有的类型,是所有类型的父类。
2.2、?、T的用法
2.1.1、T用法
T
:主要用于泛型类的定义
、泛型方法的定义
,还有具体的变量的类型
定义上。
- 定义泛型类
//定一个动物类
class Animal<T>{}
- 定义泛型方法
public <T> void eat(T[] a, Collection<T> c)
- 修饰泛型类的属性成员:
class Animal<T>{
T temp;
}
以上三种情况,在实际应用中,都指明了T,是一个具体的泛型类,都不能用?
代替。
因为?
表示统配符,代表不是确定的类,表示任意类。
2.1.2、?用法
?
:一般是用于定义一个引用变量
,以便实现“多态”调用(非真正意义上的多态)。
- 定义为引用变量,可指向不同类型的变量
比如定义一个Animal的引用变量,不指定具体的泛型类型,而用通配符表示。如下:
//定义引用变量
List<?> l1 = new ArrayList<String>();
l1 = new ArrayList<Integer>();
或者方法形参用于接收不同参数,实际也是一个引用变量,如下:
List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
l1.add("AAA");
l1.add("BBB");
l2.add(111);
l2.add(222);
public static void test1(List<?> l1){
String join = Joiner.on(",").join(l1);
System.out.println(join);
}
上面这个例子,感受到?
的力量没有。
2.3、T、?在继承上的体现
同一个类,如果泛型的具体类型不同,定义引用变量在不使用通配符的情况下,需要为每一个具体的实例创建对应的引用变量:
Animal<Cat> catA = new Animal<Cat>;
Animal<Dog> dogA = new Animal<Dog>;
如果用统配符:
Animal<?> animal= new Animal<Cat>;
animal= new Animal<Dog>;
2.4、有限制通配符
2.4.1、? extends A:
? extends A:
G<? extends A> 可以作为G< A >和G< B >的父类,其中B是A的子类
注意: 这里同样? 只能是引用变量。
如:
class A{
}
class B extends A{
}
class G<T>{
}
public void test3(){
//G<? extends A> 是G<A>()、new G<B>()
G<? extends A> g = new G<A>();
g = new G<B>();
}
而如果用泛型来接收,那么只能是这样:
//需要定义2个变量
G<A> aa = new G<A>();
G<B> bb = new G<B>();
2.4.2、? super A:
? super A:
G<? super A> 可以作为G< A >和G< B >的父类,其中B是A的父类。
class AA extends BB{
}
class BB{
}
public void test4(){
G<? super AA> g = new G<AA>();
g = new G<BB>();
}
同理,用泛型只能是这样:
G<AA> aa = new G<AA>();
G<BB> bb = new G<BB>();
2.5、无限制通配符和有限制通配符的数据读写问题
2.5.1、无限制通配符读写
读:可以读,尽管被无限制通配符修饰,但不管如何,容器里的元素永远是一个对象,也就是一个Object,所以可以用Object o这个引用变量来读取容器元素,即利用对象多态性。
写:不可以往容器里写入元素,因为写入的元素与容器的具体类型的关系不明确。比如:
可以定义成接收变量,但无法向里面添另数据。
list可以指向不同的具体容器,相对应的能接收的元素类型也跟着改变。因此往容器里添加数据时,会因为无法确定所能添加的具体元素类型为何,导致的类型不安全而编译不通过。
注意:可以添加null,因为null是所有类型的成员。
2.5.2、有限制通配符读写
1、? extends A:
读:往容器中添加的元素类型,一定是A或A的子类(如果是接口,则为实现类),因此读取出来的数据,一定可以用A类型来做引用(当然Object也可以)。
写:由于容器的具体类型未知,如果往容器添加元素,无法确保添加进去的具体数据是该容器具体类型的子类还是父类,因此存在类型不安全问题,所以是不允许往里添加数据的。
null可以添加
public static void test2(){
List<String> l1 = new ArrayList<String>();
l1.add("AAA");
l1.add("BBB");
read(l1);
//这里我们传入格挡string类型的list,read_confirm方法中强制转换时,也要转成string,否则报错
read_confirm(l1);
}
public static void read_confirm(List<?> list){
//如果读的类型确认,也可以强制转换成 知道的类型
List<String> str = (List<String>)list;
//如果转成Integer会报错,则在遍历这个integers时会报错
List<Integer> integers = (List<Integer>)list;
for (String eachs : str) {
System.out.print(eachs);
}
}
2、? super A:
读:不管容器里添加的元素是A还是A的父类的实例对象,它们始终都是Object对象,因此可以读取,用Object类型来做引用(不能用A类型来做引用)。
写:只能写入A类型及其子类的实例对象。因为具体容器的类型最低等级是到A,所以不管容器具体类型为何,它都能保证>= A,所以A的实例化对象可以被写入(对象多态性),当然,既然作为父类的A可以被写入,那么A的子类自然而然也可以被写入容器里了。
注意:null仍然可以。
3、看下一些开源工具类中是如何使用
1、guava中的Joiner方法
List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
l1.add("AAA");
l1.add("AAA");
l2.add(15);
l2.add(15);
//join方法的入参就是Iterable<?> ,因为list<Integer> list<String>都支持
String join1 = Joiner.on(",").join(l1);
String join2 = Joiner.on(",").join(l2);