01、泛型是什么？——《Android打怪升级之旅

通过参数传入，作为泛型的类型，就是参数化类型。

二、泛型种类及边界

2.1 泛型种类

1. 泛型接口

public interface Base {

public T getData();

public void setData(T data);

}

2. 泛型类

public class Generics{
private T mData;

public T getData() {
return mData;
}

public void setData(T data) {
this.mData = data;
}
}

3. 泛型方法

// public后面的是泛型方法的关键
public Generics getGenerics() {
return new Generics();
}

2.2 泛型边界

以上几种类型均可定义泛型的边界，语法 、<T extends A&B&…>，泛型重载了extends的关键字，与通常JAVA中使用的extends不同。

• < T extends A>：单个边界，A可以是类或接口，只能接收继承或者实现A的类型。
• < T extends A&B&…>：多个边界，A可以是类或接口，A之后的只能是接口。比如：<T extends A&B&C>里面，T必须继承A类型或实现A接口，并且必须实现B和C接口。

三、泛型的好处

3.1 代码更健壮

泛型将集合的类型检测提前到了编译期，保证错误在编译时就会抛出，基本上代码编辑器（Android Studio、IDEA等）在书写代码阶段给泛型传入错误类型就会报错。

在拥有泛型之前只能在运行时抛出类型转换异常（ClassCastException），代码十分脆弱。

// 泛型存在之前
// 集合里存入Fruit和Dog，编译不会报错
List fruits = new ArrayList();
fruits.add(new Fruit());
fruits.add(new Dog()); // X 错误的插入，直到运行时报错

// 泛型存在之后
List fruits = new ArrayList();
fruits.add(new Fruit());
fruits.add(new Dog());// X 编译时就会报错

3.2 代码更简洁

泛型省去了类型的强制转换。在没有泛型之前，集合内的对象都会被向上转型为Object，所以需要强转。

// 没有泛型之前，获取对象需要强转
Fruit fruit = (Fruit) fruits.get(0);

3.3 代码复用性强

泛型就是使用参数化类型，在一段代码上操作多种数据类型。比如：对几个类的处理，在逻辑上完全相同，那自然会想这段逻辑代码只写一遍就好了，所以泛型就产生了。

四、泛型的原理

泛型在JDK1.5才出现，为了向下兼容，虚拟机是并不支持泛型的，所以JAVA在编译阶段除了进行类型判断，还对泛型进行了擦除，于是所有的泛型在字节码里都变成了原始类型，和C#的泛型不同，JAVA使用的是伪泛型。

4.1 泛型擦除

在编译阶段生成字节码时，会进行泛型擦除，所以我们看下生成的字节码文件，就可以清晰的看到泛型【T】被转换成了Object。

// java代码
public class Generics {
private T mData;

public T getData() {
return mData;
}

public void setData(T data) {
this.mData = data;
}
}

下面是Generics类生成的字节码

// class version 51.0 (51)
// access flags 0x21
// signature <T:Ljava/lang/Object;>Ljava/lang/Object;
// declaration: com/kproduce/androidstudy/test/Generics
public class com/kproduce/androidstudy/test/Generics {

// compiled from: Generics.java

// access flags 0x2
// signature TT;
// declaration: T
private Ljava/lang/Object; mData

// access flags 0x1
public ()V
L0
LINENUMBER 6 L0
ALOAD 0
INVOKESPECIAL java/lang/Object. ()V
RETURN
L1
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L1 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
MAXSTACK = 1
MAXLOCALS = 1

// access flags 0x1
// signature ()TT;
// declaration: T getData()
public getData()Ljava/lang/Object;
L0
LINENUMBER 10 L0
ALOAD 0
GETFIELD com/kproduce/androidstudy/test/Generics.mData : Ljava/lang/Object;
ARETURN
L1
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L1 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
MAXSTACK = 1
MAXLOCALS = 1

// access flags 0x1
// signature (TT;)V
// declaration: void setData(T)
public setData(Ljava/lang/Object;)V
L0
LINENUMBER 14 L0
ALOAD 0
ALOAD 1
PUTFIELD com/kproduce/androidstudy/test/Generics.mData : Ljava/lang/Object;
L1
LINENUMBER 15 L1
RETURN
L2
LOCALVARIABLE this Lcom/kproduce/androidstudy/test/Generics; L0 L2 0
// signature Lcom/kproduce/androidstudy/test/Generics<TT;>;
// declaration: com.kproduce.androidstudy.test.Generics
LOCALVARIABLE data Ljava/lang/Object; L0 L2 1
// signature TT;
// declaration: T
MAXSTACK = 2
MAXLOCALS = 2
}

看完上面的代码有的同学就喊了，这不备注里面还是有泛型【T】吗？ 是的，你们说的没错！那为什么泛型还在备注里面？这时候要说到反射这个概念。

反射是在运行时对于任何一个类，都可以知道里面所有属性和方法。对于任何一个对象，都可以调用它的方法和属性。是JAVA被视为动态语言的关键。

既然反射要知道所有的方法和属性，但是泛型在字节码里面被进行了擦除，那JAVA就使用备注的方式将泛型偷偷的写入到了字节码里面，保证反射的正常使用。

4.2 泛型擦除原则

• 如果泛型没有限定（），则用Object作为原始类型。
• 如果有限定（），则用A作为原始类型。
• 如果有多个限定（<T extends A&B>），则使用第一个边界A作为原始类型。

五、泛型的限定通配符

最后

分享一份工作1到5年以上的Android程序员架构进阶学习路线体系，希望能对那些还在从事Android开发却还不知道如何去提升自己的，还处于迷茫的朋友！

• 阿里P7级Android架构师技术脑图；查漏补缺，体系化深入学习提升

  

• **全套体系化高级架构视频；**七大主流技术模块，视频+源码+笔记

有任何问题，欢迎广大网友一起来交流

去提升自己的，还处于迷茫的朋友！**

• 阿里P7级Android架构师技术脑图；查漏补缺，体系化深入学习提升

  [外链图片转存中…(img-Mme50irg-1719292293710)]

• **全套体系化高级架构视频；**七大主流技术模块，视频+源码+笔记

[外链图片转存中…(img-ku2XcLpi-1719292293710)]

有任何问题，欢迎广大网友一起来交流