[Generics] 泛型

Generics

Posted by Mr.Vincent on 2020-08-23
Estimated Reading Time 17 Minutes
Words 4.3k In Total
Viewed Times

概述

泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。

泛型的本质是为了参数化类型(在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型)。也就是说在泛型使用过程中,操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和方法中,分别被称为泛型类、泛型接口、泛型方法。

一个栗子

一个被举了无数次的例子:

1
2
3
4
5
6
7
8
List arrayList = new ArrayList();
arrayList.add("aaaa");
arrayList.add(100);

for(int i = 0; i< arrayList.size();i++){
String item = (String)arrayList.get(i);
Log.d("泛型测试","item = " + item);
}

毫无疑问,程序的运行结果会以崩溃结束:

1
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

ArrayList 可以存放任意类型,例子中添加了一个 String 类型,添加了一个 Integer 类型,再使用时都以 String 的方式使用,因此程序崩溃了。为了解决类似这样的问题(在编译阶段就可以解决),泛型应运而生。

我们将第一行声明初始化 list 的代码更改一下,编译器会在编译阶段就能够帮我们发现类似这样的问题。

1
2
3
List<String> arrayList = new ArrayList<String>();
...
//arrayList.add(100); 在编译阶段,编译器就会报错

特性

泛型只在编译阶段有效。看下面的代码:

1
2
3
4
5
6
7
8
9
List<String> stringArrayList = new ArrayList<String>();
List<Integer> integerArrayList = new ArrayList<Integer>();

Class classStringArrayList = stringArrayList.getClass();
Class classIntegerArrayList = integerArrayList.getClass();

if(classStringArrayList.equals(classIntegerArrayList)){
System.out.println("泛型测试类型相同");
}

输出结果:

1
泛型测试类型相同

通过上面的例子可以证明,在编译之后程序会采取去泛型化的措施。也就是说 Java 中的泛型,只在编译阶段有效。在编译过程中,正确检验泛型结果后,会将泛型的相关信息擦出,并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说,泛型信息不会进入到运行时阶段。

对此总结成一句话:泛型类型在逻辑上看以看成是多个不同的类型,实际上都是相同的基本类型。

泛型的使用

泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法。

泛型类

泛型类型用于类的定义中,被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种容器类,如:List、Set、Map。泛型类的最基本写法(这么看可能会有点晕,会在下面的例子中详解):

1
2
3
4
5
6
7
8
9
10
11
12
13
14
//此处 T 可以随便写为任意标识,常见的如 T、E、K、V 等形式的参数常用于表示泛型
//在实例化泛型类时,必须指定T的具体类型
public class Generic<T>{
//key 这个成员变量的类型为 T,T 的类型由外部指定
private T key;

public Generic(T key) { //泛型构造方法形参 key 的类型也为 T,T 的类型由外部指定
this.key = key;
}

public T getKey(){ //泛型方法 getKey 的返回值类型为 T,T 的类型由外部指定
return key;
}
}

注意:

  • 泛型的类型参数只能是类类型,不能是简单类型。
  • 不能对确切的泛型类型使用 instanceof 操作。如下面的操作是非法的,编译时会出错。
    1
    if(ex_num instanceof Generic<Number>){}

泛型接口

泛型接口与泛型类的定义及使用基本相同。泛型接口常被用在各种类的生产器中,可以看一个例子:

1
2
3
4
//定义一个泛型接口
public interface Generator<T> {
public T next();
}

当实现泛型接口的类,未传入泛型实参时:

1
2
3
4
5
6
7
8
9
10
11
/**
* 未传入泛型实参时,与泛型类的定义相同,在声明类的时候,需将泛型的声明也一起加到类中
* 即:class FruitGenerator<T> implements Generator<T>{}
* 如果不声明泛型,如:class FruitGenerator implements Generator<T>,编译器会报错:"Unknown class"
*/
class FruitGenerator<T> implements Generator<T>{
@Override
public T next() {
return null;
}
}

当实现泛型接口的类,传入泛型实参时:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/**
* 传入泛型实参时:
* 定义一个生产器实现这个接口,虽然我们只创建了一个泛型接口 Generator<T>
* 但是我们可以为 T 传入无数个实参,形成无数种类型的 Generator 接口。
* 在实现类实现泛型接口时,如已将泛型类型传入实参类型,则所有使用泛型的地方都要替换成传入的实参类型
* 即:Generator<T>,public T next();中的 T 都要替换成传入的 String 类型。
*/
public class FruitGenerator implements Generator<String> {

private String[] fruits = new String[]{"Apple", "Banana", "Pear"};

@Override
public String next() {
Random rand = new Random();
return fruits[rand.nextInt(3)];
}
}

泛型通配符

我们知道 Ingeter 是 Number 的一个子类,同时在特性章节中我们也验证过 Generic 与 Generic 实际上是相同的一种基本类型。那么问题来了,在使用 Generic 作为形参的方法中,能否使用 Generic 的实例传入呢?在逻辑上类似于 Generic 和 Generic 是否可以看成具有父子关系的泛型类型呢?为了弄清楚这个问题,我们使用 Generic 这个泛型类继续看下面的例子:

1
2
3
public void showKeyValue1(Generic<Number> obj){
System.out.println("泛型测试","key value is " + obj.getKey());
}
1
2
3
4
5
6
7
8
Generic<Integer> gInteger = new Generic<Integer>(123);
Generic<Number> gNumber = new Generic<Number>(456);

showKeyValue(gNumber);

// showKeyValue这个方法编译器会为我们报错:Generic<java.lang.Integer>
// cannot be applied to Generic<java.lang.Number>
// showKeyValue(gInteger);

通过提示信息我们可以看到 Generic 不能被看作为 Generic 的子类。由此可以看出:同一种泛型可以对应多个版本(因为参数类型是不确定的),不同版本的泛型类实例是不兼容的。回到上面的例子,如何解决上面的问题?总不能为了定义一个新的方法来处理 Generic 类型的类,这显然与 java 中的多态理念相违背。因此我们需要一个在逻辑上可以表示同时是 Generic 和 Generic 父类的引用类型。由此类型通配符应运而生。我们可以将上面的方法改一下:

1
2
3
public void showKeyValue1(Generic<?> obj){
System.out.println("泛型测试","key value is " + obj.getKey());
}

类型通配符一般是使用 ? 代替具体的类型实参,注意了,此处 ? 是类型实参,而不是类型形参 。再直白点的意思就是,此处的 ? 和 Number、String、Integer 一样都是一种实际的类型,可以把 ? 看成所有类型的父类。是一种真实的类型。
可以解决当具体类型不确定的时候,这个通配符就是 ? ;当操作类型时,不需要使用类型的具体功能时,只使用 Object 类中的功能。那么可以用 ? 通配符来表未知类型。

泛型方法

在java中,泛型类的定义非常简单,但是泛型方法就比较复杂了。尤其是我们见到的大多数泛型类中的成员方法也都使用了泛型,有的甚至泛型类中也包含着泛型方法,这样在初学者中非常容易将泛型方法理解错了。泛型类,是在实例化类的时候指明泛型的具体类型;泛型方法,是在调用方法的时候指明泛型的具体类型 。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
/**
* 泛型方法的基本介绍
* @param tClass 传入的泛型实参
* @return T 返回值为T类型
* 说明:
* 1)public 与 返回值中间<T>非常重要,可以理解为声明此方法为泛型方法。
* 2)只有声明了<T>的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
* 3)<T>表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
* 4)与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
*/
public <T> T genericMethod(Class<T> tClass)throws InstantiationException ,
IllegalAccessException{
T instance = tClass.newInstance();
return instance;
}
1
Object obj = genericMethod(Class.forName("com.test.test"));

泛型方法的基本用法

光看上面的例子有的同学可能依然会非常迷糊,我们再通过一个例子,把我泛型方法再总结一下。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
public class GenericTest {
/**
* 这个类是个泛型类,在上面已经介绍过
*
* @param <T>
*/
public class Generic<T> {
private T key;

public Generic(T key) {
this.key = key;
}

/**
* 我想说的其实是这个,虽然在方法中使用了泛型,但是这并不是一个泛型方法。
* 这只是类中一个普通的成员方法,只不过他的返回值是在声明泛型类已经声明过的泛型。
* 所以在这个方法中才可以继续使用 T 这个泛型。
*
* @return
*/
public T getKey() {
return key;
}

// 这个方法显然是有问题的,在编译器会给我们提示这样的错误信息 "cannot reslove symbol E",
// 因为在类的声明中并未声明泛型 E,所以在使用 E 做形参和返回值类型时,编译器会无法识别。
// public E setKey(E key) {
// this.key = key;
// }
}

/**
* 这才是一个真正的泛型方法。首先在 public 与返回值之间的 <T> 必不可少,这表明这是一个泛型方法,并且声明了一个泛型 T。
* 这个 T 可以出现在这个泛型方法的任意位置。泛型的数量也可以为任意多个。如:
* public <T,K> K showKeyName(Generic<T> container){
* ...
* }
*
* @param container
* @param <T>
* @return
*/
public <T> T showKeyName(Generic<T> container) {
System.out.println("container key :" + container.getKey());
//当然这个例子举的不太合适,只是为了说明泛型方法的特性。
T test = container.getKey();
return test;
}


/**
* 这也不是一个泛型方法,这就是一个普通的方法,只是使用了 Generic<Number> 这个泛型类做形参而已。
*
* @param obj
*/
public void showKeyValue1(Generic<Number> obj) {
System.out.println("泛型测试: key value is " + obj.getKey());
}

/**
* 这也不是一个泛型方法,这也是一个普通的方法,只不过使用了泛型通配符 ?,同时这也印证了泛型通配符章节所描述的,? 是一种类型实参,可以看做为 Number 等所有类的父类。
*
* @param obj
*/
public void showKeyValue2(Generic<?> obj) {
System.out.println("泛型测试: key value is " + obj.getKey());
}

// 这个方法是有问题的,编译器会为我们提示错误信息:" UnKnown class 'E' ",虽然我们声明了 <T>,也表明了这是一个可以处理泛型的类型的泛型方法。
// 但是只声明了泛型类型 T,并未声明泛型类型 E,因此编译器并不知道该如何处理 E 这个类型。
// public <T> T showKeyName(Generic<E> container){
// }


// 这个方法也是有问题的,编译器会为我们提示错误信息:"UnKnown class 'T' ",对于编译器来说T这个类型并未项目中声明过,因此编译也不知道该如何编译这个类。
// 所以这也不是一个正确的泛型方法声明。
// public void showkey(T genericObj) {
// }
}

类中的泛型方法

当然这并不是泛型方法的全部,泛型方法可以出现杂任何地方和任何场景中使用。但是有一种情况是非常特殊的,当泛型方法出现在泛型类中时,我们再通过一个例子看一下。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
public class GenericFruit {
public static class Fruit {
@Override
public String toString() {
return "fruit";
}
}

public static class Apple extends Fruit {
@Override
public String toString() {
return "apple";
}
}

public static class Person {
@Override
public String toString() {
return "Person";
}
}

private static class GenerateTest<T> {
private void show_1(T t) {
System.out.println(t.toString());
}

//在泛型类中声明了一个泛型方法,使用泛型 T,注意这个T是一种全新的类型,可以与泛型类中声明的T不是同一种类型。
private <T> void show_2(T t) {
System.out.println(t.toString());
}

//在泛型类中声明了一个泛型方法,使用泛型 E,这种泛型 E 可以为任意类型。可以类型与 T 相同,也可以不同。
//由于泛型方法在声明的时候会声明泛型 <E>,因此即使在泛型类中并未声明泛型,编译器也能够正确识别泛型方法中识别的泛型。
private <E> void show_3(E t) {
System.out.println(t.toString());
}
}

public static void main(String[] args) {
Apple apple = new Apple();
Person person = new Person();

GenerateTest<Fruit> generateTest = new GenerateTest<>();
//apple 是 Fruit 的子类,所以这里可以
generateTest.show_1(apple);
//编译器会报错,因为泛型类型实参指定的是 Fruit,而传入的实参类是 Person
//generateTest.show_1(person);

//使用这两个方法都可以成功
generateTest.show_2(apple);
generateTest.show_2(person);

//使用这两个方法也都可以成功
generateTest.show_3(apple);
generateTest.show_3(person);
}
}

泛型方法与可变参数

再看一个泛型方法和可变参数的例子:

1
2
3
4
5
6
7
8
9
10
public <T> void printMsg(T... args) {
for (T t : args) {
System.out.println("泛型测试: t is " + t);
}
}

@Test
public void t() {
printMsg(123, 456);
}

输出结果:

1
2
泛型测试: t is 123
泛型测试: t is 456

静态方法与泛型

静态方法有一种情况需要注意一下,那就是在类中的静态方法使用泛型:静态方法无法访问类上定义的泛型;如果静态方法操作的引用数据类型不确定的时候,必须要将泛型定义在方法上。

1
2
3
4
5
6
7
8
9
10
public class StaticGenerator<T> {
/**
* 如果在类中定义使用泛型的静态方法,需要添加额外的泛型声明(将这个方法定义成泛型方法)
* 即使静态方法要使用泛型类中已经声明过的泛型也不可以。
* 如:public static void show(T t){..},此时编译器会提示错误信息:
"StaticGenerator cannot be refrenced from static context"
*/
public static <T> void show(T t){
}
}

泛型方法总结

泛型方法能使方法独立于类而产生变化,以下是一个基本的指导原则:

  • 无论何时,如果你能做到,你就该尽量使用泛型方法。
  • 如果使用泛型方法将整个类泛型化,那么就应该使用泛型方法。
  • 另外对于一个 static 的方法而已,无法访问泛型类型的参数。所以如果 static 方法要使用泛型能力,就必须使其成为泛型方法。

泛型上下边界

在使用泛型的时候,我们还可以为传入的泛型类型实参进行上下边界的限制,如:类型实参只准传入某种类型的父类或某种类型的子类。为泛型添加上边界,即传入的类型实参必须是指定类型的子类型。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
    public void showKeyValue1(Generic<? extends Number> obj) {
System.out.println("泛型测试: key value is " + obj.getKey());
}

@Test
public void t2() {
Generic<String> generic1 = new Generic<String>("11111");
Generic<Integer> generic2 = new Generic<Integer>(2222);
Generic<Float> generic3 = new Generic<Float>(2.4f);
Generic<Double> generic4 = new Generic<Double>(2.56);

// 这一行代码编译器会提示错误,因为String类型并不是Number类型的子类
// showKeyValue1(generic1);

showKeyValue1(generic2);
showKeyValue1(generic3);
showKeyValue1(generic4);
}

如果我们把泛型类的定义也改一下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
    public class Generic<T extends Number> {
private T key;

public Generic(T key) {
this.key = key;
}

public T getKey() {
return key;
}
}

@Test
public void t3(){
// Generic<String> generic1 = new Generic<String>("11111");
}

再来一个泛型方法的例子:

1
2
3
4
5
6
7
8

// 在泛型方法中添加上下边界限制的时候,必须在权限声明与返回值之间的<T>上添加上下边界,即在泛型声明的时候添加
// public <T> T showKeyName(Generic<T extends Number> container),编译器会报错:"Unexpected bound"
public <T extends Number> T showKeyName(Generic<T> container) {
System.out.println("container key :" + container.getKey());
T test = container.getKey();
return test;
}

通过上面的两个例子可以看出:泛型的上下边界添加,必须与泛型的声明在一起。

参考:https://www.cnblogs.com/coprince/p/8603492.html


If you like this blog or find it useful for you, you are welcome to comment on it. You are also welcome to share this blog, so that more people can participate in it. If the images used in the blog infringe your copyright, please contact the author to delete them. Thank you !