Java泛型笔记

1 泛型概述

1.1 背景

• Java推出泛型之前，可以构建一个存储Object类型的集合，该集合能够存储任意类型，但在取出元素的过程中，需要程序员明确知道每个元素的类型，否则容易引发类型转换异常。

ArrayList list = new ArrayList();
list.add("111");
list.add(100);
list.add(true);

for(int i = 0; i < list.size(); i++){
    Object o = list.get(i);
    //100和true无法转换，会出现异常
    String str = (String)o;
    System.out.println(str);
}

1.2 泛型的概念

• JDK 5后引入的新特性

• 提供编译时类型安全检测机制，即能在编译时就检测到非法类型数据

• 本质是参数化类型，即所操作的数据类型也被指定为一个参数

1.3 泛型基础使用

• 对于基本类型，也要使用Class类来表示

ArrayList list = new ArrayList<>();//用Integer而不是int

• Java 1.7版本后面的<>可以不加

1.4 基本好处

• 类型安全
• 消除了强制类型转换

---

2 泛型类与泛型接口

2.1 基本泛型类

2.1.1 泛型类定义语法

//泛型标识一般用T, E, K, V
class 类名<泛型标识1, 泛型标识2...>{
    private 泛型标识1 变量1;
    ...
}

2.1.2 为什么基本类型不能作为泛型标识

• 因为基本类型如int不是继承自Object类的，而其他所有类的基类都是Object
• 编译的时候，各类泛型会也会转换成Object类型来处理，int不属于Object所以不能用

2.1.3 同一泛型类，本质上是去除泛型的同一类型

class MyClass{
    private T a;
}
MyClass myClass1 = new MyClass();
MyClass myClass2 = new MyClass();
System.out.println(myClass1.getClass());
System.out.println(myClass2.getClass());

//结果都是xxx.xxx.xxx.MyClass，两者一样的

• 也就是说，逻辑上可以看成不同类型，但本质上、实际上还是”定义的类“类型

2.2 派生泛型类

2.2.1 子类定义

• 子类是泛型类，则子类父类泛型要一致

class Child extends Father
class Child extends Father    

• 子类不是泛型类，则父类要明确数据类型

class Child extends Father

2.3 泛型接口

2.3.1 泛型接口定义

interface 接口名称<<泛型标识1, 泛型标识2...>{
    泛型标识 方法名;
    ...
}

2.3.2 泛型接口使用

• 实现类是泛型类，则接口和实现泛型要一致
• 实现类不是泛型类，则接口要明确数据类型
• 总结，和子类父类泛型定义规则一样

---

3 泛型方法

3.1 语法

//真正的泛型方法
修饰符  返回类型 方法名（参数列表）{
    //...方法实现
}

class MyClass{
    
    private T t;
    
    //注意这种不是泛型方法
    public T getT(){
        return t;
    }
    //这种是泛型方法,支持参数是泛型
    public  int getSize(ArrayList arry){
        return arry.size();
    }
    
}

• 修饰符是指public一类的
• 只有声明了<>的方法才是泛型方法

3.2 使用

public class A{
    public Static  void print(E... e){//E... e可以看做数组参数E[] e
        for(int i = 0; i < e.lenth; i++)
            System.out.println(E[i]);
    }
}

A.print(1,2,3,4);
A.print("aaa","bbb");

---

4 类型通配符

4.1背景

• List对象不能被当成List