泛型的基本使用

  • JDK5增加了泛型机制。有了泛型之后,定义一些接口,就有了统一的规范、并且对集合框架的的操作会更加友好。

    1. ArrayList<String> list = new ArrayList<String>();
    2. list.add("LDL");
    3. String str = list.get(0);
  • 在没有泛型的时候,如果想要向ArrayList数组中存储数据,则必须得是Object类型的数据,因为Object类型是所有类的基类。类似下面这样的一个所有类可以使用的集合。 ```java class Arraylist { private Object[] objs; private int i = 0; public void add(Object obj) {

    1. objs[i++] = obj;

    }

    public Object get(int i) {

    1. return objs[i];

    } }


- 存储和读取数据操作
```java
Arraylist list = new Arraylist();
list.add("LDL");
list.add(new Date());
String str = (String)list.get(0);
  • 因为类型是Object的,所以其可以存储任何数据类型的数据,就会导致读取数据的时候,需要对类型进行强转。
  • 使用类型参数解决了元素的不确定性——参数类型为 String 的集合中是不允许存放其他类型元素的,取出数据的时候也不需要强制类型转换了
  • 使用泛型类来定义MyArrayList类

    public class MyArrayList<E> {
      private Object[] elementData;
      private int      size = 0;
    
      public MyArrayList(int initialCapacity) {
          this.elementData = new Object[initialCapacity];
      }
    
      public boolean add(E e) {
          elementData[size++] = e;
          return true;
      }
    
      E elementData(int index) {
          return (E) elementData[index];
      }
    }
    
  • 一个泛型类就是具有一个或多个类型变量的类。MyArrayList 类引入的类型变量为 E(Element,元素的首字母),使用尖括号 <> 括起来,放在类名的后面。

  • 然后,我们可以用具体的类型(比如字符串)替换类型变量来实例化泛型类。

    public class MyArrayListTest {
      public static void main(String[] args) {
          MyArrayList<String> listStr = new MyArrayList<>(10);
          listStr.add("LDL");
          System.out.println(listStr.elementData(0));
    
          MyArrayList<Date> listDate = new MyArrayList<>(10);
          listDate.add(new Date());
          System.out.println(listDate.elementData(0));
    
      }
    }
    
  • 其次,我们还可以在一个非泛型的类(或者泛型类)中定义泛型方法 ```java public class MyArrayList2 { private Object[] elementData; private int size = 0;

    public T[] toArray(T[] a) {

      return (T[]) Arrays.copyOf(elementData, size, a.getClass());
    

    }

    public T copyObject(T t) {

      return t;
    

    } }

class MyArrayList3 { private Object[] elementData; private int size = 0;

public <T> T[] toArray(T[] a) {
    return (T[]) Arrays.copyOf(elementData, size, a.getClass());
}

public <T> T copyObject(T t) {
    return t;
}

}

![image.png](https://cdn.nlark.com/yuque/0/2022/png/1806904/1641518250125-0df01f54-7eaf-40c6-b0f1-2457a61ac0d4.png#clientId=u7f5991a5-8dbe-4&crop=0&crop=0&crop=1&crop=1&from=paste&height=279&id=u314bbffb&margin=%5Bobject%20Object%5D&name=image.png&originHeight=558&originWidth=1338&originalType=binary&ratio=1&rotation=0&showTitle=false&size=84045&status=done&style=none&taskId=u0b7657ed-a613-4b0f-b466-793e8028300&title=&width=669)
```java
class MyArrayList3<E> {
    private Object[] elementData;
    private int      size = 0;

    public <T> T[] toArray(T[] a) {
        return (T[]) Arrays.copyOf(elementData, size, a.getClass());
    }

    // 方法参数类型可无
    public <T> T copyObject() {
        return (T) new Object();
    }
}
  • 泛型的变量修饰符 extends 限定上限 ```java public class MyArrayList5 { private Object[] elementData; private int size = 0;

    public MyArrayList5(int initialCapacity) {

      this.elementData = new Object[initialCapacity];
    

    }

    public boolean add(E e) {

      elementData[size++] = e;
      return true;
    

    }

    E elementData(int index) {

      return (E) elementData[index];
    

    } }

```java
public class ZQ {

}

class ZQ1 extends ZQ {

}

class ZQ2 extends ZQ {

}

class ZQTest {
    public static void main(String[] args) {
        MyArrayList5 listExtends = new MyArrayList5<>(3);
        listExtends.add(new ZQ());
        listExtends.add(new ZQ1());
        listExtends.add(new ZQ2());
    }
}
  • 泛型修饰符 supper 下限 ```java public class InfoSupper {

    private T var; // 定义泛型变量

    public void setVar(T var) {

      this.var = var;
    

    }

    public T getVar() {

      return this.var;
    

    }

    public String toString() { // 直接打印

      return this.var.toString();
    

    } }

class GenericsDemo21 { public static void main(String args[]) { InfoSupper i1 = new InfoSupper<>(); // 声明String的泛型对象 InfoSupper i2 = new InfoSupper<>(); // 声明Object的泛型对象 i1.setVar(“hello”); i2.setVar(new Object()); fun(i1); fun(i2); }

// 只能接收String或Object类型的泛型,String类的父类只有Object类
public static void fun(InfoSupper<? super String> temp) {
    System.out.print(temp + ", ");
}

}


- **泛型通配符 ? **
- **List<?> list = new ArrayList<>(); ?等价于 ? extends Object**
```java
public class Demo2 {
    public static void processElements(List<A> elements) {
        for (A o : elements) {
            System.out.println(o);
        }
    }

    public static void processElements1(List<?> elements) {
        // 因为不知道具体的是啥类型,所以不能向 elements里面添加元素

        for (Object o : elements) {
            System.out.println(o);
        }

    }

    public static void processElements2(List<? extends A> elements) {
        // 因为类型不确定的,所以不能添加。

        for (A a : elements) {
            System.out.println(a);
        }
    }

    // List<? super A> 的意思是List集合 list,它可以持有 A 及其父类的实例
    // 当你知道集合里所持有的元素类型都是A及其父类的时候
    // 此时往list集合里面插入A及其子类(B或C)是安全的
    public static void insertElements(List<? super A> list) {
        // 可以理解为 B、C 都是A类型
        // 传入的List集合里的元素要么是A的实例,要么是A父类的实例
        // 因为B和C都继承于A,如果A有一个父类,那么这个父类同时也是B和C的父类
        list.add(new A());
        list.add(new B());
        list.add(new C());
    }

    public static void main(String[] args) {
        ArrayList<? super A> list = new ArrayList<>();
        insertElements(list);
        System.out.println(list);

        List<A> a = new ArrayList<>();
        List<B> b = new ArrayList<>();

        processElements2(a);
        processElements2(b);
    }
}

class A {

}

class B extends A {
}

class C extends A {
}
  • 小结 ```java <?> 无限制通配符 <? extends E> extends 关键字声明了类型的上界,表示参数化的类型可能是所指定的类型,或者是此类型的子类 <? super E> super 关键字声明了类型的下界,表示参数化的类型可能是指定的类型,或者是此类型的父类

// 使用原则《Effictive Java》 // 为了获得最大限度的灵活性,要在表示 生产者或者消费者 的输入参数上使用通配符,使用的规则就是:生产者有上限、消费者有下限

  1. 如果参数化类型表示一个 T 的生产者,使用 < ? extends T>; 只读不可写
  2. 如果它表示一个 T 的消费者,就使用 < ? super T>; 不可读只可写
  3. 如果既是生产又是消费,那使用通配符就没什么意义了,因为你需要的是精确的参数类型。

- **难一点的例子,可能不是很好理解。的确不好理解【一般这种复杂的案例我们都不会使用的。也不会这样去写,编程要去复杂、而不是炫技】**
```java
public class GenericDemo {
    // 类型参数E的范围是 Comparable<? super E>
    // 因为要进行比较,所以E需要是可比较的类 因此需要 extends Comparable<? super E>
    // Comparable< ? super E> 要对 E 进行比较,即 E 的消费者,所以需要用 super
    // 而参数 List< ? extends E> 表示要操作的数据是 E 的子类的列表,指定上限

    private <E extends Comparable<? super E>> E max(List<? extends E> e1) {
        if (e1 == null) {
            return null;
        }
        //迭代器返回的元素属于 E 的某个子类型
        Iterator<? extends E> iterator = e1.iterator();
        E result = iterator.next();
        while (iterator.hasNext()) {
            E next = iterator.next();
            if (next.compareTo(result) > 0) {
                result = next;
            }
        }
        return result;
    }

}
  • 多个限制,使用多个类型一起限制泛型的下限。只能用 & 不能用 | ,因为其下限必须是明确的。 ```java public interface Passenger { boolean isStanding(); }

public interface Staff { int getSalary(); }

public class Client {

//工资低于2500元的上斑族并且站立的乘客车票打8折
public static <T extends Staff & Passenger> void discount(T t) {
    if (t.getSalary() < 2500 && t.isStanding()) {
        System.out.println("恭喜你!您的车票打八折!");
    }
}

public static void main(String[] args) {
    discount(new Me());
}

}

class Me implements Passenger, Staff {

@Override
public boolean isStanding() {
    return false;
}

@Override
public int getSalary() {
    return 0;
}

}


- **泛型数组**
- 泛型数组的声明方式
```java
// 编译错误,非法创建 
List<String>[] list11 = new ArrayList<String>[10];


// 编译错误,需要强转类型 
List<String>[] list12 = new ArrayList<?>[10]; 

// OK,但是会有警告 
List<String>[] list13 = (List<String>[]) new ArrayList<?>[10]; 

// 编译错误,非法创建 
List<?>[] list14 = new ArrayList<String>[10]; 

// OK 
List<?>[] list15 = new ArrayList<?>[10]; 

// OK,但是会有警告
List<String>[] list6 = new ArrayList[10];
  • 通常如何使用?【我们就不怎么使用过,还有就是上面的复杂案例,也不会使用,越复杂、难以理解,就是写的有问题】 ```java public class GenericsDemo {

    public static void main(String args[]) {

      Integer i[] = fun1(1, 2, 3, 4, 5, 6); // 返回泛型数组  
      fun2(i);
    

    }

    public static T[] fun1(T… arg) { // 接收可变参数

      return arg; // 返回泛型数组  
    

    }

    public static void fun2(T param[]) { // 输出

      System.out.print("接收泛型数组:");
      for (T t : param) {
          System.out.print(t + "、");
      }
    

    } }


- **合理使用**
```java
public class ArrayWithTypeToken<T> {

    private T[] array;

    public ArrayWithTypeToken(Class<T> type, int size) {
        // Array 数组的创建实例的方法
        array = (T[]) Array.newInstance(type, size);
    }

}

深入理解泛型

如何理解Java中的泛型是伪泛型?泛型中的类型擦除

  • “伪泛型”,指的是我们在写代码的过程中,在语法上支持泛型,但是在编译阶段会进行”泛型擦除”,将所有的泛型表示( 尖括号中的内容)都替换为具体的类型(其对应的原生类型),就像没有泛型了一样。
  • 泛型擦除的原则
  • 消除类型参数声明,即删除<>以及其包围的部分。
  • 根据类型参数的上下界推断并替换所有的类型参数为原生态类型:如果类型参数是无限制通配符<?>或没有上下界限定则替换为Object,如果存在上下界限定则根据子类替换原则取类型参数的最左边限定类型(即父类)。
  • 为了保证类型安全,必要时插入强制类型转换代码。
  • 自动产生”桥接方法”以保证擦除类型后的代码仍然具有泛型的”多态性”。
  • 如何进行擦除的?
  • 擦除类定义中的类型参数 - 无限制类型擦除:当类定义中的类型参数没有任何限制时,在类型擦除中直接被替换为Object,即形如和<?>的类型参数都被替换为Object。

image.png

  • 擦除类定义中的类型参数 - 有限制类型擦除:当类定义中的类型参数存在限制(上下界)时,在类型擦除中替换为类型参数的上界或者下界,比如形如和<? extends Number>的类型参数被替换为Number,<? super Number>被替换为Object。

image.png

  • 擦除方法定义中的类型参数:擦除方法定义中的类型参数原则和擦除类定义中的类型参数是一样的,这里仅以擦除方法定义中的有限制类型参数为例。

image.png

如何证明类型的擦除

  • 原型类型相等
  • 在这个例子中,定义了2个ArrayList数组,但是类型一个是String、一个是Integer,最后,我们通过list1对象和list2对象的getClass()方法获取他们的类的信息,最后发现结果为true。说明泛型类型String和Integer都被擦除掉了,只剩下原始类型。 ```java public class Test {

    public static void main(String[] args) {

      ArrayList<String> list1 = new ArrayList<String>();
      list1.add("abc");
    
      ArrayList<Integer> list2 = new ArrayList<Integer>();
      list2.add(123);
    
      System.out.println(list1.getClass() == list2.getClass()); // true
    

    } }


- **通过反射添加其他元素**
```java
public class Test2 {

    public static void main(String[] args) throws Exception {

        ArrayList<Integer> list = new ArrayList<Integer>();

        //这样调用 add 方法只能存储整形,因为泛型类型的实例为 Integer
        list.add(1);

        list.getClass().getMethod("add", Object.class).invoke(list, "asd");

        for (int i = 0; i < list.size(); i++) {
            System.out.println(list.get(i));
        }
    }
}
  • 相同类型,不同泛型的举例 ```java public class Test4 { public static void main(String[] args) {

      System.out.println("Test4.main");
    

    }

    // 编译报错 // 因为泛型擦除之后,方法签名都一样 private void add(List list) {

    }

    private void add(List list) {

    }

}

<a name="gScvH"></a>
## 如何理解类型擦除之后保留的原始类型

- **原始类型** 就是擦除去了泛型信息,最后在字节码中的类型变量的真正类型,无论何时定义一个泛型,相应的原始类型都会被自动提供,类型变量擦除,并使用其限定类型(无限定的变量用Object)替换。
- 原始类型Object
```java
class Pair<T> {  
    private T value;  
    public T getValue() {  
        return value;  
    }  
    public void setValue(T value) {  
        this.value = value;  
    }  
}
  • Pair的原始类型为 ```java class Pair {
    private Object value;
    public Object getValue() {
      return value;  
    
    }
    public void setValue(Object value) {
      this.value = value;  
    
    }
    }

- 因为在Pair<T>中,T 是一个无限定的类型变量,所以用Object替换,其结果就是一个普通的类,如同泛型加入Java语言之前的已经实现的样子。在程序中可以包含不同类型的Pair,如Pair<String>或Pair<Integer>,但是擦除类型后他们的就成为原始的Pair类型了,原始类型都是Object。
- 如果类型变量有限定,那么原始类型就用第一个边界的类型变量类替换。
```java
public class Pair<T extends Comparable> {}
  • 那么原始类型就是Comparable。
  • 要区分原始类型和泛型变量的类型。
  • 在调用泛型方法时,可以指定泛型,也可以不指定泛型

    • 在不指定泛型的情况下,泛型变量的类型为该方法中的几种类型的同一父类的最小级,直到Object
    • 在指定泛型的情况下,该方法的几种类型必须是该泛型的实例的类型或者其子类 ```java public class Test {
      public static void main(String[] args) {

      /*不指定泛型的时候/
      int i = Test.add(1, 2); //这两个参数都是Integer,所以T为Integer类型
      Number f = Test.add(1, 1.2); //这两个参数一个是Integer,以风格是Float,所以取同一父类的最小级,为Number
      Object o = Test.add(1, “asd”); //这两个参数一个是Integer,以风格是Float,所以取同一父类的最小级,为Object

      /*指定泛型的时候/
      int a = Test.add(1, 2); //指定了Integer,所以只能为Integer类型或者其子类
      int b = Test.add(1, 2.2); //编译错误,指定了Integer,不能为Float
      Number c = Test.add(1, 2.2); //指定为Number,所以可以为Integer和Float
      }

      //这是一个简单的泛型方法
      public static T add(T x,T y){
      return y;
      }
      }


- 其实在泛型类中,不指定泛型的时候,也差不多,只不过这个时候的泛型为Object,就比如ArrayList中,如果不指定泛型,那么这个ArrayList可以存储任意的对象。
- **理解为什么能够擦除为原始类型或者是限定类型:**因为Java的类型是在运行期间确定的。
- **理解为什么会有泛型擦除:**想一下以前没有泛型的时候,Java不是依旧跑的很香?那没有泛型是怎么跑起来的呢。其本质就是,将所有的泛型在编译之后,统一转换为Java5之前能够执行的字节码文件。那么这样,低版本编译之后的class文件,依旧能够能够在高版本运行。**这是向前兼容。**
<a name="u0iIJ"></a>
## 如何理解泛型的编译期检查
> 既然说类型变量会在编译的时候擦除掉,那为什么我们往 ArrayList 创建的对象中添加整数会报错呢?不是说泛型变量String会在编译的时候变为Object类型吗?为什么不能存别的类型呢?既然类型擦除了,如何保证我们只能使用泛型变量限定的类型呢?

- Java编译器是通过先检查代码中泛型的类型,然后在进行类型擦除,再进行编译。
```java
public static  void main(String[] args) {  

    // Object
    ArrayList<String> list = new ArrayList<String>();  
    list.add("123");  
    list.add(123);//编译错误  
}
  • 在上面的程序中,使用add方法添加一个整型,在IDE中,直接会报错,说明这就是在编译之前的检查,因为如果是在编译之后检查,类型擦除后,原始类型为Object,是应该允许任意引用类型添加的。可实际上却不是这样的,这恰恰说明了关于泛型变量的使用,是会在编译之前检查的。
  • 那么,这个类型检查是针对谁的呢?我们先看看参数化类型和原始类型的兼容。 ```java // 以前的写法 ArrayList list = new ArrayList();

// 现在的写法 ArrayList list = new ArrayList();

// 如果是与以前的代码兼容,各种引用传值之间,必然会出现如下的情况

ArrayList list1 = new ArrayList(); //第一种 情况 ArrayList list2 = new ArrayList(); //第二种 情况


- 不过在第一种情况,可以实现与完全使用泛型参数一样的效果,第二种则没有效果。
- 因为类型检查就是编译时完成的,new ArrayList()只是在内存中开辟了一个存储空间,可以存储任何类型对象,而真正涉及类型检查的是它的引用,因为我们是使用它引用list1来调用它的方法,比如说调用add方法,所以list1引用能完成泛型类型的检查。而引用list2没有使用泛型,所以不行。
```java
public class Test5 {
    public static void main(String[] args) {

        ArrayList<String> list1 = new ArrayList();
        list1.add("1"); //编译通过  
        list1.add(1); //编译错误  
        String str1 = list1.get(0); //返回类型就是String  

        ArrayList list2 = new ArrayList<String>();
        list2.add("1"); //编译通过  
        list2.add(1); //编译通过  
        Object object = list2.get(0); //返回类型就是Object  

        new ArrayList<String>().add("11"); //编译通过  
        new ArrayList<String>().add(22); //编译错误  

        String str2 = new ArrayList<String>().get(0); //返回类型就是String  
    }
}
  • 通过上面的例子,我们可以明白,类型检查就是针对引用的,谁是一个引用,用这个引用调用泛型方法,就会对这个引用调用的方法进行类型检测,而无关它真正引用的对象
  • 泛型中参数话类型为什么不考虑继承关系
  • 在Java中,像下面形式的引用传递是不允许的

    ArrayList<String> list1 = new ArrayList<Object>(); //编译错误  
    ArrayList<Object> list2 = new ArrayList<String>(); //编译错误
    
  • 我们先看第一种情况,将第一种情况拓展成下面的形式: ```java ArrayList list1 = new ArrayList();
    list1.add(new Object());
    list1.add(new Object());
    ArrayList list2 = list1; //编译错误

    
    - 实际上,在第4行代码的时候,就会有编译错误。那么,我们先假设它编译没错。那么当我们使用list2引用用get()方法取值的时候,返回的都是String类型的对象(上面提到了,类型检测是根据引用来决定的),可是它里面实际上已经被我们存放了Object类型的对象,这样就会有ClassCastException了。所以为了避免这种极易出现的错误,Java不允许进行这样的引用传递。(这也是泛型出现的原因,就是为了解决类型转换的问题,我们不能违背它的初衷)
    - 再看第二种情况,将第二种情况拓展成下面的形式
    ```java
    ArrayList<String> list1 = new ArrayList<String>();  
    list1.add(new String());  
    list1.add(new String());
    
    ArrayList<Object> list2 = list1; //编译错误
    
    • 这样的情况比第一种情况好的多,最起码,在我们用list2取值的时候不会出现ClassCastException,因为是从String转换为Object。可是,这样做有什么意义呢,泛型出现的原因,就是为了解决类型转换的问题。
    • 我们使用了泛型,到头来,还是要自己强转,违背了泛型设计的初衷。所以java不允许这么干。再说,你如果又用list2往里面add()新的对象,那么到时候取得时候,我怎么知道我取出来的到底是String类型的,还是Object类型的呢?

      如何理解泛型的多态?泛型的桥接方法

    • 类型擦除会造成多态的冲突,而JVM解决方法就是桥接方法。 ```java class Pair {

      private T value;

      public T getValue() {

        return value;  
      

      }

      public void setValue(T value) {

        this.value = value;  
      

      }
      }

    
    - 然后我们想要一个子类继承它。
    ```java
    class DateInter extends Pair<Date> {  
    
        @Override  
        public void setValue(Date value) {  
            super.setValue(value);  
        }  
    
        @Override  
        public Date getValue() {  
            return super.getValue();  
        }  
    }
    
    • 在这个子类中,我们设定父类的泛型类型为Pair,在子类中,我们覆盖了父类的两个方法,我们的原意是这样的:将父类的泛型类型限定为Date,那么父类里面的两个方法的参数都为Date类型。 ```java public Date getValue() {
      return value;
      }

    public void setValue(Date value) {
    this.value = value;
    }

    
    - 所以,我们在子类中重写这两个方法一点问题也没有,实际上,从他们的@Override标签中也可以看到,一点问题也没有,实际上是这样的吗? 分析:实际上,类型擦除后,父类的的泛型类型全部变为了原始类型Object,所以父类编译之后会变成下面的样子:
    ```java
    class Pair {  
        private Object value;  
    
        public Object getValue() {  
            return value;  
        }  
    
        public void setValue(Object  value) {  
            this.value = value;  
        }  
    }
    
    • 再看子类的两个重写的方法的类型: ```java @Override
      public void setValue(Date value) {
      super.setValue(value);
      }
      @Override
      public Date getValue() {
      return super.getValue();
      }
    
    - 先来分析setValue方法,父类的类型是Object,而子类的类型是Date,参数类型不一样,这如果实在普通的继承关系中,根本就不会是重写,而是重载。 我们在一个main方法测试一下
    ```java
    public static void main(String[] args) throws ClassNotFoundException {  
            DateInter dateInter = new DateInter();  
            dateInter.setValue(new Date());                  
            dateInter.setValue(new Object()); //编译错误  
    }
    
    • 如果是重载,那么子类中两个setValue方法,一个是参数Object类型,一个是Date类型,可是我们发现,根本就没有这样的一个子类继承自父类的Object类型参数的方法。所以说,却是是重写了,而不是重载了。
    • 为什么会这样呢
    • 原因是这样的,我们传入父类的泛型类型是Date,Pair,我们的本意是将泛型类变为如下: ```java class Pair {
      private Date value;
      public Date getValue() {
        return value;  
      
      }
      public void setValue(Date value) {
        this.value = value;  
      
      }
      }
    
    - 然后在子类中重写参数类型为Date的那两个方法,实现继承中的多态。
    - 可是由于种种原因,虚拟机并不能将泛型类型变为Date,只能将类型擦除掉,变为原始类型Object。这样,我们的本意是进行重写,实现多态。可是类型擦除后,只能变为了重载。这样,类型擦除就和多态有了冲突。JVM知道你的本意吗?知道!!!可是它能直接实现吗,不能!!!如果真的不能的话,那我们怎么去重写我们想要的Date类型参数的方法啊。
    > 于是JVM采用了一个特殊的方法,来完成这项功能,那就是桥方法。
    
    - 首先,我们用javap -c className的方式反编译下DateInter子类的字节码,结果如下:
    ```java
    class com.tao.test.DateInter extends com.tao.test.Pair<java.util.Date> {  
      com.tao.test.DateInter();  
        Code:  
           0: aload_0  
           1: invokespecial #8                  // Method com/tao/test/Pair."<init>":()V  
           4: return  
    
      public void setValue(java.util.Date);  //我们重写的setValue方法  
        Code:  
           0: aload_0  
           1: aload_1  
           2: invokespecial #16                 // Method com/tao/test/Pair.setValue:(Ljava/lang/Object;)V  
           5: return  
    
      public java.util.Date getValue();    //我们重写的getValue方法  
        Code:  
           0: aload_0  
           1: invokespecial #23                 // Method com/tao/test/Pair.getValue:()Ljava/lang/Object;  
           4: checkcast     #26                 // class java/util/Date  
           7: areturn  
    
      public java.lang.Object getValue();     //编译时由编译器生成的巧方法  
        Code:  
           0: aload_0  
           1: invokevirtual #28                 // Method getValue:()Ljava/util/Date 去调用我们重写的getValue方法;  
           4: areturn  
    
      public void setValue(java.lang.Object);   //编译时由编译器生成的巧方法  
        Code:  
           0: aload_0  
           1: aload_1  
           2: checkcast     #26                 // class java/util/Date  
           5: invokevirtual #30                 // Method setValue:(Ljava/util/Date; 去调用我们重写的setValue方法)V  
           8: return  
    }
    
    • 从编译的结果来看,我们本意重写setValue和getValue方法的子类,竟然有4个方法,其实不用惊奇,最后的两个方法,就是编译器自己生成的桥方法。可以看到桥方法的参数类型都是Object,也就是说,子类中真正覆盖父类两个方法的就是这两个我们看不到的桥方法。而打在我们自己定义的setvalue和getValue方法上面的@Oveerride只不过是假象。而桥方法的内部实现,就只是去调用我们自己重写的那两个方法。
    • 所以,虚拟机巧妙的使用了桥方法,来解决了类型擦除和多态的冲突。
    • 不过,要提到一点,这里面的setValue和getValue这两个桥方法的意义又有不同。
    • setValue方法是为了解决类型擦除与多态之间的冲突。
    • 而getValue却有普遍的意义,怎么说呢,如果这是一个普通的继承关系
    • 那么父类的setValue方法如下: ```java public Object getValue() {
      return super.getValue();
      }
    
    - 而子类重写的方法是
    ```java
    public Date getValue() {  
        return super.getValue();  
    }
    
    • 其实这在普通的类继承中也是普遍存在的重写,这就是协变。
    • 并且,还有一点也许会有疑问,子类中的巧方法Object getValue()和Date getValue()是同时存在的,可是如果是常规的两个方法,他们的方法签名是一样的,也就是说虚拟机根本不能分别这两个方法。如果是我们自己编写Java代码,这样的代码是无法通过编译器的检查的,但是虚拟机却是允许这样做的,因为虚拟机通过参数类型和返回类型来确定一个方法,所以编译器为了实现泛型的多态允许自己做这个看起来“不合法”的事情,然后交给虚拟器去区别。

      如何理解基本类型不能作为泛型类型

      我们只有ArrayList 而没有 ArrayList 为什么?

    • 因为当类型擦除后,ArrayList的原始类型变为Object,但是Object类型不能存储int值,只能引用Integer的值。也就是是说基本数据类型不是Object的子类,为什么不是,因为Object的子类都是引用数据类型。

    • 另外需要注意,我们能够使用list.add(1)是因为Java基础类型的自动装箱拆箱操作。

      如何理解泛型类型不能实例化?

    • 泛型不能实例化,本质上是由于类型擦除决定的

      T test = new T(); // ERROR
      
    • 因为在 Java 编译期没法确定泛型参数化类型,也就找不到对应的类字节码文件,所以自然就不行了,此外由于T 被擦除为 Object,如果可以 new T() 则就变成了 new Object(),失去了本意。 如果我们确实需要实例化一个泛型,应该如何做呢?可以通过反射实现: ```java static T newTclass (Class < T > clazz) throws InstantiationException, IllegalAccessException { T obj = clazz.newInstance(); return obj; }

    <a name="mJWaG"></a>
    ## 泛型数组:能不能采用具体的泛型进行初始化
    ```java
    List<String>[] lsa = new List<String>[10]; // Not really allowed. 不允许
    Object o = lsa;
    Object[] oa = (Object[]) o;
    List<Integer> li = new ArrayList<Integer>();
    li.add(new Integer(3));
    oa[1] = li; // Unsound, but passes run time store check
    String s = lsa[1].get(0); // Run-time error ClassCastException.
    
    • 由于 JVM 泛型的擦除机制,所以上面代码可以给 oa[1] 赋值为 ArrayList 也不会出现异常,但是在取出数据的时候却要做一次类型转换,所以就会出现 ClassCastException,如果可以进行泛型数组的声明则上面说的这种情况在编译期不会出现任何警告和错误,只有在运行时才会出错,但是泛型的出现就是为了消灭 ClassCastException,所以如果 Java 支持泛型数组初始化操作就是搬起石头砸自己的脚。
    • 而对于下面的代码来说是成立的 ```java List<?>[] lsa = new List<?>[10]; // OK, array of unbounded wildcard type. Object o = lsa; Object[] oa = (Object[]) o; List li = new ArrayList(); li.add(new Integer(3)); oa[1] = li; // Correct. Integer i = (Integer) lsa[1].get(0); // OK
    
    - 所以说采用通配符的方式初始化泛型数组是允许的,因为对于通配符的方式最后取出数据是要做显式类型转换的,符合预期逻辑。综述就是说Java 的泛型数组初始化时数组类型不能是具体的泛型类型,只能是通配符的形式,因为具体类型会导致可存入任意类型对象,在取出时会发生类型转换异常,会与泛型的设计思想冲突,而通配符形式本来就需要自己强转,符合预期。
    - Oracle 官方文档:[https://docs.oracle.com/javase/tutorial/extra/generics/fineprint.html](https://docs.oracle.com/javase/tutorial/extra/generics/fineprint.html)
    - 因为在 Java 中是不能创建一个确切的泛型类型的数组的,除非是采用通配符的方式且要做显式类型转换才可以。
    ```java
    // 编译错误,非法创建 
    List<String>[] list11 = new ArrayList<String>[10];
    
    
    // 编译错误,需要强转类型 
    List<String>[] list12 = new ArrayList<?>[10]; 
    
    // OK,但是会有警告 
    List<String>[] list13 = (List<String>[]) new ArrayList<?>[10]; 
    
    // 编译错误,非法创建 
    List<?>[] list14 = new ArrayList<String>[10]; 
    
    // OK 
    List<?>[] list15 = new ArrayList<?>[10]; 
    
    // OK,但是会有警告
    List<String>[] list6 = new ArrayList[10];
    

    泛型数组:如何正确的初始化泛型数组实例?

    这个无论我们通过new ArrayList[10] 的形式还是通过泛型通配符的形式初始化泛型数组实例都是存在警告的,也就是说仅仅语法合格,运行时潜在的风险需要我们自己来承担,因此那些方式初始化泛型数组都不是最优雅的方式。

    • 我们在使用到泛型数组的场景下应该尽量使用列表集合替换,此外也可以通过使用 java.lang.reflect.Array.newInstance(Class componentType, int length) 方法来创建一个具有指定类型和维度的数组,如下。 ```java public class ArrayWithTypeToken { private T[] array;

      public ArrayWithTypeToken(Class type, int size) {

        array = (T[]) Array.newInstance(type, size);
      

      }

      public void put(int index, T item) {

        array[index] = item;
      

      }

      public T get(int index) {

        return array[index];
      

      }

      public T[] create() {

        return array;
      

      } } //…

    ArrayWithTypeToken arrayToken = new ArrayWithTypeToken(Integer.class, 100); Integer[] array = arrayToken.create();

    
    - 所以使用反射来初始化泛型数组算是优雅实现,因为泛型类型 T在运行时才能被确定下来,我们能创建泛型数组也必然是在 Java 运行时想办法,而运行时能起作用的技术最好的就是反射了
    <a name="Cumbd"></a>
    ## 如何理解泛型类中的静态方法和静态变量
    > 泛型类中的静态方法和静态变量不可以使用泛型类所声明的泛型参数
    
    ```java
    public class Test8<T> {
    
        public static T one; //编译错误    
    
        public static T show(T one) { //编译错误    
            return null;
        }
    }
    
    • 因为泛型类中的泛型参数的实例化是在定义对象的时候指定的,而静态变量和静态方法不需要使用对象来调用。对象都没有创建,如何确定这个泛型参数是何种类型,所以当然是错误的
    • 但是要注意区分下面的一种情况 ```java

    public class Test9 { public static T show(T one) { //这是正确的
    return null; } }

    // ———————- 华丽的分隔线 ———————- public class Test9 { public static T show(T one) { //这是正确的
    return null; } }

    
    - 因为这是一个泛型方法,在泛型方法中使用的T是自己在方法中定义的 T,而不是泛型类中的T
    <a name="qNW9p"></a>
    ## 如何理解异常中使用泛型?
    
    - **不能抛出也不能捕获泛型类的对象**。事实上,泛型类扩展Throwable都不合法。例如:下面的定义将不会通过编译:
    ```java
    public class Problem<T> extends Exception {
    
    }
    
    • 为什么不能扩展Throwable,因为异常都是在运行时捕获和抛出的,而在编译的时候,泛型信息全都会被擦除掉,那么,假设上面的编译可行,那么,在看下面的定义 ```java try{

    } catch(Problem e1) {

    } catch(Problem e2) {

    }

    
    - 类型信息被擦除后,那么两个地方的catch都变为原始类型Object,那么也就是说,这两个地方的catch变的一模一样,就相当于下面的这样
    ```java
    try{
    
    } catch(Problem<Object> e1) {
    
    } catch(Problem<Object> e2) {
    
    }
    
    • 不能再catch子句中使用泛型变量 ```java public static void doWork(Class t) { try {
        ...
      
      } catch(T e) { //编译错误
        ...
      
      } }
    
    - 因为泛型信息在编译的时候已经变味原始类型,也就是说上面的T会变为原始类型Throwable,那么如果可以再catch子句中使用泛型变量,那么,下面的定义呢:
    ```java
    public static <T extends Throwable> void doWork(Class<T> t){
        try {
    
        } catch(T e) { //编译错误
    
        } catch(IndexOutOfBounds e) {
    
        }                         
    }
    
    • 根据异常捕获的原则,一定是子类在前面,父类在后面,那么上面就违背了这个原则。即使你在使用该静态方法的使用T是ArrayIndexOutofBounds,在编译之后还是会变成Throwable,ArrayIndexOutofBounds是IndexOutofBounds的子类,违背了异常捕获的原则。所以java为了避免这样的情况,禁止在catch子句中使用泛型变量。
    • 但是在异常声明中可以使用类型变量。下面方法是合法的 ```java public static void doWork(T t) throws T { try{
        ...
      
      } catch(Throwable realCause) {
        t.initCause(realCause);
        throw t; 
      
      } }
    <a name="pm5zg"></a>
    ## 如何获取泛型的参数类型?
    > 既然类型被擦除了,那么如何获取泛型的参数类型呢?可以通过反射(java.lang.reflect.Type)获取泛型
    
    - java.lang.reflect.Type是Java中所有类型的公共高级接口, 代表了Java中的所有类型. Type体系中类型的包括:数组类型(GenericArrayType)、参数化类型(ParameterizedType)、类型变量(TypeVariable)、通配符类型(WildcardType)、原始类型(Class)、基本类型(Class), 以上这些类型都实现Type接口。
    ```java
    public class GenericType<T> {
        private T data;
    
        public T getData() {
            return data;
        }
    
        public void setData(T data) {
            this.data = data;
        }
    
        public static void main(String[] args) {
            GenericType<String> genericType = new GenericType<String>() {
            };
            Type superclass = genericType.getClass().getGenericSuperclass();
            //getActualTypeArguments 返回确切的泛型参数, 如Map<String, Integer>返回[String, Integer]
            Type type = ((ParameterizedType) superclass).getActualTypeArguments()[0];
            System.out.println(type);//class java.lang.String
        }
    
    }