通过代码理解java泛型

泛型数据java基础，但真正理解需要悉心品尝。毕竟在工作中用到的是在是太多了。

不要以为new ArrayList<>这就是泛型，这只能属于会使用。

在工作中，相对于现有的项目源码的数据库操作层，无论是mybatis，hibernate或者是自己封装的baseModel层，都会使用到泛型。

以及<? extends T> 和 <? super T>这个屌东西。

泛型使用情况分为三类

1. 泛型类。

2. 泛型方法。

3. 泛型接口。

出于规范的目的，Java 还是建议我们用单个大写字母来代表类型参数。常见的如：

1. T 代表一般的任何类。

2. E 代表 Element 的意思，或者 Exception 异常的意思。

3. K 代表 Key 的意思。

4. V 代表 Value 的意思，通常与 K 一起配合使用。

5. S 代表 Subtype 的意思，文章后面部分会讲解示意。

最直接的一段代码。

List<String> l1 = new ArrayList<String>();
  List<Integer> l2 = new ArrayList<Integer>();
  System.out.println(l1.getClass() == l2.getClass());

打印的判断为TRUE，因为泛型信息被擦除了。

泛型擦除实例。

List<String> listErasure = new ArrayList<String>() {
   // 直接初始化，这也是一种方式。直接传入一个collection。
   {add("aaa");add("bbb");}
  };
  listErasure.add("ccc");
  Class<? extends List> class1 = listErasure.getClass();
  Method method = class1.getMethod("add",Object.class);
  method.invoke(listErasure, 123);
  System.out.println(listErasure)

输出结果　　[aaa, bbb, ccc, 123]

明明是接收String类型，但是却可以通过反射对其进行Integer类型的操作。

可见泛型只是在编译期间有效。

<?> 代表着类型未知

<? extends T> 和 <? super T>这个东西经常见到，但是并没有字面意义那么简单。

通配符有 3 种形式。

1. <?> 被称作无限定的通配符。
2. <? extends T> 被称作有上限的通配符。
3. <? super T> 被称作有下限的通配符。

class A{}
class B extends A{}
class C extends B{}

List<? extends B> listExtends = new ArrayList<B>();
//  listExtends.add(new A()); 全部编译错误。因为使用的是extends，丧失了写的操作能力。跟f3方法一样，是未知类型，只是确定了里面对象的范围。是B的子类。
//  listExtends.add(new B());
//  listExtends.add(new C());

  // 能进行对B以及B的子类操作。这是super的神奇之处。
  List<? super B> listSuper = new ArrayList<B>();
//  listSuper.add(new A());//会编译错误。
  listSuper.add(new B());
  listSuper.add(new C());

以及方法泛型的返回

泛型作为参数的传递。

public static <TTT>TTT f1(TTT t) {
  return t;
 }

 // 传递指定的A类型，对应的list可以进行对应的list应有的方法。
 public static void f2(List<A> list) {
  list.add(new A());
  System.out.println(list.size());
 }

 public static void f3(List<?> list) {
//  list.add(new A()); //当传入的是?通配符的话表示只能进行跟?无关的操作，类似于size方法，增加代码的可读性。
  System.out.println(list.size());
 }

 public static void f4(List<? extends B> listExtends) {
//  listExtends.add(new B());//不能进行写做操，因为是?,增加了可读性。
  System.out.println(listExtends.size());
 }

测试代码，很全面

package com.javaSE.fanxing;

import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.ArrayList;
import java.util.List;

class A{}
class B extends A{}
class C extends B{}
public class Demo<T,TT> {
 T value;
 TT value2;
 public TT getValue2() {
  return value2;
 }
 public void setValue2(TT value2) {
  this.value2 = value2;
 }
 public T getValue() {
  return value;
 }
 public void setValue(T value) {
  this.value = value;
 }
 public static <TTT>TTT f1(TTT t) {
  return t;
 }
 // 传递指定的A类型，对应的list可以进行对应的list应有的方法。
 public static void f2(List<A> list) {
  list.add(new A());
  System.out.println(list.size());
 }
 public static void f3(List<?> list) {
//  list.add(new A()); //当传入的是?通配符的话表示只能进行跟?无关的操作，类似于size方法，增加代码的可读性。
  System.out.println(list.size());
 }
 public static void f4(List<? extends B> listExtends) {
//  listExtends.add(new B());//不能进行写做操，因为是?,增加了可读性。
  System.out.println(listExtends.size());
 }
 public static void main(String[] args) throws NoSuchMethodException, SecurityException, IllegalAccessException, IllegalArgumentException, InvocationTargetException, InstantiationException {
  // 打印的判断为TRUE，因为泛型信息被擦除了。
  List<String> l1 = new ArrayList<String>();
  List<Integer> l2 = new ArrayList<Integer>();
  System.out.println(l1.getClass() == l2.getClass());
  // 泛型擦除实例。
  List<String> listErasure = new ArrayList<String>() {
   // 直接初始化，这也是一种方式。直接传入一个collection。
   {add("aaa");add("bbb");}
  };
  listErasure.add("ccc");
  Class<? extends List> class1 = listErasure.getClass();
  Method method = class1.getMethod("add",Object.class);
  method.invoke(listErasure, 123);
  System.out.println(listErasure);
  Demo<String,Integer> demo = new Demo<String,Integer>();
  demo.setValue("string");
  System.out.println(demo.getValue());

  Demo<Integer,String> demo2 = new Demo<Integer,String>();
  demo2.setValue(100);
  System.out.println(demo2.getValue());

  System.out.println(f1(123));
//  List<A> listA = new ArrayList<A>();
//  List<B> listB = listA;//new ArrayList<B>();虽然B是A的子类，并不代表泛型之间也具备继承关系。

  ArrayList<A> listA = new ArrayList<A>();
  listA.add(new A());
  f3(listA); // 不对f3方法进行任何操作，是1.
  f2(listA); // 2对应的方法实现还进行了一次插入操作。
  f3(listA); // static ，对应的listA的集合数量是引用值。

  ArrayList<B> listB = new ArrayList<B>();
  listB.add(new B());
  f3(listB); // f3方法传递的是通配符?，不能进行add操作。

  // <? extends T> 和 <? super T>
  List<? extends B> listExtends = new ArrayList<B>();
//  listExtends.add(new A()); 全部编译错误。因为使用的是extends，丧失了写的操作能力。跟f3方法一样，是未知类型，只是确定了里面对象的范围。是B的子类。
//  listExtends.add(new B());
//  listExtends.add(new C());

  // 能进行对B以及B的子类操作。这是super的神奇之处。
  List<? super B> listSuper = new ArrayList<B>();
//  listSuper.add(new A());//会编译错误。
  listSuper.add(new B());
  listSuper.add(new C());

  // 没毛病。
  List<B> listBS = new ArrayList<B>();
  listBS.add(new B());
  f4(listBS);
 }
}